Unbound effect variables in type aliases when effect sugar is enabled

links-lang / links

Links: Linking Theory to Practice for the Web

http://www.links-lang.org

Other

333 stars 43 forks source link

Unbound effect variables in type aliases when effect sugar is enabled #1137

Open dhil opened 2 years ago

dhil commented 2 years ago

Enabling

effect_sugar=true
effect_sugar_policy="presence_omit,alias_omit,contract_operation_arrows,arrows_curried_hide_fresh"

causes the following code produces an internal error.

links> typename Id(a, e::Eff) = (a) { |e}-> a;
Id = a,b::Eff.(a) -b-> a
links> sig id : Id(a, { |e}) fun id(x) { x };
***: Error: Links_core.Notfound.NotFound("7660 (in Map.find)")