issues
search
anoma
/
juvix
A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
449
stars
54
forks
source link
Improve specialization optimization
#2944
Closed
lukaszcz
closed
1 month ago
lukaszcz
commented
1 month ago
Specialization has become less effective after recent changes to the codebase. This PR fixes issues with specialization.
Closes #2939
Closes #2945
Checklist
[X] Preserve pragmas for letrec and lambda in Stored Core
[x] Remove the assumption that all type variables are at the front (closes #2945)
[x] Allow specialization when the argument is a constructor application
[x] Make renaming adjust pragmas
[x] Allow pragmas for fields in record definitions (closes #2939)
[x] Update standard library pragmas
[x] Fix JuvixTree printing
Checklist