suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

syntax/parse: fix abstract failure pattern analysis

Browse Source
This commit is contained in:
Ryan Culpepper 2018-08-12 00:52:58 +02:00
parent bad4dd909d
commit 233c9b8f50
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
racket/collects/syntax/parse/private/rep-patterns.rkt
View File

@ -458,8 +458,8 @@ A RepConstraint is one of
(define AF-POST 2) ;; can fail with progress >= POST
(define AF-ANY 3) ;; can fail with progress either < or >= POST
;; AF-nz? : AbsFail -> {0, 1}
(define (AF-nz? af) (if (= af AF-NONE) 0 1))
;; AF-nz? : AbsFail -> Boolean
(define (AF-nz? af) (not (= af AF-NONE)))
;; AF<? : AbsFail AbsFail -> Boolean
;; True if every failure in af1 has strictly less progress than any failure in af2.