Remove ?: syntax
Because it slows down parsing due to the leading expression, and,
honestly, why is it there anyway? :)
commit812f29f4a8366474dcd28202446a19717d5e5afb
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 4 Feb 2014, 13:50 (13 years ago)
parentd8dce87
libs/prelude/Prelude/Bool.idr−1
@@ -13,7 +13,6 @@ data so : Bool -> Type where oh : so True
1313
1414-- Syntaxtic sugar for boolean elimination.
1515syntax if [test] then [t] else [e] = boolElim test t e
16−syntax [test] "?" [t] ":" [e] = if test then t else e
1716
1817-- Boolean Operator Precedence
1918infixl 4 &&, ||