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

fix some lexp function contracts (#520)

Browse Source
This commit is contained in:
Andrew Kent 2017-03-28 13:20:41 -04:00 committed by GitHub
parent 81b134cbb9
commit 1f28ae53cd
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
typed-racket-lib/typed-racket/rep/object-rep.rkt
View File

@ -193,6 +193,7 @@
(->* () () #:rest (listof (or/c exact-integer?
name-ref/c
Path?
LExp?
(list/c exact-integer? (or/c name-ref/c Path?))))
(or/c LExp? Path?))
(define-values (const terms)
@ -223,7 +224,7 @@
;; LExp-add1
(define/cond-contract (-lexp-add1 l)
(-> LExp? LExp?)
(-> OptObject? OptObject?)
(match l
[(LExp: c terms)
(make-LExp* (add1 c) terms)]
@ -233,7 +234,7 @@
;; LExp-add1
(define/cond-contract (-lexp-sub1 l)
(-> LExp? LExp?)
(-> OptObject? OptObject?)
(match l
[(LExp: c terms)
(make-LExp* (sub1 c) terms)]
@ -244,12 +245,13 @@
;; returns #f if this LExp contains non-zero variables
;; else returns the constant value of the LExp
(define/cond-contract (constant-LExp? l)
(-> LExp? (or/c #f exact-integer?))
(-> OptObject? (or/c #f exact-integer?))
(match l
[(LExp: c terms)
(if (hash-empty? terms)
c
#f)]))
#f)]
[_ #f]))
(define/cond-contract (in-LExp? obj l)
(-> Path? LExp? boolean?)