search

silt-lang / silt

An in-progress fast, dependently typed, functional programming language implemented in Swift.
MIT License
240 stars 13 forks source link

Type Lowering and Address Types #135

Closed CodaFi closed 6 years ago

CodaFi commented 6 years ago

What's in this pull request?

Implement a centralized type lowering facility and make it distinguish objects and addresses.

WIP because there's no IRGen and because the lowerings should become the authority on how to operate on their values.

harlanhaskins commented 6 years ago

I can handle the IRGen phase.

CodaFi commented 6 years ago

⛵️