move from mzlib/contract to racket/contract

tokens v6.8
Robby Findler 9 years ago
parent 8d101fecf6
commit be0b8854cd

@ -6,7 +6,7 @@
(require mzlib/class (require mzlib/class
mzlib/list mzlib/list
"yacc-helper.rkt" "yacc-helper.rkt"
mzlib/contract) racket/contract)
;; Each production has a unique index 0 <= index <= number of productions ;; Each production has a unique index 0 <= index <= number of productions
(define-struct prod (lhs rhs index prec action) (make-inspector)) (define-struct prod (lhs rhs index prec action) (make-inspector))
@ -26,12 +26,12 @@
(define-struct prec (num assoc) (make-inspector)) (define-struct prec (num assoc) (make-inspector))
(provide/contract (provide/contract
(make-item (prod? (union false/c natural-number/c) . -> . item?)) (make-item (prod? (or/c #f natural-number/c) . -> . item?))
(make-term (symbol? (union false/c natural-number/c) (union prec? false/c) . -> . term?)) (make-term (symbol? (or/c #f natural-number/c) (or/c prec? #f) . -> . term?))
(make-non-term (symbol? (union false/c natural-number/c) . -> . non-term?)) (make-non-term (symbol? (or/c #f natural-number/c) . -> . non-term?))
(make-prec (natural-number/c (symbols 'left 'right 'nonassoc) . -> . prec?)) (make-prec (natural-number/c (or/c 'left 'right 'nonassoc) . -> . prec?))
(make-prod (non-term? (vectorof (union non-term? term?)) (make-prod (non-term? (vectorof (or/c non-term? term?))
(union false/c natural-number/c) (union false/c prec?) syntax? . -> . prod?))) (or/c #f natural-number/c) (or/c #f prec?) syntax? . -> . prod?)))
(provide (provide

@ -7,13 +7,13 @@
"../private-lex/token-syntax.rkt" "../private-lex/token-syntax.rkt"
"grammar.rkt" "grammar.rkt"
mzlib/class mzlib/class
mzlib/contract) racket/contract)
(require-for-template mzscheme) (require-for-template mzscheme)
(define (is-a-grammar%? x) (is-a? x grammar%))
(provide/contract (provide/contract
(parse-input ((listof identifier?) (listof identifier?) (listof identifier?) (parse-input ((listof identifier?) (listof identifier?) (listof identifier?)
(union false/c syntax?) syntax? any/c . -> . (is-a?/c grammar%))) (or/c #f syntax?) syntax? any/c . -> . is-a-grammar%?))
(get-term-list ((listof identifier?) . -> . (listof identifier?)))) (get-term-list ((listof identifier?) . -> . (listof identifier?))))
(define stx-for-original-property (read-syntax #f (open-input-string "original"))) (define stx-for-original-property (read-syntax #f (open-input-string "original")))

@ -4,14 +4,17 @@
"grammar.rkt" "grammar.rkt"
"table.rkt" "table.rkt"
mzlib/class mzlib/class
mzlib/contract) racket/contract)
(require-for-template mzscheme) (require-for-template mzscheme)
(provide/contract (provide/contract
(build-parser ((string? any/c any/c (listof identifier?) (listof identifier?) (build-parser (-> string? any/c any/c
(listof identifier?) (union syntax? false/c) syntax?) (listof identifier?)
. ->* . (listof identifier?)
(any/c any/c any/c any/c)))) (listof identifier?)
(or/c syntax? #f)
syntax?
(values any/c any/c any/c any/c))))
;; fix-check-syntax : (listof identifier?) (listof identifier?) (listof identifier?) ;; fix-check-syntax : (listof identifier?) (listof identifier?) (listof identifier?)
;; (union syntax? false/c) syntax?) -> syntax? ;; (union syntax? false/c) syntax?) -> syntax?

@ -6,13 +6,14 @@
"lr0.rkt" "lr0.rkt"
"lalr.rkt" "lalr.rkt"
"parser-actions.rkt" "parser-actions.rkt"
mzlib/contract racket/contract
mzlib/list mzlib/list
mzlib/class) mzlib/class)
(define (is-a-grammar%? x) (is-a? x grammar%))
(provide/contract (provide/contract
(build-table ((is-a?/c grammar%) string? any/c . -> . (build-table (-> is-a-grammar%? string? any/c
(vectorof (listof (cons/c (union term? non-term?) action?)))))) (vectorof (listof (cons/c (or/c term? non-term?) action?))))))
;; A parse-table is (vectorof (listof (cons/c gram-sym? action))) ;; A parse-table is (vectorof (listof (cons/c gram-sym? action)))
;; A grouped-parse-table is (vectorof (listof (cons/c gram-sym? (listof action)))) ;; A grouped-parse-table is (vectorof (listof (cons/c gram-sym? (listof action))))

Loading…
Cancel
Save