Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Typeable
ben gamari
ben gamari
· Changes
Page history
typo
authored
May 26, 2017
by
heisenbug
Show whitespace changes
Inline
Side-by-side
typeable/ben-gamari.md
View page @
7f2ba401
...
@@ -73,7 +73,7 @@ While `typeRepKind` may seem like a non-essential feature, it ends up being quit
...
@@ -73,7 +73,7 @@ While `typeRepKind` may seem like a non-essential feature, it ends up being quit
```
```
mkApp::SomeTypeRep->SomeTypeRep->MaybeSomeTypeRepmkApp(SomeTypeRep f)(SomeTypeRep x)=doFunTy a b <- pure f
mkApp::SomeTypeRep->SomeTypeRep->MaybeSomeTypeRepmkApp(SomeTypeRep f)(SomeTypeRep x)=doFunTy a b <- pure f
Refl<- a `eqTypeRe
q
` typeRepKind x
Refl<- a `eqTypeRe
p
` typeRepKind x
return (App f x)
return (App f x)
```
```
...
...