diff options
Diffstat (limited to 'src/Inky/Type')
| -rw-r--r-- | src/Inky/Type/Pretty.idr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Inky/Type/Pretty.idr b/src/Inky/Type/Pretty.idr index 1f2d35b..83253b4 100644 --- a/src/Inky/Type/Pretty.idr +++ b/src/Inky/Type/Pretty.idr @@ -19,7 +19,7 @@ prettyType TNat d = pretty "Nat" prettyType (TArrow a b) d = parenthesise (d > arrowPrec) $ group $ align $ hang 2 $ let parts = stripArrow b in - concatWith (surround $ "->" <+> line) (prettyType a arrowPrec :: parts) + concatWith (surround $ neutral <++> "->" <+> line) (prettyType a arrowPrec :: parts) where stripArrow : Ty ctx () -> List (Doc ann) stripArrow (TArrow a b) = prettyType a arrowPrec :: stripArrow b |