search

tweag / pirouette

Language-generic workbench for building static analysis
MIT License
47 stars 2 forks source link

Monomorphize WIP #54

Closed 0xd34df00d closed 2 years ago

0xd34df00d commented 2 years ago

I've branched off vcm/refactor-symb-eval about a week ago, so the result is a mess, but it gives a rough idea. Pirouette.Transformations.Monomorphization is the key module, and the rest of the changes in this PR are some very minor and non-semantic ones.

I'll rebase this on top of whatever once we decide on the merge sequence.

0xd34df00d commented 2 years ago

There's still work to do wrt substitutions that we discussed, but it can be done separately.