** add/expose parameter for logging 'hits'

trivial/parameters.rkt

@@ -0,0 +1,7 @@
+#lang typed/racket/base
+
+(provide
+  (all-from-out trivial/private/parameters))
+
+(require
+  trivial/private/parameters)

trivial/private/common.rkt

@@ -27,6 +27,7 @@
 )
 
 (require
+  trivial/private/parameters
   racket/syntax
   syntax/parse
   syntax/id-table
@@ -121,21 +122,31 @@
     f-let))
 
 (define ((make-alias id-stx parser) stx)
-  (or (parser stx)
+  (cond
-      (syntax-parse stx
+   [(parser stx)
-       [_:id
+    => (lambda (r)
-        id-stx]
+    (when (*TRIVIAL-LOG*) (printf "[LOG] alias ~a\n" (syntax->datum id-stx)))
-       [(_ e* ...)
+    r)]
-        #:with app-stx (format-id stx "#%app")
+   [else
-        #`(app-stx #,id-stx e* ...)])))
+    (syntax-parse stx
+     [_:id
+      id-stx]
+     [(_ e* ...)
+      #:with app-stx (format-id stx "#%app")
+      #`(app-stx #,id-stx e* ...)])]))
 
 (define ((make-keyword-alias id-sym parser) stx)
-  (or (parser stx)
+  (cond
+   [(parser stx)
+    => (lambda (r)
+      (when (*TRIVIAL-LOG*) (printf "[LOG] keyword ~a\n" id-sym))
+      r)]
+   [else
     (syntax-parse stx
-     [(_ e* ...)
+      [(_ e* ...)
-      #:with id-stx (case id-sym
+       #:with id-stx (case id-sym
-                     [(define) #'tr:define]
+                      [(define) #'tr:define]
-                     [(let)    #'tr:let]
+                      [(let)    #'tr:let]
-                     [(set!)   #'tr:set!]
+                      [(set!)   #'tr:set!]
-                     [else     (error 'trivial "Unknown keyword '~a'" id-sym)])
+                      [else     (error 'trivial "Unknown keyword '~a'" id-sym)])
-      (syntax/loc stx (id-stx e* ...))])))
+       (syntax/loc stx (id-stx e* ...))])]))

trivial/private/parameters.rkt

@@ -0,0 +1,11 @@
+#lang typed/racket/base
+
+(provide
+  *TRIVIAL-LOG*
+)
+
+;; =============================================================================
+
+(: *TRIVIAL-LOG* (Parameterof Boolean))
+(define *TRIVIAL-LOG* (make-parameter #f))
+