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

try to fix problems from recent contract changes

Browse Source
This commit is contained in:
Matthew Flatt 2011-04-14 15:37:58 -06:00
parent cae005a6a2
commit 7fb5e36db1
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/scheme/exists/lang.rkt
View File

@ -229,7 +229,7 @@
udp-connected? udp-connected?
udp? udp?
unit? unit?
unknown? ; ??? unknown?
variable-reference? variable-reference?
vector? vector?
void? void?

2
collects/unstable/contract.rkt
View File

@ -1,6 +1,8 @@
#lang racket/base #lang racket/base
(require racket/contract racket/dict racket/match) (require racket/contract racket/dict racket/match)
(define (proj-get c) contract-proc)
(define path-element? (define path-element?
(or/c path-string? (symbols 'up 'same))) (or/c path-string? (symbols 'up 'same)))
;; Eli: We already have a notion of "path element" which is different ;; Eli: We already have a notion of "path element" which is different