search

ejrgilbert / whamm

5 stars 2 forks source link

Verify-fndef #72

Closed wavid-b closed 2 days ago

wavid-b commented 1 week ago

Parse fn-defs, blocks, and typecheck functioncalls by their corresponding function signature

ahuoguo commented 1 week ago

Can you also provide a description of how type-checking is done? And what are the decisions we pushed off?

wavid-b commented 2 days ago

one of the tests just started failing, let me see why before merging