git.iko.soy/Idris-dev
on master help sign in
Changed desugaring behavior to use <*> instead of <$>
4d16a95Tenor Biel
src/Idris/AbsSyntaxTree.hs+1−1
compare with master
unifiedsplit
@@ -1157,7 +1157,7 @@ updateSyntaxRules rules (SyntaxRules sr) = SyntaxRules newRules
1157
1157
1158initDSL = DSL (PRef f (sUN ">>="))
1158initDSL = DSL (PRef f (sUN ">>="))
1159 (PRef f (sUN "return"))
1159 (PRef f (sUN "return"))
1160− (PRef f (sUN "<$>"))
1160+ (PRef f (sUN "<*>"))
1161 (PRef f (sUN "pure"))
1161 (PRef f (sUN "pure"))
1162 Nothing
1162 Nothing
1163 Nothing
1163 Nothing