Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Dependent haskell
phase1
phase1
· Changes
Page history
Edit DependentHaskell/Phase1
authored
Apr 09, 2015
by
goldfire
Hide whitespace changes
Inline
Side-by-side
dependent-haskell/phase1.md
View page @
210168d1
...
@@ -459,6 +459,8 @@ Once upon a time, I embarked on a mission to reduce imports of `TyCoRep`, instea
...
@@ -459,6 +459,8 @@ Once upon a time, I embarked on a mission to reduce imports of `TyCoRep`, instea
-
Fix pattern synonyms.
-
Fix pattern synonyms.
-
Use
`pushRefl`
when splitting a coercion. Unless we're guaranteed that the input is non-Refl. And then ASSERT.
## Questions
## Questions
1.
What to do about bad GADT return types
1.
What to do about bad GADT return types
...
...