#lang syndicate -> #lang syndicate/core; first half of fix for #17.

racket/syndicate/actor-lang.rkt

@@ -1,11 +1,11 @@
 #lang racket/base
 
-(require (except-in "lang.rkt"
+(require (except-in "core-lang.rkt"
                     dataspace
                     assert
                     ))
 (require "actor.rkt")
 (require "hierarchy.rkt")
-(provide (except-out (all-from-out "lang.rkt") actor)
+(provide (except-out (all-from-out "core-lang.rkt") actor)
          (all-from-out "actor.rkt")
          (all-from-out "hierarchy.rkt"))

racket/syndicate/core.rkt

@@ -65,6 +65,9 @@
          boot->process+transition
          actor->process+transition/assertions)
 
+(module reader syntax/module-reader
+  syndicate/core-lang)
+
 (require racket/match)
 (require (only-in racket/list flatten))
 (require "trie.rkt")

racket/syndicate/drivers/tcp.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require racket/exn)
 (require (prefix-in tcp: racket/tcp))

racket/syndicate/drivers/timer.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; Timer driver.
 
 ;; Uses mutable state internally, but because the scope of the

racket/syndicate/drivers/udp.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require (prefix-in udp: racket/udp))
 (require syndicate/demand-matcher)

racket/syndicate/drivers/websocket.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (provide (struct-out websocket-remote-client)
 	 (struct-out websocket-local-server)

racket/syndicate/examples/bank-account.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; Hello-worldish "bank account" example.
 
 (struct account (balance) #:prefab)

racket/syndicate/examples/big-bang.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require "../big-bang.rkt")
 (require racket/math)

racket/syndicate/examples/box-and-client.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; Simple mutable box and count-to-infinity box client.
 
 (struct set-box (new-value) #:transparent)

racket/syndicate/examples/chat-client.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require syndicate/protocol/advertise)
 (require (only-in racket/port read-bytes-line-evt))

racket/syndicate/examples/chat-no-quit-world-no-nesting.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require syndicate/protocol/advertise)
 (require (only-in racket/string string-trim))

racket/syndicate/examples/chat-no-quit-world.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require syndicate/protocol/advertise)
 (require (only-in racket/string string-trim))

racket/syndicate/examples/chat-simplified-internals.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; The chat server, using a proxy abstracting over details of the TCP
 ;; driver's protocol.
 

racket/syndicate/examples/chat.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require syndicate/protocol/advertise)
 (require (only-in racket/string string-trim))

racket/syndicate/examples/durable-key-value-store.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require racket/set)
 (require racket/file)

racket/syndicate/examples/echo.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require syndicate/protocol/advertise)
 (require/activate "../drivers/tcp.rkt")

racket/syndicate/examples/example-lang.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require (only-in racket/port read-line-evt))
 (require/activate "../drivers/timer.rkt")

racket/syndicate/examples/example-layer.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; Check that nested-world assertions are properly retracted.
 ;; Should print two "Got SCN:" patches - one adding, and one removing (observe 'die).
 

racket/syndicate/examples/example-meta-drop.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; Analogous to nc-incremental-meta-drop.rkt in the Redex model.
 ;; Demonstrates (hopefully) correct processing of meta-interests when dropping a patch.
 

racket/syndicate/examples/example-meta-echo.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; Test case for a historical bug in Syndicate.
 ;;
 ;; When the bug existed, this program received four SCN events in

racket/syndicate/examples/example-meta-echo2.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; The actor should receive a single event adding an (inbound 'x) assertion.
 
 (require syndicate/pretty)

racket/syndicate/examples/example-quit-dataspace-with-assertion.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; run-ground-vm is being modified to return the set of assertions
 ;; remaining at the end of its execution. This example demonstrates a
 ;; non-empty such set.

racket/syndicate/examples/example-quit-world.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; Demonstrates quit-dataspace.
 
 (require (only-in racket/port read-bytes-line-evt))

racket/syndicate/examples/example-swap-int-and-claim.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; Analogous to nc-incremental-swap-int-and-claim.rkt in the Redex model.
 ;; Demonstrates (hopefully) correct processing of feedback at interest switches.
 

racket/syndicate/examples/example-wildcard-assertion-1.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; Demonstrate wildcard assertions.
 ;; One actor asserts everything except inbound/outbound assertions (which break
 ;; the ground VM). It therefore *subscribes* to everything too.

racket/syndicate/examples/example-wildcard-assertion-2.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 ;; Demonstrate almost-wildcard assertions.
 ;; One actor subscribes to everything except inbound assertions - and so initially sees itself.
 ;; The other advertises everything except subscriptions and inbound/outbound assertions.

racket/syndicate/examples/forward-chaining.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require racket/set)
 (require "../trie.rkt")

racket/syndicate/examples/key-value-store.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require racket/set)
 

racket/syndicate/examples/mini-echo.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (struct echo-req (body) #:prefab)
 (struct echo-resp (body) #:prefab)

racket/syndicate/examples/tcp-hello.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require syndicate/protocol/advertise)
 (require/activate "../drivers/tcp.rkt")

racket/syndicate/examples/two-buyer-protocol-incremental.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require racket/set)
 

racket/syndicate/examples/udp-hello-plain.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require/activate syndicate/drivers/udp)
 

racket/syndicate/examples/ws-hello-ssl.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require syndicate/protocol/advertise)
 (require/activate "../drivers/websocket.rkt")

racket/syndicate/examples/ws-hello.rkt

@@ -1,4 +1,4 @@
-#lang syndicate
+#lang syndicate/core
 
 (require syndicate/protocol/advertise)
 (require/activate "../drivers/websocket.rkt")

racket/syndicate/monolithic.rkt

@@ -3,7 +3,7 @@
 (module reader syntax/module-reader
   syndicate/monolithic)
 
-(require (except-in "lang.rkt"
+(require (except-in "core-lang.rkt"
                     event?
                     action?
                     clean-transition
@@ -11,6 +11,6 @@
                     actor/stateless))
 (require "monolithic/scn.rkt")
 (require "monolithic/core.rkt")
-(provide (all-from-out "lang.rkt")
+(provide (all-from-out "core-lang.rkt")
          (all-from-out "monolithic/scn.rkt")
          (all-from-out "monolithic/core.rkt"))

racket/syndicate/profile.rkt

@@ -3,7 +3,7 @@
 (provide profile-dataspace!
          profile-lambda)
 
-(require syndicate/lang)
+(require syndicate/core-lang)
 (require profile)
 
 (define profile-lambda