Merge pull request #4499 from clayrat/patch-11
fix the type of end grammar in someTill'
commit02e395e43ba7556f3cf877e32a432c3297f584b4
authorNiklas Larsson <metaniklas@gmail.com>
dateSun 1 Jul 2018, 11:19 (8 years ago)
parentf660d362e340f4
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