Andreas Abel

icon indicating a website link http://www.tcs.ifi.lmu.de/~abel icon indicating an email [email protected]

icon company Chalmers and Gothenburg University icon location Gothenburg, Sweden

Results 1312 comments of Andreas Abel
trafficstars

The case-split command produces code with incomplete matching

The logic is here in case you want to fix this: https://github.com/agda/agda/blob/e238fbe9aabd3129407ee443fc472f779f81bd78/src/full/Agda/Interaction/MakeCase.hs#L391-L426

CI is terribly outdated

@vshabanov : I think it is important to have a CI that covers a wide range of GHC versions and some contemporary setups. (E.g. how about GHC 9?) E.g. I...