This repository has been archived by the owner on Sep 10, 2021. It is now read-only.

Allow syntactic sugar (fn a -> b -> ... -> z) #26

Open

stylewarning opened this issue Jul 25, 2020 · 0 comments

Labels

Owner

stylewarning commented Jul 25, 2020

Allow syntactic sugar for curried function types:

(fn <ty>* -> <ty>* -> ... -> <ty>* -> <ty>)

This would match Haskell et al. and be right-associative.

This would require being able to (a) parse these types, and (b) print these types.

The tyfun object shouldn't need to be modified.

The text was updated successfully, but these errors were encountered:

stylewarning added the enhancement label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.