search

wyvernlang / wyvern

The Wyvern programming language.
http://wyvernlang.github.io/
GNU General Public License v2.0
552 stars 65 forks source link

start of typechecker #377

Closed tmoux closed 4 years ago

tmoux commented 4 years ago

This is the start of the typechecker. Unfortunately it can't really type anything interesting yet but more rules can be added soon Also I have moved some type definitions to types.wyv due to issues with circular imports.

tmoux commented 4 years ago

This breaks the previous Int typing rule. My understanding is we want to give ints a NominalType with the same binding as the Int TypeType binding, but I'm not sure how to express that