From 427fe9340c561b6f303d03eaca86d4e3807c7f6b Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 29 Mar 2016 16:02:03 -0500 Subject: [PATCH] Remove unused file. --- .../collects/racket/contract/private/env.rkt | 26 ------------------- 1 file changed, 26 deletions(-) delete mode 100644 racket/collects/racket/contract/private/env.rkt diff --git a/racket/collects/racket/contract/private/env.rkt b/racket/collects/racket/contract/private/env.rkt deleted file mode 100644 index df4ee4bc25..0000000000 --- a/racket/collects/racket/contract/private/env.rkt +++ /dev/null @@ -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)) - )