| > The paper has a strongly tutorial flavour, and comes complete with a
| > prototype implementation that you can play with.
| 
| Does the prototype implementation not support recursive lets?
| 
|       *Main> tcs "let fix = (\\f . f (fix f)) in fix"
|       Not in scope: `fix'

No it does not.  As the paper explains. 

Easy exercise: add recursive lets!

Simon

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to