Dear Vag,

Yes you found an error.
As a workaround: removing the strictness annotation (!) removes the problem.
You can also remove the record and write:
:: *T a = T !a

Best, Pieter

Vag wrote:
Help!

Especially frustrating compiler crash without any messages or ever black screens:

module cc
Start = 42
:: *S a = { sT :: !*(S a) }
add t = { sT = t }

<mailto:[email protected]>
Changing options does not helps.



------------------------------------------------------------------------

_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list

Reply via email to