On Fri, Dec 20, 2002 at 12:01:01PM -0500, [EMAIL PROTECTED] wrote: > Secondly, in GHC produced Core programs, one sees frequently references to > intermediate values from other Modules such as SystemziIO.lvl (print > newline?) or GHCziNum.lvl1 (which seems to be an Integer constant) or even > GHCziNum.a4 (which seems to be (>) :: Integer -> Integer -> Bool). The type > of those names as well as any other names from imported Modules is not > given, however. How then is it possible to type check a Core program? >
To typecheck a Core program, you need the type environment obtained from typechecking all the modules it imports -- i.e., at least the Prelude modules. The Core typechecker in the utils/ext-core directory in the GHC distribution gives an example. -- Kirsten Chevalier * [EMAIL PROTECTED] * Often in error, never in doubt _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
