infinite types
Karl M Syring
syring@email.com
Wed, 16 Jul 2003 10:28:30 +0000 (UTC)
blaat blaat wrote on Wed, 16 Jul 2003 12:05:45 +0200:
>
> Hi al!
>
> In my holliday I like to hobby a bit with haskell. For a small formalization
> I wanted to try out a specification which uses infinite types. Does a
> (extended) haskel compiler exist which allows infinite types?
No, it simply means "syntax error". If you come back with a
short example of you code, somebody may be able to help you.
Karl M. Syring