diff options
Diffstat (limited to 'utils/genprimopcode/Main.hs')
| -rw-r--r-- | utils/genprimopcode/Main.hs | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/utils/genprimopcode/Main.hs b/utils/genprimopcode/Main.hs index a0ea019923..f5eaf757e2 100644 --- a/utils/genprimopcode/Main.hs +++ b/utils/genprimopcode/Main.hs @@ -848,12 +848,13 @@ sl_name :: Entry -> String sl_name i = "(fsLit \"" ++ name i ++ "\") " ppTyVar :: String -> String -ppTyVar "a" = "alphaTyVar" -ppTyVar "b" = "betaTyVar" -ppTyVar "c" = "gammaTyVar" -ppTyVar "s" = "deltaTyVar" -ppTyVar "o" = "runtimeRep1TyVar, openAlphaTyVar" -ppTyVar "p" = "runtimeRep2TyVar, openBetaTyVar" +ppTyVar "a" = "alphaTyVarSpec" +ppTyVar "b" = "betaTyVarSpec" +ppTyVar "c" = "gammaTyVarSpec" +ppTyVar "s" = "deltaTyVarSpec" +ppTyVar "o" = "runtimeRep1TyVarInf, openAlphaTyVarSpec" +ppTyVar "p" = "runtimeRep2TyVarInf, openBetaTyVarSpec" +ppTyVar "v" = "levity1TyVarInf, levPolyTyVar1Spec" ppTyVar _ = error "Unknown type var" ppType :: Ty -> String @@ -888,6 +889,7 @@ ppType (TyVar "c") = "gammaTy" ppType (TyVar "s") = "deltaTy" ppType (TyVar "o") = "openAlphaTy" ppType (TyVar "p") = "openBetaTy" +ppType (TyVar "v") = "levPolyTy1" ppType (TyApp (TyCon "State#") [x]) = "mkStatePrimTy " ++ ppType x ppType (TyApp (TyCon "MutVar#") [x,y]) = "mkMutVarPrimTy " ++ ppType x |