Remove unused file.
This commit is contained in:
parent
585ca37c5b
commit
427fe9340c
|
@ -1,26 +0,0 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "arrow.rkt"
|
||||
"guts.rkt")
|
||||
(provide
|
||||
build-env)
|
||||
|
||||
(define (make-env)
|
||||
(list))
|
||||
|
||||
(define (extend-env ctc exp env)
|
||||
(cons (list ctc exp)
|
||||
env))
|
||||
|
||||
(define (build-env f-l)
|
||||
(let ([value-contract (dynamic-require 'racket/contract 'value-contract)]
|
||||
; [->-rngs/c (dynamic-require 'racket/contract/private/arrow '->-rngs/c)]
|
||||
; [contract-stronger? (dynamic-require 'racket/contract 'contract-stronger?)]
|
||||
[env-item (dynamic-require 'racket/contract/private/generator-base 'env-item)]
|
||||
; [->-rngs/c (dynamic-require 'racket/contract/private/arrow '->-rngs/c)]
|
||||
)
|
||||
(map (λ (f)
|
||||
(env-item (value-contract f)
|
||||
f))
|
||||
f-l))
|
||||
)
|
Loading…
Reference in New Issue
Block a user