[clean-list] Defining types.
Ilya Shpitser
ilyas@CSUA.Berkeley.EDU
Sat, 2 Jun 2001 15:48:32 -0700
Hello,
Any program containing a type definition with a type constructor in the left
hand side which is quantified in the right hand side causes cocl.exe to cause
an invalid page fault in Windows 98. An example program that will cause
a crash is:
module Ilya1
import StdEnv
:: Type a = E.a: { foo :: a }
Start = 1
Sincerely,
Ilya
--
REASON, v.i.
To weight probabilities in the scales of desire.
-- The Devil's Dictionary