Defunctionalization with simple-sub Control-flow Analysis

hkust-taco / mlscript

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

https://hkust-taco.github.io/mlscript

MIT License

175 stars 27 forks source link

Defunctionalization with simple-sub Control-flow Analysis #222

Closed HarrisL2 closed 5 months ago

HarrisL2 commented 6 months ago

This PR adds an implementation of defunctionalization for selection on objects that uses simple-sub for control flow analysis.

LPTK commented 5 months ago

I actually can't tell why you need :ppat? Can you please explain it here and also document it?

HarrisL2 commented 5 months ago

After examining the code more, I've deemed the flag unnecessary. I've moved all defunctionalization to the (now separate) post-typing process.