Pretty-printing aligns applications at a higher priority than function arrows

robrix / path

A lambda calculus to explore type-directed program synthesis.

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

83 stars 2 forks source link

Pretty-printing aligns applications at a higher priority than function arrows #85

Open robrix opened 5 years ago

robrix commented 5 years ago

This results in bad layouts:

  expected: {a : Type} -> _implicit_m
                            a -> _implicit_m Unit : Type
    actual: _implicit_m _meta_n -> _implicit_m
                                     _meta_o : Type