diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-01-30 22:45:16 -0500 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-01-30 22:45:16 -0500 |
| commit | b6558d80072257b9bd41fb6099a86e7411c8ba97 (patch) | |
| tree | 0baddc726f613cb229a3a52f113b603c7091800d /compiler/coreSyn/MkCore.hs | |
| parent | e554ac3e19eec3bb738caa74d74609b05b312a7e (diff) | |
| download | haskell-wip/t11715.tar.gz | |
Checkpoint after renamingwip/t11715
Diffstat (limited to 'compiler/coreSyn/MkCore.hs')
| -rw-r--r-- | compiler/coreSyn/MkCore.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/coreSyn/MkCore.hs b/compiler/coreSyn/MkCore.hs index 0795f1840d..faf32d9375 100644 --- a/compiler/coreSyn/MkCore.hs +++ b/compiler/coreSyn/MkCore.hs @@ -725,7 +725,7 @@ tYPE_ERROR_ID = mkRuntimeErrorId typeErrorName mkRuntimeErrorId :: Name -> Id -- Error function --- with type: forall (r:RuntimeRep) (a:TYPEvis r). Addr# -> a +-- with type: forall (r:RuntimeRep) (a:TYPE r). Addr# -> a -- with arity: 1 -- which diverges after being given one argument -- The Addr# is expected to be the address of @@ -757,8 +757,8 @@ mkRuntimeErrorId name {- Note [Error and friends have an "open-tyvar" forall] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 'error' and 'undefined' have types - error :: forall (v :: RuntimeRep) (a :: TYPEvis v). String -> a - undefined :: forall (v :: RuntimeRep) (a :: TYPEvis v). a + error :: forall (v :: RuntimeRep) (a :: TYPE v). String -> a + undefined :: forall (v :: RuntimeRep) (a :: TYPE v). a Notice the levity polymorphism. This ensures that "error" can be instantiated at unboxed as well as boxed types. This is OK because it never returns, so the return type is irrelevant. |