search

johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
222 stars 11 forks source link

parsing external def doesn't allow using explicit type parameters #1170

Closed johnynek closed 3 months ago

johnynek commented 3 months ago 
external def foo(a: a) -> Int

is allowed but

external def foo[a](a: a) -> Int

isn't

This is inconsistent with def.