@@ -205,10 +205,10 @@ <h2 id="verified-errors" class="section"><a class="anchor-link left" href="#veri
205205
206206</ span > < span class ="comment "> // assume that a `lexer` is available
207207</ span > < span class ="keyword "> val</ span > < span > </ span > < span class ="identifier "> float</ span > < span > = </ span > < span class ="identifier "> lexer</ span > < span > .</ span > < span class ="identifier "> nonlexeme</ span > < span > .</ span > < span class ="identifier "> floating</ span > < span > .</ span > < span class ="identifier "> decimal</ span > < span >
208- </ span > < span class ="comment "> // float: parsley.Parsley[BigDecimal] = parsley.Parsley@40e0e7aa
208+ </ span > < span class ="comment "> // float: parsley.Parsley[BigDecimal] = parsley.Parsley@74c99a17
209209</ span > < span class ="keyword "> val</ span > < span > </ span > < span class ="identifier "> _noFloat</ span > < span > =
210210 </ span > < span class ="identifier "> float</ span > < span > .</ span > < span class ="identifier "> verifiedExplain</ span > < span > (</ span > < span class ="string-literal "> "floating-point values may not be used as array indices"</ span > < span > )
211- </ span > < span class ="comment "> // _noFloat: parsley.Parsley[Nothing] = parsley.Parsley@23d4f570
211+ </ span > < span class ="comment "> // _noFloat: parsley.Parsley[Nothing] = parsley.Parsley@56c0ccba
212212</ span > < span >
213213</ span > < span class ="identifier "> _noFloat</ span > < span > .</ span > < span class ="identifier "> parse</ span > < span > (</ span > < span class ="string-literal "> "hello"</ span > < span > )
214214</ span > < span class ="comment "> // res0: parsley.Result[String, Nothing] = Failure((line 1, column 1):
@@ -223,11 +223,11 @@ <h2 id="verified-errors" class="section"><a class="anchor-link left" href="#veri
223223// ^^^^^)
224224</ span > < span >
225225</ span > < span class ="keyword "> val</ span > < span > </ span > < span class ="identifier "> int</ span > < span > = </ span > < span class ="identifier "> lexer</ span > < span > .</ span > < span class ="identifier "> nonlexeme</ span > < span > .</ span > < span class ="identifier "> unsigned</ span > < span > .</ span > < span class ="identifier "> decimal</ span > < span >
226- </ span > < span class ="comment "> // int: parsley.Parsley[BigInt] = parsley.Parsley@2e9024f9
226+ </ span > < span class ="comment "> // int: parsley.Parsley[BigInt] = parsley.Parsley@3cf7e796
227227</ span > < span class ="keyword "> val</ span > < span > </ span > < span class ="identifier "> _noPlus</ span > < span > = (</ span > < span class ="identifier "> char</ span > < span > (</ span > < span class ="char-literal "> '+'</ span > < span > ) ~> </ span > < span class ="identifier "> int</ span > < span > ).</ span > < span class ="identifier "> verifiedFail</ span > < span > { </ span > < span class ="identifier "> n</ span > < span > =>
228228 </ span > < span class ="type-name "> Seq</ span > < span > (</ span > < span class ="string-literal "> s"the number </ span > < span class ="substitution "> $n</ span > < span class ="string-literal "> may not be preceeded by </ span > < span class ="escape-sequence "> \"</ span > < span class ="string-literal "> +</ span > < span class ="escape-sequence "> \"</ span > < span class ="string-literal "> "</ span > < span > )
229229}
230- </ span > < span class ="comment "> // _noPlus: parsley.Parsley[Nothing] = parsley.Parsley@3b55ac71
230+ </ span > < span class ="comment "> // _noPlus: parsley.Parsley[Nothing] = parsley.Parsley@2b7feefa
231231</ span > < span class ="identifier "> _noPlus</ span > < span > .</ span > < span class ="identifier "> parse</ span > < span > (</ span > < span class ="string-literal "> "+10"</ span > < span > )
232232</ span > < span class ="comment "> // res2: parsley.Result[String, Nothing] = Failure((line 1, column 1):
233233// the number 10 may not be preceeded by "+"
@@ -246,7 +246,7 @@ <h2 id="verified-errors" class="section"><a class="anchor-link left" href="#veri
246246 </ span > < span class ="keyword "> override</ span > < span > </ span > < span class ="keyword "> def</ span > < span > </ span > < span class ="declaration-name "> adjustWidth</ span > < span > (</ span > < span class ="identifier "> x</ span > < span > : </ span > < span class ="type-name "> BigInt</ span > < span > , </ span > < span class ="identifier "> width</ span > < span > : </ span > < span class ="type-name "> Int</ span > < span > ) = </ span > < span class ="number-literal "> 1</ span > < span >
247247 }
248248}
249- </ span > < span class ="comment "> // _noPlus: parsley.Parsley[Nothing] = parsley.Parsley@77d1bbf1
249+ </ span > < span class ="comment "> // _noPlus: parsley.Parsley[Nothing] = parsley.Parsley@3e18fd36
250250</ span > < span class ="identifier "> _noPlus</ span > < span > .</ span > < span class ="identifier "> parse</ span > < span > (</ span > < span class ="string-literal "> "+10"</ span > < span > )
251251</ span > < span class ="comment "> // res3: parsley.Result[String, Nothing] = Failure((line 1, column 1):
252252// a number may not be preceeded by "+"
@@ -265,7 +265,7 @@ <h2 id="verified-errors" class="section"><a class="anchor-link left" href="#veri
265265 }
266266 }
267267}
268- </ span > < span class ="comment "> // _noFloat: parsley.Parsley[Nothing] = parsley.Parsley@4efd7ebb
268+ </ span > < span class ="comment "> // _noFloat: parsley.Parsley[Nothing] = parsley.Parsley@5b766258
269269</ span > < span >
270270</ span > < span class ="identifier "> _noFloat</ span > < span > .</ span > < span class ="identifier "> parse</ span > < span > (</ span > < span class ="string-literal "> "3.142"</ span > < span > )
271271</ span > < span class ="comment "> // res4: parsley.Result[String, Nothing] = Failure((line 1, column 1):
@@ -297,11 +297,11 @@ <h2 id="preventative-errors" class="section"><a class="anchor-link left" href="#
297297 < pre > < code class ="nohighlight "> < span class ="keyword "> import</ span > < span > </ span > < span class ="identifier "> parsley</ span > < span > .</ span > < span class ="identifier "> errors</ span > < span > .</ span > < span class ="identifier "> patterns</ span > < span > .</ span > < span class ="type-name "> PreventativeErrors</ span > < span >
298298
299299</ span > < span class ="keyword "> val</ span > < span > </ span > < span class ="identifier "> ident</ span > < span > = </ span > < span class ="identifier "> lexer</ span > < span > .</ span > < span class ="identifier "> nonlexeme</ span > < span > .</ span > < span class ="identifier "> names</ span > < span > .</ span > < span class ="identifier "> identifier</ span > < span >
300- </ span > < span class ="comment "> // ident: parsley.Parsley[String] = parsley.Parsley@4d908059
300+ </ span > < span class ="comment "> // ident: parsley.Parsley[String] = parsley.Parsley@600e44f0
301301</ span > < span class ="keyword "> val</ span > < span > </ span > < span class ="identifier "> _noDot</ span > < span > = (</ span > < span class ="identifier "> char</ span > < span > (</ span > < span class ="char-literal "> '.'</ span > < span > ) ~> </ span > < span class ="identifier "> ident</ span > < span > ).</ span > < span class ="identifier "> preventativeFail</ span > < span > { </ span > < span class ="identifier "> v</ span > < span > =>
302302 </ span > < span class ="type-name "> Seq</ span > < span > (</ span > < span class ="string-literal "> s"accessing field </ span > < span class ="substitution "> $v</ span > < span class ="string-literal "> is not permitted here"</ span > < span > )
303303}
304- </ span > < span class ="comment "> // _noDot: parsley.Parsley[Unit] = parsley.Parsley@153e4473
304+ </ span > < span class ="comment "> // _noDot: parsley.Parsley[Unit] = parsley.Parsley@218c0bd2
305305</ span > < span class ="identifier "> _noDot</ span > < span > .</ span > < span class ="identifier "> parse</ span > < span > (</ span > < span class ="string-literal "> "hi"</ span > < span > )
306306</ span > < span class ="comment "> // res5: parsley.Result[String, Unit] = Success(())
307307</ span > < span class ="identifier "> _noDot</ span > < span > .</ span > < span class ="identifier "> parse</ span > < span > (</ span > < span class ="string-literal "> ".foo"</ span > < span > )
0 commit comments