Question about literals in the core-language

[David Sabel]

Hello,

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
constants,
or include the literals also integers, which can be infinite? If that is the
case,
how are the (unboxed) integers represented in the ghc-core-language?

Thanks for your comments!

David Sabel
-----------------
JWGU Frankfurt