Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Proposal
custom type errors
custom type errors
· Changes
Page history
link to Helium paper
authored
Feb 17, 2016
by
Lemming
Show whitespace changes
Inline
Side-by-side
proposal/custom-type-errors.md
View page @
d9e89e6c
...
@@ -323,3 +323,9 @@ testNotOk s = get s (Proxy :: Proxy "B")
...
@@ -323,3 +323,9 @@ testNotOk s = get s (Proxy :: Proxy "B")
--}
--}
```
```
## See also
The Helium people have also addressed the problem of customizable error messages.
See Heeren, Hage, Swierstra on
[
Scripting the Type Inference Process
](
http://www.staff.science.uu.nl/~hage0101/scriptingthetypeinferencer.pdf
)
.