X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FcoreSyn%2FMkExternalCore.lhs;h=3315240edd01e9a7401a8d087501ae42fd842260;hb=273be06fa7cb1297284dbb553ecc9be7d07df6af;hp=b4970cca48ca91c6519acf4d1e3a6cf957e21007;hpb=4db2c92cedd11b90c6cec46c245b3b618f734d49;p=ghc-hetmet.git diff --git a/compiler/coreSyn/MkExternalCore.lhs b/compiler/coreSyn/MkExternalCore.lhs index b4970cc..3315240 100644 --- a/compiler/coreSyn/MkExternalCore.lhs +++ b/compiler/coreSyn/MkExternalCore.lhs @@ -117,7 +117,6 @@ make_exp (Let b e) = C.Let (make_vdef b) (make_exp e) make_exp (Case e v ty alts) = C.Case (make_exp e) (make_vbind v) (make_ty ty) (map make_alt alts) make_exp (Note (SCC cc) e) = C.Note "SCC" (make_exp e) -- temporary make_exp (Note (Coerce t_to t_from) e) = C.Coerce (make_ty t_to) (make_exp e) -make_exp (Note InlineCall e) = C.Note "InlineCall" (make_exp e) make_exp (Note (CoreNote s) e) = C.Note s (make_exp e) -- hdaume: core annotations make_exp (Note InlineMe e) = C.Note "InlineMe" (make_exp e) make_exp _ = error "MkExternalCore died: make_exp" @@ -175,6 +174,7 @@ make_ty (NoteTy _ t) = make_ty t make_kind :: Kind -> C.Kind make_kind (FunKind k1 k2) = C.Karrow (make_kind k1) (make_kind k2) make_kind LiftedTypeKind = C.Klifted +make_kind UnboxedTypeKind = C.Kunboxed make_kind UnliftedTypeKind = C.Kunlifted make_kind OpenTypeKind = C.Kopen make_kind _ = error "MkExternalCore died: make_kind"