Commit 1cc52fc0 authored by Tim Steenvoorden's avatar Tim Steenvoorden
Browse files

rename Data.Function.impossible to Data.Function.unreachable

parent bd72daad
......@@ -49,4 +49,4 @@ uncurry f (a,b) :== f a b
abort :: !String -> .a
undefined :: .a
impossible :: .a
unreachable :: .a
......@@ -11,5 +11,5 @@ abort s = code inline {
undefined :: .a
undefined = abort "Run-time error! Program evaluated an undefined value!"
impossible :: .a
impossible = abort "Run-time error! Program reached an impossible branch!"
unreachable :: .a
unreachable = abort "Run-time error! Program reached an unreachable branch!"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment