X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FcoreSyn%2FExternalCore.lhs;h=576e03ebbb98c5f69d46affca98741127552d51a;hb=fcf6b22d0478be20e27c2245f3e34dd272e12522;hp=8c0013176c0ea8f518059018486ad9bfff31c420;hpb=9f8e195e69e54c733eb93b2e2e39c2ebe818ce62;p=ghc-hetmet.git diff --git a/compiler/coreSyn/ExternalCore.lhs b/compiler/coreSyn/ExternalCore.lhs index 8c00131..576e03e 100644 --- a/compiler/coreSyn/ExternalCore.lhs +++ b/compiler/coreSyn/ExternalCore.lhs @@ -1,8 +1,7 @@ % -% (c) The University of Glasgow 2001 +% (c) The University of Glasgow 2001-2006 % \begin{code} - module ExternalCore where @@ -34,7 +33,9 @@ data Exp | Case Exp Vbind Ty [Alt] {- non-empty list -} | Cast Exp Ty | Note String Exp - | External String Ty + | External String String Ty {- target name, convention, and type -} + | DynExternal String Ty {- convention and type (incl. Addr# of target as first arg) -} + | Label String data Bind = Vb Vbind @@ -60,6 +61,7 @@ data Kind | Kunboxed | Kopen | Karrow Kind Kind + | Keq Ty Ty data Lit = Lint Integer Ty @@ -78,10 +80,11 @@ type Qual t = (Mname,t) type Id = String -primMname = "GHCziPrim" +primMname :: Mname +primMname = "ghc-prim:GHC.Prim" tcArrow :: Qual Tcon -tcArrow = (primMname, "ZLzmzgZR") +tcArrow = (primMname, "(->)") \end{code}