X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FcoreSyn%2FExternalCore.lhs;h=8c0013176c0ea8f518059018486ad9bfff31c420;hb=0b86bc9b022a5965d2b35f143ff4b919f784e676;hp=09a6e7f7daeb8c2d69b01d6690e66298e0734544;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git

diff --git a/compiler/coreSyn/ExternalCore.lhs b/compiler/coreSyn/ExternalCore.lhs
index 09a6e7f..8c00131 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)
@@ -32,7 +32,7 @@ data Exp
   | Lam Bind Exp 	  
   | Let Vdefg Exp
   | Case Exp Vbind Ty [Alt] {- non-empty list -}
-  | Coerce Ty Exp 
+  | Cast Exp Ty
   | Note String Exp
   | External String Ty
 
@@ -57,6 +57,7 @@ data Ty
 data Kind 
   = Klifted
   | Kunlifted
+  | Kunboxed
   | Kopen
   | Karrow Kind Kind