Re: infinite types

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