Merge pull request #29 from AlexKnauth/patch-2

use make-variable-like-transformer for fv
emina · Jul 29, 2016 · 550b9b6 · 550b9b6
2 parents 4c6a5bb + cb0006e
commit 550b9b6
Showing 1 changed file with 2 additions and 3 deletions.
diff --git 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