Allow implicit args in type constructors.

google-research / dex-lang

Research language for array processing in the Haskell/ML family

BSD 3-Clause "New" or "Revised" License

1.56k stars 106 forks source link

Allow implicit args in type constructors. #1260

Closed dougalm closed 1 year ago

dougalm commented 1 year ago

Mostly a matter of adding the given clause, but I also had to tweak unification to be sensitive to inferred-by-unification type constructor parameters. Now we can write Element myStrings instead of Element String myStrings.