Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | removing more (commented out) debugging things | Yuchen Pei | 2022-08-18 | 1 | -33/+0 |
| | |||||
* | linting | Yuchen Pei | 2022-08-18 | 1 | -0/+1 |
| | | | | - disambiguate things | ||||
* | clean up typecheckedsource | Yuchen Pei | 2022-06-10 | 1 | -37/+17 |
| | | | | | - fill in holes by returning nothing - commenting out some debugging imports | ||||
* | removed some redundant pattern matchings | Yuchen Pei | 2022-06-10 | 1 | -4/+0 |
| | |||||
* | Fixing some typechecked "holes" | Yuchen Pei | 2022-06-10 | 1 | -6/+98 |
| | | | | | | | | two "holes" - Expanded - ConPat also added some pprTrace for debugging | ||||
* | removed all CPP macros, and formatted code with brittany | Yuchen Pei | 2022-06-08 | 1 | -779/+640 |
| | |||||
* | Clean up code | Yuchen Pei | 2022-06-08 | 1 | -129/+32 |
| | |||||
* | fixing HsPragE hole in typecheckedsource | Yuchen Pei | 2022-06-08 | 1 | -9/+5 |
| | |||||
* | typecheckedsources no more warnings except two holes | Yuchen Pei | 2022-06-03 | 1 | -211/+49 |
| | |||||
* | typecheckedsources no more errors except holes | Yuchen Pei | 2022-06-03 | 1 | -428/+224 |
| | |||||
* | fixing typecheckedSource | Yuchen Pei | 2022-06-03 | 1 | -93/+104 |
| | |||||
* | Make it compile with GHC-8.8.1 (Stackage nightly-2019-09-28) | alexwl | 2019-09-29 | 1 | -27/+54 |
| | |||||
* | Delete trailing whitespace (#42) | Avi Dessauer | 2019-08-21 | 1 | -100/+100 |
| | |||||
* | Code cleanup: fix warnings | alexwl | 2019-05-17 | 1 | -3/+12 |
| | |||||
* | Add support for GHC 8.6.3 | alexwl | 2018-12-23 | 1 | -65/+446 |
| | |||||
* | Fix all GHC 8.4.3 compatibility issues. Needs a bit more testing. | alexwl | 2018-10-12 | 1 | -7/+72 |
| | |||||
* | WIP. It compiles with ghc-8.4.3, but not all features of the indexer are ↵ | alexwl | 2018-10-09 | 1 | -33/+95 |
| | | | | supported yet. | ||||
* | Initial commit | alexwl | 2018-10-02 | 1 | -0/+1231 |