Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Dependent haskell
phase1
phase1
· Changes
Page history
Edit DependentHaskell/Phase1
authored
Mar 09, 2016
by
goldfire
Hide whitespace changes
Inline
Side-by-side
dependent-haskell/phase1.md
View page @
08b14bef
...
...
@@ -557,6 +557,8 @@ So, if `id :: forall a. a -> a`, then `id @Int :: Int -> Int`. See also a [ draf
## Type family equations can be constrained
**Did not make it for 8.0.**
Consider the following mess:
...
...