Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | linting disambiguate | Yuchen Pei | 2022-08-19 | 1 | -1/+5 |
* | removed a redundant import | Yuchen Pei | 2022-08-19 | 1 | -1/+0 |
* | removing more (commented out) debugging things | Yuchen Pei | 2022-08-18 | 1 | -33/+0 |
* | removing a debugging function | Yuchen Pei | 2022-08-18 | 1 | -5/+0 |
* | more linting of disambiguating | Yuchen Pei | 2022-08-18 | 2 | -20/+18 |
* | linting preprocessor and ghcutils | Yuchen Pei | 2022-08-18 | 2 | -46/+50 |
* | formatting preprocessor | Yuchen Pei | 2022-08-18 | 1 | -119/+137 |
* | linting | Yuchen Pei | 2022-08-18 | 3 | -57/+40 |
* | removing CPP from Types and brittany formatting it | Yuchen Pei | 2022-08-18 | 1 | -404/+433 |
* | minor fixes | Yuchen Pei | 2022-06-13 | 1 | -4/+2 |
* | clean up typecheckedsource | Yuchen Pei | 2022-06-10 | 1 | -37/+17 |
* | 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 |
* | removed all CPP macros, and formatted code with brittany | Yuchen Pei | 2022-06-08 | 5 | -3136/+2874 |
* | clean up comments etc. | Yuchen Pei | 2022-06-08 | 1 | -98/+1 |
* | Clean up code | Yuchen Pei | 2022-06-08 | 3 | -284/+35 |
* | fixing HsPragE hole in typecheckedsource | Yuchen Pei | 2022-06-08 | 1 | -9/+5 |
* | fixing path resolution | Yuchen Pei | 2022-06-08 | 1 | -2/+4 |
* | Fixing problem with indexing a project with multiple packages | Yuchen Pei | 2022-06-07 | 1 | -8/+40 |
* | fixing distdir | Yuchen Pei | 2022-06-07 | 1 | -57/+66 |
* | fixing selectorDocs | Yuchen Pei | 2022-06-06 | 2 | -44/+44 |
* | packageinfo done | Yuchen Pei | 2022-06-06 | 1 | -74/+76 |
* | moduleinfo done | Yuchen Pei | 2022-06-06 | 2 | -63/+41 |
* | fixing moduleinfo | Yuchen Pei | 2022-06-03 | 1 | -42/+54 |
* | 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 |
* | renamed source done | Yuchen Pei | 2022-06-03 | 1 | -142/+56 |
* | keep on hacking renamed | Yuchen Pei | 2022-06-02 | 2 | -148/+43 |
* | renamed source | Yuchen Pei | 2022-06-02 | 1 | -58/+26 |
* | getting rid of all ghcutils.hs warnings except two | Yuchen Pei | 2022-06-02 | 1 | -90/+41 |
* | fixed ghcutils except warnings | Yuchen Pei | 2022-06-02 | 1 | -45/+34 |
* | even more ghcutils fixes | Yuchen Pei | 2022-06-02 | 1 | -128/+74 |
* | more fixes to ghcutils | Yuchen Pei | 2022-06-02 | 1 | -28/+24 |
* | fixing more ghcutils | Yuchen Pei | 2022-06-01 | 1 | -106/+63 |
* | fixing patsyn | Yuchen Pei | 2022-05-31 | 1 | -15/+27 |
* | porting to ghc9.2.2: fixing ghcutils | Yuchen Pei | 2022-05-26 | 1 | -95/+140 |
* | porting to ghc9.2.2: fixing types.hs | Yuchen Pei | 2022-05-16 | 1 | -5/+9 |
* | Make it compile with GHC-8.8.1 (Stackage nightly-2019-09-28) | alexwl | 2019-09-29 | 3 | -33/+75 |
* | Add check for .cabal file | alexwl | 2019-09-02 | 1 | -8/+30 |
* | Delete trailing whitespace (#42) | Avi Dessauer | 2019-08-21 | 7 | -284/+284 |
* | Fail immediately when a GHC mismatch is detected. Closes #40. | alexwl | 2019-08-03 | 1 | -10/+8 |
* | Code cleanup: fix warnings | alexwl | 2019-05-17 | 5 | -32/+59 |
* | Add support for GHC 8.6.5 | alexwl | 2019-05-08 | 1 | -1/+6 |
* | Fix GHC version check | alexwl | 2019-04-28 | 1 | -51/+16 |
* | Add GHC version check | alexwl | 2019-03-27 | 1 | -2/+72 |
* | Add GHC command line options to the debug output | alexwl | 2019-01-17 | 1 | -2/+4 |
* | Add support for GHC 8.6.3 | alexwl | 2018-12-23 | 5 | -115/+803 |
* | Replace Vector.fromList with Vector.fromListN | alexwl | 2018-12-13 | 1 | -1/+1 |
* | Index injectivity annotations | alexwl | 2018-12-10 | 1 | -1/+19 |