search

diprism / perpl

The PERPL Compiler
MIT License
10 stars 5 forks source link

Unused type parameter doesn't affect tests for positivity or recursivity #75

Closed davidweichiang closed 1 year ago

davidweichiang commented 1 year ago

Closes #66.

davidweichiang commented 1 year ago

I think this should be okay to merge. The only thing I was a little uncertain about was adding type parameters to Ctxt. IIUC, Ctxt currently is only used with UsProgs and Progs, not SProgs, so it should not store tags, right? @HerbertMcSnout

(And Env is used with SProgs, and there's a to-do that says they should be merged into a single type, but that will be a lot more work.)

davidweichiang commented 1 year ago

Oops, I meant to add commit https://github.com/diprism/compiler/pull/75/commits/806a0dcbaa5f5b50a7dfb591e4ee873868cd599b on a different branch. Sorry.

Closes #70.