`deo`/`dei`: make typing stricter

kiedtl / finwe

A concatenative language for the Uxn VM with full compiler-enforced stack safety.

MIT License

36 stars 0 forks source link

`deo`/`dei`: make typing stricter #13

Open kiedtl opened 2 months ago

kiedtl commented 2 months ago

dei should return the exact type defined in the Device definition.
deo should take only the exact type defined in the Device definition.

kiedtl commented 2 months ago

Will probably need a new type expression for this: (PortType <val>). Alternatively, (Child) could be repurposed for this, but that might create confusion.