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