X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fmain%2FInteractiveEval.hs;h=56dfbbd3481a326fd25007bc4cd8d180947fcc1a;hb=98e1486635c889e023097d63da0c9b68393de1fd;hp=3173278e4833e6f7d7d5bc8cf9649500b704d0a7;hpb=022fc24719ba4b98b8d9f19bfe7f75dd0f19d585;p=ghc-hetmet.git diff --git a/compiler/main/InteractiveEval.hs b/compiler/main/InteractiveEval.hs index 3173278..56dfbbd 100644 --- a/compiler/main/InteractiveEval.hs +++ b/compiler/main/InteractiveEval.hs @@ -29,7 +29,7 @@ module InteractiveEval ( isModuleInterpreted, compileExpr, dynCompileExpr, lookupName, - obtainTerm, obtainTerm1, reconstructType, + Term(..), obtainTerm, obtainTerm1, reconstructType, skolemiseSubst, skolemiseTy #endif ) where