Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
generics propositional equality
generics propositional equality
· Changes
Page history
tweak
authored
Jul 02, 2014
by
heisenbug
Hide whitespace changes
Inline
Side-by-side
generics-propositional-equality.md
View page @
6c1e48f6
...
@@ -98,7 +98,7 @@ sameDatatype :: (Datatype l, Datatype r) => Proxy l -> Proxy l -> Maybe (l :~: r
...
@@ -98,7 +98,7 @@ sameDatatype :: (Datatype l, Datatype r) => Proxy l -> Proxy l -> Maybe (l :~: r
```
```
and implement it in the same unsafe fashion as
`GHC.TypeLits`
does.
and implement it in the same unsafe fashion as
`GHC.TypeLits`
does
for
`sameSymbol`
.
This should be sufficient to satisfy
`gdiff`
's requirements on propositional equality.
This should be sufficient to satisfy
`gdiff`
's requirements on propositional equality.
...
...