Inlines polymorphic funs - Githubissues

hexresearch / hschain-utxo

UTXO-based contracts for hschain

0 stars 0 forks source link

Inlines polymorphic funs #200

Closed anton-k closed 3 years ago

anton-k commented 3 years ago

Implements:

inlining of polymorphing funs
Inlining of all prelude funs
Completes a list of polymorphic PrimOp's translation for Core
Adds some tests for typical scripts to test that they are compiled properly
Bug-fixes for type-checker
Bug-fixes for prelude funs