Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | html-test: Always set language | Joachim Breitner | 2021-02-22 | 1 | -0/+6 |
| | | | | | | | | | | from ghc-9.2 on, the “default” langauge of GHC is expected to change more wildly. To prepare for that (and unblock https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4853), this sets the language for all the test files to `Haskell2010`. This should insolate this test suite against changes to the default. Cherry-picked from https://github.com/haskell/haddock/pull/1341 | ||||
* | 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. |