Merge pull request #3401 from david-christiansen/printdef-infix
Use correct fixity info for :printdef
commitc328d7c193ec13647c2f59360a2d6b6ee8e319c4
authorDavid Christiansen <david@davidchristiansen.dk>
dateFri 2 Sep 2016, 09:55 (10 years ago)
parent06d9db613ad7de
src/Idris/REPL.hs+1−1
@@ -1512,7 +1512,7 @@ pprintDef asCore n =
15121512 let ppTm t = annotate (AnnTerm (zip vars (repeat False)) t) .
15131513 pprintPTerm (ppOptionIst ist)
15141514 (zip vars (repeat False))
1515− [] [] .
1515+ [] (idris_infixes ist) .
15161516 delab ist $
15171517 t
15181518 in group $ ppTm lhs <+> text "=" <$> (group . align . hang 2 $ ppTm rhs)
test/delab001/expected+2−2
@@ -5,8 +5,8 @@ foo n = case n of
55bar : Nat -> String -> String
66bar x y = case x of
77 0 => y
8− S _ => (y ++ y)
8+ S _ => y ++ y
99append : List a -> List a -> List a
1010append xs ys = case xs of
1111 [] => ys
12− (x :: xs) => (x :: (append xs ys))
12+ x :: xs => x :: append xs ys