From 9864ce0ec86fb2f916c2aab318a1e6994ab8834c Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Mon, 5 Feb 2024 23:14:19 +0100
Subject: [PATCH] Switch `#!` to `#:`

---
 schemas/dataspace.prs         |  2 +-
 schemas/dataspacePatterns.prs |  2 +-
 schemas/gatekeeper.prs        | 14 +++++++-------
 schemas/http.prs              |  4 ++--
 schemas/protocol.prs          |  2 +-
 schemas/stream.prs            |  6 +++---
 schemas/tcp.prs               |  2 +-
 7 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/schemas/dataspace.prs b/schemas/dataspace.prs
index 25c6640..9ca3834 100644
--- a/schemas/dataspace.prs
+++ b/schemas/dataspace.prs
@@ -1,4 +1,4 @@
 version 1 .
 embeddedType EntityRef.Cap .
 
-Observe = <Observe @pattern dataspacePatterns.Pattern @observer #!any>.
+Observe = <Observe @pattern dataspacePatterns.Pattern @observer #:any>.
diff --git a/schemas/dataspacePatterns.prs b/schemas/dataspacePatterns.prs
index 11b73cc..faf2df1 100644
--- a/schemas/dataspacePatterns.prs
+++ b/schemas/dataspacePatterns.prs
@@ -18,5 +18,5 @@ AnyAtom =
     / @string string
     / @bytes bytes
     / @symbol symbol
-    / @embedded #!any
+    / @embedded #:any
 .
diff --git a/schemas/gatekeeper.prs b/schemas/gatekeeper.prs
index 9b11db6..656ed12 100644
--- a/schemas/gatekeeper.prs
+++ b/schemas/gatekeeper.prs
@@ -6,8 +6,8 @@ embeddedType EntityRef.Cap .
 
 # Assertion. Gatekeeper will attempt to resolve `step`, responding with a `Resolved` to
 # `observer`.
-Resolve = <resolve @step Step @observer #!Resolved> .
-Resolved = <accepted @responderSession #!any> / Rejected .
+Resolve = <resolve @step Step @observer #:Resolved> .
+Resolved = <accepted @responderSession #:any> / Rejected .
 Step = <<rec> @stepType symbol [@detail any]> .
 
 # ---------------------------------------------------------------------------
@@ -15,9 +15,9 @@ Step = <<rec> @stepType symbol [@detail any]> .
 
 # Assertion. Gatekeeper will compute an appropriate PathStep from `description` pointing at
 # `target`, and will respond with a `Bound` to `observer` (if supplied).
-Bind = <bind @description Description @target #!any @observer BindObserver> .
+Bind = <bind @description Description @target #:any @observer BindObserver> .
 Description = <<rec> @stepType symbol [@detail any]> .
-BindObserver = @present #!Bound / @absent #f .
+BindObserver = @present #:Bound / @absent #f .
 Bound = <bound @pathStep PathStep> / Rejected .
 
 # ---------------------------------------------------------------------------
@@ -27,10 +27,10 @@ Bound = <bound @pathStep PathStep> / Rejected .
 # and `resolved`, respondent will follow `route.pathSteps` starting from one of the
 # `route.transports`, asserting `ResolvePath` with the final `Resolved` as well as the selected
 # transport `addr` and a `control` for it.
-ResolvePath = <resolve-path @route Route @addr any @control #!TransportControl @resolved Resolved> .
+ResolvePath = <resolve-path @route Route @addr any @control #:TransportControl @resolved Resolved> .
 
-TransportConnection = <connect-transport @addr any @control #!TransportControl @resolved Resolved> .
-ResolvedPathStep = <path-step @origin #!Resolve @pathStep PathStep @resolved Resolved> .
+TransportConnection = <connect-transport @addr any @control #:TransportControl @resolved Resolved> .
+ResolvedPathStep = <path-step @origin #:Resolve @pathStep PathStep @resolved Resolved> .
 PathStep = <<rec> @stepType symbol [@detail any]> .
 
 # A `Route` describes a network path that can be followed to reach some target entity.
diff --git a/schemas/http.prs b/schemas/http.prs
index c64a738..0edbb7d 100644
--- a/schemas/http.prs
+++ b/schemas/http.prs
@@ -2,7 +2,7 @@ version 1 .
 
 # Assertion in driver DS
 # Causes creation of server and route
-HttpBinding = <http-bind @host HostPattern @port int @method MethodPattern @path PathPattern @handler #!HttpRequest> .
+HttpBinding = <http-bind @host HostPattern @port int @method MethodPattern @path PathPattern @handler #:HttpRequest> .
 
 # Assertion in driver DS
 # Describes active server and route
@@ -34,7 +34,7 @@ QueryValue = @string string / <file @filename string @headers Headers @body byte
 RequestBody = @present bytes / @absent #f .
 
 # Assertion to handler entity
-HttpContext = <request @req HttpRequest @res #!HttpResponse> .
+HttpContext = <request @req HttpRequest @res #:HttpResponse> .
 
 @<TODO "trailers?">
 # Messages
diff --git a/schemas/protocol.prs b/schemas/protocol.prs
index 449d6aa..da66672 100644
--- a/schemas/protocol.prs
+++ b/schemas/protocol.prs
@@ -16,4 +16,4 @@ TurnEvent = [@oid Oid @event Event].
 Assert  = <A @assertion Assertion @handle Handle>.
 Retract = <R @handle Handle>.
 Message = <M @body Assertion>.
-Sync    = <S @peer #!#t>.
+Sync    = <S @peer #:#t>.
diff --git a/schemas/stream.prs b/schemas/stream.prs
index 079825a..90279b3 100644
--- a/schemas/stream.prs
+++ b/schemas/stream.prs
@@ -2,7 +2,7 @@ version 1 .
 embeddedType EntityRef.Cap .
 
 # Assertion:
-StreamConnection = <stream-connection @source #!Source @sink #!Sink @spec any>.
+StreamConnection = <stream-connection @source #:Source @sink #:Sink @spec any>.
 
 # Assertions:
 StreamListenerReady = <stream-listener-ready @spec any>.
@@ -13,7 +13,7 @@ StreamError = <error @message string>.
 
 Source =
   # Assertions:
-  / <sink @controller #!Sink>
+  / <sink @controller #:Sink>
   / StreamError
 
   # Messages:
@@ -22,7 +22,7 @@ Source =
 
 Sink =
   # Assertions:
-  / <source @controller #!Source>
+  / <source @controller #:Source>
   / StreamError
 
   # Messages:
diff --git a/schemas/tcp.prs b/schemas/tcp.prs
index cc34741..c9d8ef6 100644
--- a/schemas/tcp.prs
+++ b/schemas/tcp.prs
@@ -4,4 +4,4 @@ embeddedType EntityRef.Cap .
 TcpRemote = <tcp-remote @host string @port int>.
 TcpLocal = <tcp-local @host string @port int>.
 
-TcpPeerInfo = <tcp-peer @handle #!any @local TcpLocal @remote TcpRemote>.
+TcpPeerInfo = <tcp-peer @handle #:any @local TcpLocal @remote TcpRemote>.