search

kongware / scriptum

Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
MIT License
383 stars 21 forks source link

Parsing partially type constructors swallows type parameters #352

Closed ivenmarquardt closed 3 years ago

ivenmarquardt commented 3 years ago 
parseAnno("Map"); // Map<__, __>
parseAnno("Map<a>"); // Map<a>

The first not applied Maptype constructor correctly yields a Map AST with two not yet applied type parameters __. The following partially applied Map<a>, however, yields Map with a type variable a but omits the second type parameter that ought to be __, i.e. Map<a, __>.

ivenmarquardt commented 3 years ago

Shoot, I need a kind system to sovle this.

ivenmarquardt commented 3 years ago

see #354