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

removed unneeded file?

Browse Source 
svn: r746
This commit is contained in:
John Clements 2005-09-01 23:37:59 +00:00
parent 6c7dd4bbd6
commit b37e67573f
1 changed files with 0 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
collects/stepper/private/display-exp-interface.ss
View File

@ -1,34 +0,0 @@
(module display-exp-interface mzscheme
(require (lib "mred.ss" "mred")
(lib "class.ss")
(lib "contract.ss")
"my-macros.ss"
"highlight-placeholder.ss")
(provide exp-without-holes?
exp-with-holes?)
; an exp-with-holes is either:
; - a pair of exp-with-holes's,
; - null,
; - a symbol, or
; - the highlight-placeholder
(define exp-without-holes-base-case? (union symbol? number? string? null? (lambda (v) (is-a? v snip%))))
(define exp-without-holes?
(union exp-without-holes-base-case?
(and/c pair? (cons/c (lx ((flat-contract-predicate exp-without-holes?) _))
(lx ((flat-contract-predicate exp-without-holes?) _))))))
(define exp-with-holes-base-case?
(union exp-without-holes-base-case?
(lx (eq? _ highlight-placeholder))))
(define exp-with-holes?
(union exp-with-holes-base-case?
(and/c pair? (cons/c (lx ((flat-contract-predicate exp-with-holes?) _))
(lx ((flat-contract-predicate exp-with-holes?) _))))))
)