X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FcoreSyn%2FExternalCore.lhs;h=fa17734bfc3b86e97d1b6b45d0dbef8139013dbe;hp=09a6e7f7daeb8c2d69b01d6690e66298e0734544;hb=5edf58c10a0144fa8b328e18d0b7fffec2319424;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1 diff --git a/compiler/coreSyn/ExternalCore.lhs b/compiler/coreSyn/ExternalCore.lhs index 09a6e7f..fa17734 100644 --- a/compiler/coreSyn/ExternalCore.lhs +++ b/compiler/coreSyn/ExternalCore.lhs @@ -21,7 +21,7 @@ data Vdefg = Rec [Vdef] | Nonrec Vdef -type Vdef = (Var,Ty,Exp) -- Top level bindings are unqualified now +type Vdef = (Bool,Var,Ty,Exp) -- Top level bindings are unqualified now data Exp = Var (Qual Var) @@ -57,6 +57,7 @@ data Ty data Kind = Klifted | Kunlifted + | Kunboxed | Kopen | Karrow Kind Kind