From 1f28ae53cdc46925c540325f1ba50f3c7a68bd83 Mon Sep 17 00:00:00 2001
From: Andrew Kent <andmkent@iu.edu>
Date: Tue, 28 Mar 2017 13:20:41 -0400
Subject: [PATCH] fix some lexp function contracts (#520)

---
 typed-racket-lib/typed-racket/rep/object-rep.rkt | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/typed-racket-lib/typed-racket/rep/object-rep.rkt b/typed-racket-lib/typed-racket/rep/object-rep.rkt
index 9708a62d..243f32bf 100644
--- a/typed-racket-lib/typed-racket/rep/object-rep.rkt
+++ b/typed-racket-lib/typed-racket/rep/object-rep.rkt
@@ -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?)