[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