Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'origin/ghc-head' into wip/ghc-head-merge | Ben Gamari | 2021-02-06 | 1 | -1/+1 |
| | |||||
* | Merge remote-tracking branch 'origin/ghc-8.10' into ghc-9.0 | Ben Gamari | 2021-01-05 | 1 | -2/+2 |
| | |||||
* | Fix #1050 by filtering out invisible AppTy arguments | Ryan Scott | 2020-04-05 | 1 | -0/+110 |
This makes the `synifyType` case for `AppTy` more intelligent by taking into consideration the visibilities of each `AppTy` argument and filtering out any invisible arguments, as they aren't intended to be displayed in the source code. (See #1050 for an example of what can happen if you fail to filter these out.) Along the way, I noticed that a special `synifyType` case for `AppTy t1 (CoercionTy {})` could be consolidated with the case below it, so I took the opportunity to tidy this up. |