search

brownplt / pyret-lang

The Pyret language.
Other
1.07k stars 111 forks source link

[WIP] Begin Defining Type Signatures for Table Methods #1696

Open robertDurst opened 1 year ago

robertDurst commented 1 year ago

While type checking is limited until we have a proper Table type, we can start defining the type signatures for Table methods now in order to allow more programs to type check. These checks will initially be pretty shallow/limited.

This directly addresses a few bug reports:

shriram commented 1 year ago

Oooh, exciting!