fix the type of end grammar in someTill'
commit2e340f421bf361360db8d48ed01c9d67b807c3ab
authorAlex Gryzlov <skyrodent@gmail.com>
dateFri 29 Jun 2018, 18:07 (8 years ago)
parentc5c8ede
libs/contrib/Text/Parser.idr+1−1
@@ -118,7 +118,7 @@ mutual
118118||| list of values from `p`, along with a proof that the resulting list is
119119||| non-empty.
120120someTill' : {c : Bool} ->
121− (end : Grammar tok c a) ->
121+ (end : Grammar tok c e) ->
122122 (p : Grammar tok True a) ->
123123 Grammar tok True (xs : List a ** NonEmpty xs)
124124someTill' end p