SeLFiE: implement a light-weight type checker for the semantic part of SeLFiE. - Githubissues

data61 / PSL

Other

65 stars 9 forks source link

SeLFiE: implement a light-weight type checker for the semantic part of SeLFiE. #97

Open yutakang opened 5 years ago

yutakang commented 5 years ago

"Type checker" may be a misnomer. I need a sanity checker.

[ ] Is_In_Chained does not appear in the semantic part.
[ ] Is_In_Fst_Subg does not appear in the semantic part.
[ ] modifiers do not appear in the semantic part.