From ae24f3a10b84e53584a14706f856df149365a1e4 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 26 May 2016 16:51:02 -0700 Subject: [PATCH] bye --- .../demo/hdl/syntax-local-eval-experiment.rkt | 31 ------------------- 1 file changed, 31 deletions(-) delete mode 100644 beautiful-racket/br/demo/hdl/syntax-local-eval-experiment.rkt diff --git a/beautiful-racket/br/demo/hdl/syntax-local-eval-experiment.rkt b/beautiful-racket/br/demo/hdl/syntax-local-eval-experiment.rkt deleted file mode 100644 index f519539..0000000 --- a/beautiful-racket/br/demo/hdl/syntax-local-eval-experiment.rkt +++ /dev/null @@ -1,31 +0,0 @@ -#lang br -(require (for-syntax racket/syntax) rackunit) - -(module pred racket - (provide pred? val) - (define val 43) - (define (pred? x) (zero? (modulo x 7)))) - -(require 'pred) - - -(define-syntax (foo stx) - (syntax-case stx () - [(_) #'(if (pred? val) - 'yay - 'boo)])) - -(check-equal? (foo) 'boo) - - -(define-syntax (foo2 stx) - (syntax-case stx () - [(_) - (let () - (local-require (submod "." pred)) - (if (syntax-local-eval (syntax-shift-phase-level #'(pred? val) 1)) - #''yay - #''boo))])) - -(check-equal? (foo2) 'boo) -