Question about literals in the core-language

David Sabel
Tue, 14 Jan 2003 00:34:56 +0100


I'm working at comparing the ghc-core-language with another lambda-calculus.
This calculus has no unboxed values, but normal constructors are available.
My problem is now: How can I represent the unboxed values in my calculus.
More precisely: Can I represent the unboxed values by a finite set of
or include the literals also integers, which can be infinite? If that is the
how are the (unboxed) integers represented in the ghc-core-language?

Thanks for your comments!

David Sabel
JWGU Frankfurt