search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

Fix partially/overly applied type variables in entryfuncs file #365

Closed emmet-m closed 4 years ago

emmet-m commented 4 years ago

As per title

Closes #357

vjackson725 commented 4 years ago

Hmm; the getFnName call seems to be the problem

                let nargs = SF.numTypeVars $ 
                      case find (\tl -> getFnName tl == fnName) tced of
                          Just f  -> f
                          Nothing -> __impossible "Could not find function in top level declarations"