aboutsummaryrefslogtreecommitdiff
path: root/src/HaskellCodeExplorer/AST
Commit message (Expand)AuthorAgeFilesLines
* typecheckedsources no more errors except holesYuchen Pei2022-06-031-428/+224
* fixing typecheckedSourceYuchen Pei2022-06-031-93/+104
* renamed source doneYuchen Pei2022-06-031-142/+56
* keep on hacking renamedYuchen Pei2022-06-021-143/+35
* renamed sourceYuchen Pei2022-06-021-58/+26
* Make it compile with GHC-8.8.1 (Stackage nightly-2019-09-28)alexwl2019-09-292-32/+60
* Delete trailing whitespace (#42)Avi Dessauer2019-08-212-142/+142
* Code cleanup: fix warningsalexwl2019-05-172-3/+22
* Add support for GHC 8.6.3alexwl2018-12-232-78/+581
* Index injectivity annotationsalexwl2018-12-101-1/+19
* Index quoted identifiers (Template Haskell)alexwl2018-10-201-0/+33
* Index type constructor in RoleAnnotDeclalexwl2018-10-141-1/+16
* Fix all GHC 8.4.3 compatibility issues. Needs a bit more testing.alexwl2018-10-122-17/+134
* WIP. It compiles with ghc-8.4.3, but not all features of the indexer are supp...alexwl2018-10-092-60/+173
* Initial commitalexwl2018-10-022-0/+1729