search

diprism / perpl

The PERPL Compiler
MIT License
10 stars 5 forks source link

Add CtExtern to ctxtLookupTerm #121

Closed colin-mcd closed 1 year ago

colin-mcd commented 1 year ago

Add CtExtern to ctxtLookupTerm (without it, any reference to an extern crashes the compiler)

davidweichiang commented 1 year ago

Surprising that all tests passed without this! ctxtLookupTerm is used in only one place (DR.hs) and I guess the tests do not use externs and recursive types together.