From 7fb5e36db1d2bd9e459a83513a8720a0f75e621d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 14 Apr 2011 15:37:58 -0600 Subject: [PATCH] try to fix problems from recent contract changes --- collects/scheme/exists/lang.rkt | 2 +- collects/unstable/contract.rkt | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/scheme/exists/lang.rkt b/collects/scheme/exists/lang.rkt index 443205d8a9..4c0b5622da 100644 --- a/collects/scheme/exists/lang.rkt +++ b/collects/scheme/exists/lang.rkt @@ -229,7 +229,7 @@ udp-connected? udp? unit? - unknown? + ; ??? unknown? variable-reference? vector? void? diff --git a/collects/unstable/contract.rkt b/collects/unstable/contract.rkt index 9a85e6b318..b8ef09b7a6 100644 --- a/collects/unstable/contract.rkt +++ b/collects/unstable/contract.rkt @@ -1,6 +1,8 @@ #lang racket/base (require racket/contract racket/dict racket/match) +(define (proj-get c) contract-proc) + (define path-element? (or/c path-string? (symbols 'up 'same))) ;; Eli: We already have a notion of "path element" which is different