2 % (c) The University of Glasgow 2001
6 module ExternalCore where
8 import List (elemIndex)
11 = Module Mname [Tdef] [Vdefg]
14 = Data (Qual Tcon) [Tbind] [Cdef]
15 | Newtype (Qual Tcon) [Tbind] (Maybe Ty)
18 = Constr (Qual Dcon) [Tbind] [Ty]
24 type Vdef = (Qual Var,Ty,Exp)
34 | Case Exp Vbind [Alt] {- non-empty list -}
44 = Acon (Qual Dcon) [Tbind] [Vbind] Exp
49 type Tbind = (Tvar,Kind)
65 | Lrational Rational Ty
76 type Qual t = (Mname,t)
83 tcArrow = (primMname, "ZLzmzgZR")