Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
type level naming issues
type level naming issues
· Changes
Page history
Re-run import
authored
Mar 29, 2019
by
Tobias Dammers
Hide whitespace changes
Inline
Side-by-side
type-level-naming-issues.md
View page @
cc1a7a6a
...
...
@@ -126,5 +126,9 @@ These are in no particular order, but they are numbered for easy reference.
gcastWith Refl x = x
```
>
>
> I've tested this function in a real setting, and it (that is, type inference for it) works great.
>
>