tschrijv AutBound issues - Githubissues

tschrijv / AutBound

Code voor Abstract Syntax Tree Code Generator for Haskell-based Com- and Transpilers

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

String representation of xyzVarReplace and xyzabcSubstitute contains calls to non existent functions

#13 LorenNuyts closed 3 years ago
0
Explain the difference between synthesized and inherited contexts in the README file

#12 LorenNuyts opened 3 years ago
0
Generate "This is an auto generated file, please do not modify" at the beginning each file, including the date of generation

#11 LorenNuyts opened 3 years ago
0
Comments in the native code section don't appear in generated code

#10 LorenNuyts opened 3 years ago
0
The boundVarFunctions does not always generate a recursive function

#9 LorenNuyts closed 3 years ago
0
Update the code for generating the OCaml output so that it is up to speed with the Haskell ouput

#8 LorenNuyts opened 3 years ago
0
Custom Eq implementation

#7 VonTum opened 3 years ago
0
Generation of Environment code

#6 VonTum opened 3 years ago
0
Custom Show implementations and custom type construction operators

#5 VonTum opened 3 years ago
0
Invariance over DeBruijn and String representation

#4 VonTum opened 3 years ago
2
Better documentation of generated functions

#3 VonTum closed 3 years ago
0
Add type signature to generated functions

#2 VonTum closed 3 years ago
0
xyzshiftplus and xyzshiftminus are erroneously generated for sorts not containing variable bindings

#1 VonTum closed 3 years ago
0