Merge branch 'v3' into thesis

michaelballantyne · michaelballantyne · commit 679a4da5e4f6 · 2025-10-13T22:32:26.000-04:00
diff --git a/.github/workflows/tests.yaml b/.github/workflows/tests.yaml
@@ -13,4 +13,4 @@ jobs:
       - run: raco pkg install -j 2 --auto
       - working-directory: ./tests/dsls/js
         run: npm install escodegen
-      - run: raco test -j 2 -c syntax-spec-dev
+      - run: raco test -j 2 -c syntax-spec-v3
diff --git a/demos/mk-workshop-2024/03-mk-core.rkt b/demos/mk-workshop-2024/03-mk-core.rkt
@@ -2,7 +2,7 @@
 
 (provide (all-defined-out))
 
-(require syntax-spec-dev
+(require syntax-spec-v3
          (for-syntax syntax/parse))
 
 ;;
diff --git a/demos/mk-workshop-2024/04-mk-with-binding.rkt b/demos/mk-workshop-2024/04-mk-with-binding.rkt
@@ -2,7 +2,7 @@
 
 (provide (all-defined-out))
 
-(require syntax-spec-dev
+(require syntax-spec-v3
          (for-syntax syntax/parse))
 
 ;;
@@ -55,5 +55,5 @@
 
 
 (begin-for-syntax
-  (require (only-in syntax-spec-dev/private/ee-lib/main show-var-numbers))
+  (require (only-in syntax-spec-v3/private/ee-lib/main show-var-numbers))
   (show-var-numbers #t))
diff --git a/demos/mk-workshop-2024/06-mk-with-sugar.rkt b/demos/mk-workshop-2024/06-mk-with-sugar.rkt
@@ -2,7 +2,7 @@
 
 (provide (all-defined-out))
 
-(require syntax-spec-dev
+(require syntax-spec-v3
          (for-syntax syntax/parse))
 
 ;;
diff --git a/demos/mk-workshop-2024/08-mk-compiled.rkt b/demos/mk-workshop-2024/08-mk-compiled.rkt
@@ -2,7 +2,7 @@
 
 (provide (all-defined-out))
 
-(require syntax-spec-dev
+(require syntax-spec-v3
          "compile.rkt" ;; New
          (for-syntax syntax/parse))
 
diff --git a/demos/mk-workshop-2024/10-mk-with-check.rkt b/demos/mk-workshop-2024/10-mk-with-check.rkt
@@ -2,7 +2,7 @@
 
 (provide (all-defined-out))
 
-(require syntax-spec-dev
+(require syntax-spec-v3
          "compile-with-check.rkt"  ;; New
          (for-syntax syntax/parse))
 
diff --git a/demos/mk-workshop-2024/compile-with-check.rkt b/demos/mk-workshop-2024/compile-with-check.rkt
@@ -5,7 +5,7 @@
 
 (require
   "runtime.rkt"
-  syntax-spec-dev
+  syntax-spec-v3
   (for-syntax syntax/parse
               (only-in ee-lib compiled-from)))
 
diff --git a/demos/wg211/complete.rkt b/demos/wg211/complete.rkt
@@ -2,7 +2,7 @@
 
 (provide (all-defined-out))
 
-(require syntax-spec-dev
+(require syntax-spec-v3
          "compile-with-check.rkt"
          (for-syntax syntax/parse))
 
diff --git a/demos/wg211/mk-core.rkt b/demos/wg211/mk-core.rkt
@@ -2,7 +2,7 @@
 
 (provide (all-defined-out))
 
-(require syntax-spec-dev
+(require syntax-spec-v3
          (for-syntax syntax/parse))
 
 ;;
diff --git a/demos/wg211/mk-with-binding.rkt b/demos/wg211/mk-with-binding.rkt
@@ -2,7 +2,7 @@
 
 (provide (all-defined-out))
 
-(require syntax-spec-dev
+(require syntax-spec-v3
          (for-syntax syntax/parse))
 
 ;;
diff --git a/demos/wg211/mk-with-check.rkt b/demos/wg211/mk-with-check.rkt
@@ -2,7 +2,7 @@
 
 (provide (all-defined-out))
 
-(require syntax-spec-dev
+(require syntax-spec-v3
          "compile-with-check.rkt"  ;; New
          (for-syntax syntax/parse))
 
diff --git a/demos/wg211/mk-with-sugar.rkt b/demos/wg211/mk-with-sugar.rkt
@@ -2,7 +2,7 @@
 
 (provide (all-defined-out))
 
-(require syntax-spec-dev
+(require syntax-spec-v3
          (for-syntax syntax/parse))
 
 ;;
diff --git a/demos/wg211/mk.rkt b/demos/wg211/mk.rkt
@@ -2,7 +2,7 @@
 
 (provide (all-defined-out))
 
-(require syntax-spec-dev
+(require syntax-spec-v3
          "compile.rkt" ;; New
          (for-syntax syntax/parse))
 
diff --git a/info.rkt b/info.rkt
@@ -1,14 +1,14 @@
 #lang info
 
-(define name "syntax-spec-dev")
-(define collection "syntax-spec-dev")
+(define name "syntax-spec-v3")
+(define collection "syntax-spec-v3")
 (define version "0.1")
 (define license '(Apache-2.0 OR MIT))
 (define deps '("base"
                "version-case"
                "syntax-classes-lib"
                "rackunit-lib"))
 (define build-deps '("racket-doc" "scribble-lib" "drracket" "typed-racket-lib"))
-(define scribblings '(("scribblings/main.scrbl" (multi-page) (experimental) "syntax-spec-dev")))
+(define scribblings '(("scribblings/main.scrbl" (multi-page) (experimental) "syntax-spec-v3")))
 (define compile-omit-paths '("design" "demos"))
 (define test-omit-paths '("scribblings" "design" "demos"))
diff --git a/scribblings/reference/compiling.scrbl b/scribblings/reference/compiling.scrbl
@@ -273,7 +273,7 @@ Can only be used with simple non-terminals.
 
 @examples[
 (module arithmetic racket
-  (require syntax-spec-dev)
+  (require syntax-spec-v3)
   (syntax-spec
     (extension-class arithmetic-macro)
     (nonterminal arithmetic
diff --git a/scribblings/reference/main.scrbl b/scribblings/reference/main.scrbl
@@ -6,7 +6,7 @@
 @tex-label{doc:reference}
 
 @require[(for-label "../../main.rkt")]
-@defmodule[syntax-spec-dev]
+@defmodule[syntax-spec-v3]
 
 @local-table-of-contents[]
 
diff --git a/scribblings/reference/versions.scrbl b/scribblings/reference/versions.scrbl
@@ -1,6 +1,6 @@
 #lang scribble/manual
 
-@(require "../common.rkt" (for-label racket syntax-spec-dev racket/stxparam))
+@(require "../common.rkt" (for-label racket syntax-spec-v3 racket/stxparam))
 
 @title{Release Notes}
 
diff --git a/scribblings/tutorial/basic-tutorial.scrbl b/scribblings/tutorial/basic-tutorial.scrbl
@@ -61,7 +61,7 @@ Our initial specification with @racket[syntax-spec] supplies the grammar:
 @codeblock|{
   #lang racket
 
-  (require syntax-spec-dev (for-syntax syntax/parse racket/list))
+  (require syntax-spec-v3 (for-syntax syntax/parse racket/list))
 
   (syntax-spec
     (host-interface/expression
@@ -454,7 +454,7 @@ Now we have all the pieces to run programs using state machines:
 @examples[
 #:label #f
 (require racket/class
-         syntax-spec-dev/tests/dsls/state-machine-for-tutorial)
+         syntax-spec-v3/tests/dsls/state-machine-for-tutorial)
 (define vending-machine
   (machine
    #:initial idle
@@ -552,7 +552,7 @@ This static check runs before we generate the compiled code. Compilers may have
 @examples[
 #:label #f
 (require racket/class
-         syntax-spec-dev/tests/dsls/state-machine-for-tutorial)
+         syntax-spec-v3/tests/dsls/state-machine-for-tutorial)
 (eval:error
  (define gas-tank
    (machine
@@ -592,7 +592,7 @@ Now let's create a macro in our language!
 
 @examples[#:label #f
 (require racket/class
-         syntax-spec-dev/tests/dsls/state-machine-for-tutorial)
+         syntax-spec-v3/tests/dsls/state-machine-for-tutorial)
 (define-state-syntax simple-state
     (syntax-rules ()
       [(_ name [evt next] ...)
diff --git a/scribblings/tutorial/stlc-tutorial.scrbl b/scribblings/tutorial/stlc-tutorial.scrbl
@@ -234,7 +234,7 @@ Right now, these don't need to be macros. But when we add definitions, We will d
 Now we can run some programs:
 
 @examples[#:label #f
-(require syntax-spec-dev/tests/dsls/simply-typed-lambda-calculus)
+(require syntax-spec-v3/tests/dsls/simply-typed-lambda-calculus)
 (stlc/infer 1)
 (stlc/expr 1)
 (stlc/infer (lambda ([x : Number]) x))
@@ -343,7 +343,7 @@ This implementation is far from efficient. Instead of generating the syntax for
 Let's run some example programs now:
 
 @examples[#:label #f
-(require syntax-spec-dev/tests/dsls/simply-typed-lambda-calculus)
+(require syntax-spec-v3/tests/dsls/simply-typed-lambda-calculus)
 (stlc/expr
   (let ([add (rkt + : (-> Number Number Number))])
     (add 1 2)))
@@ -534,7 +534,7 @@ We also added support for multi-body @racket[let], @racket[lambda], and @racket[
 Let's run it!
 
 @examples[#:label #f
-(require syntax-spec-dev/tests/dsls/simply-typed-lambda-calculus)
+(require syntax-spec-v3/tests/dsls/simply-typed-lambda-calculus)
 (stlc
   (begin
    (define two : Number
diff --git a/tests/dsls/matthews-findler/lump-inferred.rkt b/tests/dsls/matthews-findler/lump-inferred.rkt
@@ -4,12 +4,12 @@
          (for-space ml (all-defined-out)))
 
 (require
-  "../../../testing.rkt"
-
+  syntax-spec-v3
+  
   (for-syntax
     racket/base 
     syntax/parse
-    (only-in "../../../private/ee-lib/main.rkt" lookup in-space)))
+    (only-in syntax-spec-v3/private/ee-lib/main lookup in-space)))
 
 (syntax-spec
   (binding-class ml-var
diff --git a/tests/dsls/matthews-findler/lump.rkt b/tests/dsls/matthews-findler/lump.rkt
@@ -1,6 +1,6 @@
 #lang racket/base
 
-(require "../../../testing.rkt" (for-syntax racket/base syntax/parse))
+(require syntax-spec-v3 (for-syntax racket/base syntax/parse))
 
 (syntax-spec
   (binding-class ml-var #:binding-space ml)
diff --git a/tests/dsls/matthews-findler/ml.rkt b/tests/dsls/matthews-findler/ml.rkt
@@ -1,6 +1,6 @@
 #lang racket/base
 
-(require "../../../testing.rkt" (for-syntax racket/base syntax/parse))
+(require syntax-spec-v3 (for-syntax racket/base syntax/parse))
 
 (syntax-spec
   (binding-class ml-var #:binding-space ml)
