search

plow-technologies / inferno

A statically-typed functional scripting language
MIT License
4 stars 1 forks source link

Chain prelude evaluation so that primitives can depend on each other #94

Closed siddharth-krishna closed 1 year ago

siddharth-krishna commented 1 year ago

This PR allows evaluating a second prelude (like the one in inferno-ml) in an environment that already has the first prelude (the core/builtin one), so that the second prelude can use ops and primitives defined in the first one.

It creates a new Prelude type (that subsumes the type alias ModuleMap) and refactors existing code to use it.

Daniel-Diaz commented 1 year ago

Looks like a nice improvement!