From 41b40fea2bf4a72a4cf523b18846d9d9875cf2a7 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Tue, 22 Sep 2015 15:32:54 -0400 Subject: [PATCH] Commented out things that cause package to fail Lots of tests and examples cause the package to fail to build. These have been commented out until they can be fixed. --- examples/proofs-for-free.rkt | 6 +++++- stdlib/tactics/sartactics.rkt | 2 +- stdlib/tactics/standard.rkt | 2 +- 3 files changed, 7 insertions(+), 3 deletions(-) diff --git a/examples/proofs-for-free.rkt b/examples/proofs-for-free.rkt index 5d0eacc..d788268 100644 --- a/examples/proofs-for-free.rkt +++ b/examples/proofs-for-free.rkt @@ -1,3 +1,6 @@ +#lang racket/base +(error "Known bug: proofs-for-free.rkt way out of date") +#| TODO NB XXX This file is woefully out of date #lang s-exp "../cur.rkt" (require "../stdlib/sugar.rkt" @@ -80,7 +83,7 @@ (define (CPSf-relation (f1 : CPSf) (f2 : CPSf)) ;; TODO: Fix run so I can simply use (run CPSf) to perform ;; substitution - (translate (run CPSf)) + #;(translate (run CPSf)) (translate (forall* (ans : Type) (k : (-> X ans)) ans))) #;(module+ test (require rackunit) @@ -108,3 +111,4 @@ )) #;(paramCPSf f X X rel k k) +|# diff --git a/stdlib/tactics/sartactics.rkt b/stdlib/tactics/sartactics.rkt index df171aa..80182c8 100644 --- a/stdlib/tactics/sartactics.rkt +++ b/stdlib/tactics/sartactics.rkt @@ -130,6 +130,6 @@ rackunit "../bool.rkt") (define-theorem meow (forall (x : bool) bool)) - (proof + #;(proof (interactive)) ) diff --git a/stdlib/tactics/standard.rkt b/stdlib/tactics/standard.rkt index e531263..5e46722 100644 --- a/stdlib/tactics/standard.rkt +++ b/stdlib/tactics/standard.rkt @@ -121,7 +121,7 @@ (proof (obvious)) ;; TODO: Fix this unit test so it doesn't require interaction (define-theorem meow4 (forall (x : bool) bool)) - (proof + #;(proof (interactive)) ;; TODO: Add check-cur-equal? for unit testing? #;(check-pred (curry cur-equal? '(lambda (x : bool) x)))