diff --git a/collects/parser-tools/private-yacc/input-file-parser.rkt b/collects/parser-tools/private-yacc/input-file-parser.rkt index 521bddc..ea5446a 100644 --- a/collects/parser-tools/private-yacc/input-file-parser.rkt +++ b/collects/parser-tools/private-yacc/input-file-parser.rkt @@ -46,11 +46,11 @@ (datum->syntax-object b (string->symbol (format "$~a-start-pos" i)) b stx-for-original-property)] [end-pos-id (datum->syntax-object b (string->symbol (format "$~a-end-pos" i)) b stx-for-original-property)]) - (set! biggest-pos (cons start-pos-id end-pos-id)) - `(,(datum->syntax-object b name b stx-for-original-property) - ,start-pos-id - ,end-pos-id - ,@(get-args (add1 i) (cdr rhs))))) + (set! biggest-pos (cons start-pos-id end-pos-id)) + `(,(datum->syntax-object b name b stx-for-original-property) + ,start-pos-id + ,end-pos-id + ,@(get-args (add1 i) (cdr rhs))))) (else `(,(datum->syntax-object b name b stx-for-original-property) ,@(get-args (add1 i) (cdr rhs)))))))))]) diff --git a/collects/parser-tools/private-yacc/lr0.rkt b/collects/parser-tools/private-yacc/lr0.rkt index eb0b2da..f237735 100644 --- a/collects/parser-tools/private-yacc/lr0.rkt +++ b/collects/parser-tools/private-yacc/lr0.rkt @@ -22,10 +22,10 @@ (define (trans-key* . - (any/c any/c any/c any/c)))) + (listof identifier?) (union syntax? false/c) syntax?) + . ->* . + (any/c any/c any/c any/c)))) ;; fix-check-syntax : (listof identifier?) (listof identifier?) (listof identifier?) ;; (union syntax? false/c) syntax?) -> syntax?