From cb0006e6243bc33b726d5fe899749f2704502b4e Mon Sep 17 00:00:00 2001 From: Alex Knauth Date: Thu, 28 Jul 2016 20:09:37 -0400 Subject: [PATCH] use make-variable-like-transformer for fv --- rosette/base/core/function.rkt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/rosette/base/core/function.rkt b/rosette/base/core/function.rkt index 3ed5b780..c6565b87 100644 --- a/rosette/base/core/function.rkt +++ b/rosette/base/core/function.rkt @@ -1,6 +1,7 @@ #lang racket (require racket/generic + (for-syntax syntax/transformer) "term.rkt" "bool.rkt" "safe.rkt" "union.rkt" "equality.rkt" "merge.rkt" (only-in "procedure.rkt" @procedure?)) @@ -105,9 +106,7 @@ (lambda (stx) (syntax-case stx () [(_ pat ...) #'(fv pat ... _)])) - (syntax-id-rules () - [(_ ios o type) (make-fv ios o type)] - [_ make-fv])) + (make-variable-like-transformer #'make-fv)) (define (@fv? v) (match v