~icefox/garnetc#14: 
Make monomorphization work

branch monomorph.

Lots of the more fiddly sort of module bits need it, since they can't be expressed precisely in Rust. Sigh.

Guidance for how to do it: https://borretti.me/article/design-austral-compiler#mono It looks a lot like type checking, and is similarly going to be a PITA.

Status
REPORTED
Submitter
~icefox
Assigned to
No-one
Submitted
1 year, 8 months ago
Updated
1 year, 8 months ago
Labels
T-TODO