... | @@ -72,7 +72,7 @@ Notice the first line, which uses the view, and recurses when the view 'fires'. |
... | @@ -72,7 +72,7 @@ Notice the first line, which uses the view, and recurses when the view 'fires'. |
|
## The representation of `Type`
|
|
## The representation of `Type`
|
|
|
|
|
|
|
|
|
|
Here, then is the representation of types (see [compiler/types/TyCoRep.hs](https://gitlab.haskell.org/ghc/ghc/blob/master/compiler/types/TyCoRep.hs) for more details):
|
|
Here, then is the representation of types (see [compiler/GHC/Core/TyCo/Rep.hs](https://gitlab.haskell.org/ghc/ghc/blob/master/compiler/GHC/Core/TyCo/Rep.hs) for more details):
|
|
|
|
|
|
```haskell
|
|
```haskell
|
|
type TyVar = Var
|
|
type TyVar = Var
|
... | | ... | |