syntax/parse: nullability analysis improvement

An S-pattern used as an H-pattern is not nullable.
2016-07-31 22:59:45 -04:00 · 2016-07-31 22:59:45 -04:00 · 9bf30e0977
commit 9bf30e0977
parent 2e96b60120
1 changed files with 1 additions and 0 deletions
--- a/racket/collects/syntax/parse/private/rep-patterns.rkt
+++ b/racket/collects/syntax/parse/private/rep-patterns.rkt
@ -490,6 +490,7 @@ A RepConstraint is one of
    [(hpat:commit hp) (hpat-nullable hp)]
    [(hpat:ord hp _ _) (hpat-nullable hp)]
    [(hpat:post hp) (hpat-nullable hp)]
+    [(? pattern? hp) 'no]
    [_ 'unknown]))

 ;; ehpat-nullable : EllipsisHeadPattern -> AbsNullable