aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/Extensions.hs
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2020-04-05 11:48:39 -0400
committerAlec Theriault <alec.theriault@gmail.com>2020-04-05 09:04:43 -0700
commit87fbc11227347da805a3d2158d462514438ca742 (patch)
tree37c3ce949b4d8fdf6834304e362ce0b5f10199fc /html-test/src/Extensions.hs
parent5d034ee2ed72839a8472dba59f83b1b348691cc5 (diff)
Fix #1050 by filtering out invisible AppTy arguments
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.
Diffstat (limited to 'html-test/src/Extensions.hs')
0 files changed, 0 insertions, 0 deletions