search

brownplt / pyret-lang

The Pyret language.
Other
1.07k stars 109 forks source link

how to write top-level contract with type variables? #1193

Closed shriram closed 6 years ago

shriram commented 6 years ago

Based on https://www.pyret.org/docs/latest/s_contracts.html I can't figure out how to do this. For instance:

my-filter<T> :: List<T>, (T -> Boolean) -> List<T>
blerner commented 6 years ago

Dupe of #1339 which will be fixed shortly.