git.iko.soy/Idris-dev
on master help sign in
Update for renamed operators
commit48d6a6bcf92bbd28244dcbb3f189a4dff124e960 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateMon 2 Mar 2015, 10:57 (12 years ago) parent2d563b0
2 files changed+3−3
compare with master
unifiedsplit
libs/prelude/Language/Reflection/Tactical.idr+1−1 test/reg050/expected+2−2
libs/prelude/Language/Reflection/Tactical.idr+1−1
@@ -44,7 +44,7 @@ instance Functor Tactical where
4444
4545instance Applicative Tactical where
4646 pure x = prim__PureTactical x
47− f <$> x = prim__BindTactical f $ \g =>
47+ f <*> x = prim__BindTactical f $ \g =>
4848 prim__BindTactical x $ \y =>
4949 prim__PureTactical $ g y
5050
test/reg050/expected+2−2
@@ -12,9 +12,9 @@ When elaborating an application of function Prelude.Monad.>>=:
1212 \{uv0} => argTy -> uv
1313./baddoublebang.idr:6:26: error: not
1414 a terminator, expected: "$",
15− "$>", "&&", "*", "+", "++", "-",
15+ "&&", "*", "*>", "+", "++", "-",
1616 "->", ".", "/", "/=", "::", ";",
17− "<", "<#>", "<$", "<*>", "<+>",
17+ "<", "<#>", "<*", "<*>", "<+>",
1818 "<->", "<.>", "<<", "<=", "<|>",
1919 "=", "==", ">", ">=", ">>",
2020 ">>=", "\\\\", "`", "in", "||",