aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* | | Fix unwitting compilation bug.Łukasz Hanuszczak2015-08-211-1/+1
| | |
* | | Refactor type renamer to rebinding and pure renaming phases.Łukasz Hanuszczak2015-08-211-45/+60
| | |
* | | Fix another bug where type renamer was generating incorrect names.Łukasz Hanuszczak2015-08-211-1/+1
| | |
* | | Add some documentation and refactor type specialization module.Łukasz Hanuszczak2015-08-211-21/+74
| | |
* | | Fix type renamer bug with incorrect names being generated.Łukasz Hanuszczak2015-08-211-15/+30
| | |
* | | Make type renamer first try single-letter names as alternatives.Łukasz Hanuszczak2015-08-211-1/+9
| | |
* | | Add new data type declaration to instance specialization test case. Łukasz Hanuszczak2015-08-211-0/+7
| | |
* | | Improve placement of instance methods expander button.Łukasz Hanuszczak2015-08-212-7/+13
| | |
* | | Fix tab-based indentation in instances test case.Łukasz Hanuszczak2015-08-211-6/+6
| | |
* | | Extend instances test case to also test multi-name type signatures.Łukasz Hanuszczak2015-08-211-0/+4
| | |
* | | Attach source locations to the specialized class methods.Łukasz Hanuszczak2015-08-211-6/+5
| | |
* | | Make specialized methods be nicely formatted again.Łukasz Hanuszczak2015-08-211-4/+8
| | |
* | | Make specialized signatures refer to original signature declaration.Łukasz Hanuszczak2015-08-212-3/+10
| | |
* | | Add some test cases for type renamer.Łukasz Hanuszczak2015-08-211-0/+18
| | |
* | | Hook type renamer with instance method HTML pretty-printer.Łukasz Hanuszczak2015-08-212-3/+8
| | |
* | | Move `SetName` class definition to types module.Łukasz Hanuszczak2015-08-212-5/+18
| | |
* | | Fix compilation error caused by incorrect type signature.Łukasz Hanuszczak2015-08-211-1/+1
| | |
* | | Create function for retrieving free variables from given type.Łukasz Hanuszczak2015-08-211-0/+20
| | |
* | | Add SYB-like utility function for performing stateful queries.Łukasz Hanuszczak2015-08-211-1/+15
| | |
* | | Fix logic behind binder type renaming.Łukasz Hanuszczak2015-08-211-4/+7
| | |
* | | Fill in stub behaviour with actual environment renaming.Łukasz Hanuszczak2015-08-211-14/+28
| | |
* | | Implement simple mechanism for generating new type names.Łukasz Hanuszczak2015-08-211-3/+26
| | |
* | | Change state of the type renaming monad.Łukasz Hanuszczak2015-08-211-14/+16
| | |
* | | Remove code duplication in specialized type renamer.Łukasz Hanuszczak2015-08-211-6/+10
| | |
* | | Fill in missing cases in specialized type renaming function.Łukasz Hanuszczak2015-08-211-11/+15
| | |
* | | Create scaffolding of a framework for renaming specialized types.Łukasz Hanuszczak2015-08-212-1/+97
| | |
* | | Get rid of code duplication in type specialization module.Łukasz Hanuszczak2015-08-211-18/+12
| | |
* | | Implement tuple syntax sugaring logic for specialized types.Łukasz Hanuszczak2015-08-211-2/+34
| | |
* | | Implement list syntax sugaring logic for specialized types.Łukasz Hanuszczak2015-08-211-3/+16
| | |
* | | Create stub functions for sugaring specialized types.Łukasz Hanuszczak2015-08-212-1/+14
| | |
* | | Hook type specialization logic with HTML pretty-printer.Łukasz Hanuszczak2015-08-212-12/+22
| | |
* | | Create convenience functions for type specialization module.Łukasz Hanuszczak2015-08-211-5/+26
| | |
* | | Move dummy post-family instances for `DocName` to `Types` module.Łukasz Hanuszczak2015-08-212-14/+15
| | |
* | | Add expandable method section for each class instance declaration.Łukasz Hanuszczak2015-08-212-18/+50
| | |
* | | Refactor instance head type to record instead of a meaningless tuple.Łukasz Hanuszczak2015-08-216-38/+63
| | |
* | | Make HTML class instance printer take optional signature argument.Łukasz Hanuszczak2015-08-211-9/+14
| | |
* | | Add basic HTML test case for checking instance specialization.Łukasz Hanuszczak2015-08-211-0/+36
| | |
* | | Make type of type specialization function more general.Łukasz Hanuszczak2015-08-211-3/+3
| | |
* | | Create simple utility module for type specialization.Łukasz Hanuszczak2015-08-213-0/+23
| | |
* | | Implement generic transformation constructor.Łukasz Hanuszczak2015-08-211-0/+9
| | |
* | | Implement `everywhere` transformation in SYB module.Łukasz Hanuszczak2015-08-211-1/+7
| | |
* | | Move SYB utilities to standalone module.Łukasz Hanuszczak2015-08-214-14/+29
| | |
* | | Make Travis use 7.10.2Mateusz Kowalczyk2015-08-211-1/+1
| | |
* | | Rename advanced types test case and accept new output.Łukasz Hanuszczak2015-08-063-98/+204
| | |
* | | Extend advanced types test case with other examples.Łukasz Hanuszczak2015-08-061-0/+14
| | |
* | | Apply promoted type quoting to type-level consing.Łukasz Hanuszczak2015-08-061-1/+6
| | |
* | | Fix quote syntax for promoted types.Łukasz Hanuszczak2015-08-062-3/+10
| | |
* | | Update tests to follow HTML changesMateusz Kowalczyk2015-08-0279-805/+853
| | |
* | | Override source line flags when source hyperlinker is enabled.Łukasz Hanuszczak2015-08-021-2/+7
| | |
* | | Re-accept test cases after adding line anchors for each of them.Łukasz Hanuszczak2015-08-027-1011/+1673
| | |