Entryfuncs file should not accept partially applied type applications

au-ts / cogent

Cogent Project

https://trustworthy.systems/projects/TS/cogent.pml

Other

158 stars 26 forks source link

Entryfuncs file should not accept partially applied type applications #357

Closed emmet-m closed 4 years ago

emmet-m commented 4 years ago

Currently giving a partially applied function definition in the file supplied to --entry-funcs results in the monomorphiser crashing. This should be checked and banned in cogent/src/Cogent/Glue.hs:readEntryFuncs