search

ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective
10 stars 0 forks source link

Pretty Printer: Remove Parens around Split and Squash #28

Closed heades closed 7 years ago

heades commented 7 years ago

Consider the example:

"(squash) (\\(y:?).x ((split) y))"

There are parens around squash and split.

Please modify the pretty printer to remove those.

michaelto20 commented 7 years ago

Fixed on loadfile branch. I will be merging this in the next day or two into master.