Changed desugaring behavior to use <*> instead of <$>
commit4d16a95d42b6fc8e17854fe421d41eaae7b867d6
authorTenor Biel <tenorbiel@gmail.com>
dateFri 13 Feb 2015, 07:28 (12 years ago)
parent44bdf1d
src/Idris/AbsSyntaxTree.hs+1−1
@@ -1157,7 +1157,7 @@ updateSyntaxRules rules (SyntaxRules sr) = SyntaxRules newRules
11571157
11581158initDSL = DSL (PRef f (sUN ">>="))
11591159 (PRef f (sUN "return"))
1160− (PRef f (sUN "<$>"))
1160+ (PRef f (sUN "<*>"))
11611161 (PRef f (sUN "pure"))
11621162 Nothing
11631163 Nothing