... | ... | @@ -61,7 +61,7 @@ Notice that in the `NoteTy` case, `coreView` does not call itself. Now, clients |
|
|
```
|
|
|
|
|
|
|
|
|
Notice the first line, which uses the view, and recurses when the view 'fires'. Since `coreView` is non-recursive, GHC will inline it, and the optimiser will ultimately produce somethign like:
|
|
|
Notice the first line, which uses the view, and recurses when the view 'fires'. Since `coreView` is non-recursive, GHC will inline it, and the optimiser will ultimately produce something like:
|
|
|
|
|
|
```wiki
|
|
|
splitFunTy_maybe :: Type -> Maybe (Type,Type)
|
... | ... | |