git.iko.soy/Idris-dev
on master help sign in
Update for renamed operators
48d6a6bDavid Raymond Christiansen
libs/prelude/Language/Reflection/Tactical.idr+1−1
compare with master
unifiedsplit
@@ -44,7 +44,7 @@ instance Functor Tactical where
44
44
45instance Applicative Tactical where
45instance Applicative Tactical where
46 pure x = prim__PureTactical x
46 pure x = prim__PureTactical x
47− f <$> x = prim__BindTactical f $ \g =>
47+ f <*> x = prim__BindTactical f $ \g =>
48 prim__BindTactical x $ \y =>
48 prim__BindTactical x $ \y =>
49 prim__PureTactical $ g y
49 prim__PureTactical $ g y
50
50
test/reg050/expected+2−2
@@ -12,9 +12,9 @@ When elaborating an application of function Prelude.Monad.>>=:
12 \{uv0} => argTy -> uv
12 \{uv0} => argTy -> uv
13./baddoublebang.idr:6:26: error: not
13./baddoublebang.idr:6:26: error: not
14 a terminator, expected: "$",
14 a terminator, expected: "$",
15− "$>", "&&", "*", "+", "++", "-",
15+ "&&", "*", "*>", "+", "++", "-",
16 "->", ".", "/", "/=", "::", ";",
16 "->", ".", "/", "/=", "::", ";",
17− "<", "<#>", "<$", "<*>", "<+>",
17+ "<", "<#>", "<*", "<*>", "<+>",
18 "<->", "<.>", "<<", "<=", "<|>",
18 "<->", "<.>", "<<", "<=", "<|>",
19 "=", "==", ">", ">=", ">>",
19 "=", "==", ">", ">=", ">>",
20 ">>=", "\\\\", "`", "in", "||",
20 ">>=", "\\\\", "`", "in", "||",