Generate typeclass instances#175

Merged

just95 merged 74 commits into

mainfrom

Sep 29, 2020

Commits on Aug 26, 2020

Implement first part of Normalform instance generator #150
Maja Reichert
committed
Generate full Normalform instances #150
Maja Reichert
committed
Always export Identity #150
Maja Reichert
committed
Clean up code a little #150
Maja Reichert
committed
Merge with branch issue-148#150
Maja Reichert
committed
Format code #150
Maja Reichert
committed
Merge main into issue-150 #150
Maja Reichert
committed

Commits on Aug 27, 2020

Refactor code #150
Maja Reichert
committed
Refactor code and expand type synonyms #150
Maja Reichert
committed
Generalize instance generation #150
Maja Reichert
committed

Commits on Aug 30, 2020

Use fresh variables for unification and adjust local environments #150
Maja Reichert
committed
Add helper functions to FreeC.IR.Syntax.Type #150
Maja Reichert
committed
Add smart constructor for qualified Coq names to Coq.Syntax #150
Maja Reichert
committed
Add some constants to Coq.Base #150
Maja Reichert
committed
Use helper function from IR.Syntax.Type in CompletePatternPass #150
Maja Reichert
committed
Refactor code a little #150
Maja Reichert
committed
Refactor code some more #150
Maja Reichert
committed
Remove redundant brackets #150
Maja Reichert
committed
Add examples to test generated normalforms in Coq #175
MarvinLira
committed
Run floskell #175
MarvinLira
committed

Commits on Sep 10, 2020

Add documentation and refactor code #150
Maja Reichert
committed
Merge branch 'main' of https://github.com/FreeProving/free-compiler into issue-150
Maja Reichert
committed
Merge partially with issue-183 #150
Maja Reichert
committed
Merge fully with issue-183 #150
Maja Reichert
committed
Refactor code and remove Shape and Pos arguments from local functions #150
Maja Reichert
committed
Refactor code, add documentation and fix a bug #150
Maja Reichert
committed
Merge branch 'issue-150' of https://github.com/FreeProving/free-compiler into issue-150
Maja Reichert
committed
Use Map for type map #150
Maja Reichert
committed
Fix refactoring-induced bug #150
Maja Reichert
committed

Commits on Sep 11, 2020

Merge branch 'issue-176' of https://github.com/FreeProving/free-compiler into issue-150
Maja Reichert
committed
Merge branch 'issue-176' of https://github.com/FreeProving/free-compiler into issue-150
Maja Reichert
committed

Commits on Sep 14, 2020

Use Coq.Base functions added to the main branch #150
Maja Reichert
committed
Merge branch 'main' of https://github.com/FreeProving/free-compiler into issue-150
Maja Reichert
committed
Make helper functions local #150
Maja Reichert
committed
Expand documentation #150
Maja Reichert
committed
Add Coq comment above class instances #150
Maja Reichert
committed
Add constant for underscore variable #150
Maja Reichert
committed
Format code with Floskell #150
Maja Reichert
committed
Format Coq.Base #150
Maja Reichert
committed
Merge main into issue-150 #150
Maja Reichert
committed

Commits on Sep 15, 2020

Adjust tests #150
Maja Reichert
committed
Merge main into issue-150 #150
Maja Reichert
committed
Format code with Floskell #150
Maja Reichert
committed
Generate ShareableArgs instances #150 #151
Maja Reichert
committed
Adjust tests #150 #151
Maja Reichert
committed
Apply HLint hint #150 #151
Maja Reichert
committed
Add tests for generated ShareableArgs instances #150 #151
Maja Reichert
committed
Rename Normalform and NormalformProofs #150 #151
Maja Reichert
committed
Format code with Floskell #150 #151
Maja Reichert
committed
Fix indentation of Haddock comment #150 #151
Maja Reichert
committed
Format code with Floskell #150 #151
Maja Reichert
committed
Add a few more example type to test generated instances #150 #151
Maja Reichert
committed

Commits on Sep 16, 2020

Add periods to comments #150 #151
MajaRet
authored

Commits on Sep 20, 2020

Apply suggestions #150
Maja Reichert
committed
Fix HLint and Haddock errors #150
Maja Reichert
committed
Move instance and induction scheme generation into separate modules #150
Maja Reichert
committed
Format code #150
Maja Reichert
committed
Test unformatted as-pattern #150
Maja Reichert
committed
Try workaround without as-pattern #150
Maja Reichert
committed
Rename source span variables #150
Maja Reichert
committed
Also rename occurrences of the source span variables #150
Maja Reichert
committed
Change Floskell configuration so as-patterns are not split #150
Maja Reichert
committed
Capitalize words in header comments #150
Maja Reichert
committed
Merge branch 'main' of https://github.com/FreeProving/free-compiler into issue-150
Maja Reichert
committed
Format TypeDecl tests #150
Maja Reichert
committed

Commits on Sep 25, 2020

Add prefixes for normalized and shared variables to Fresh #150
Maja Reichert
committed
Use new data type for stripped type #150
Maja Reichert
committed
Remove Ord instance from SrcSpan and Type #150
Maja Reichert
committed

Commits on Sep 28, 2020

Incorporate changes from issue-202 pertaining to Normalform generation #150
Maja Reichert
committed
Adjust TypeDeclTests #150
Maja Reichert
committed
Merge main into branch #150
Maja Reichert
committed
Remove second type variable from Handlers #150
Maja Reichert
committed
Use generateBind #150
Maja Reichert
committed
Remove redundant brackets and fix var names in tests #150
Maja Reichert
committed