` | @@ -196,9 +196,9 @@ text-syntax encodings. ``` ```preserves - ⌜[1 + 2.0, print "Hello", predicate: #t, foo, #!remote, bar]⌝ + ⌜[1 + 2.0, print "Hello", predicate: #t, foo, #:remote, bar]⌝ = [1 + 2.0
print "Hello"
predicate
#t
- foo
#!remote
bar] + foo
#:remote
bar]
```
```preserves
@@ -295,7 +295,7 @@ P-expression *p* ∈ `Expr` − {`,`}.
| **uncomma**(`{`*p* ...`}`) | = | `{`**uncomma**(*p*) ...`}` | omitting any *p* = `,` |
| **uncomma**(`(`*p* ...`)`) | = | `(`**uncomma**(*p*) ...`)` | omitting any *p* = `,` |
| **uncomma**(`#{`*p* ...`}`) | = | `#{`**uncomma**(*p*) ...`}` | omitting any *p* = `,` |
-| **uncomma**(`#!`*p*) | = | `#!`**uncomma**(*p*) | |
+| **uncomma**(`#:`*p*) | = | `#:`**uncomma**(*p*) | |
| **uncomma**(`@`*p* *q*) | = | `@`**uncomma**(*p*) **uncomma**(*q*) | |
| **uncomma**(*p*) | = | *p* | if *p* ∈ **Atom** ∪ **Punct** − {`,`} |
@@ -308,7 +308,7 @@ P-expression *p* ∈ `Expr` − {`,`} to a corresponding Preserves `Value`.
| ⌞`<`ℓ *p* ...`>`⌟ | = | `<`⌞ℓ⌟ ⌞*p*⌟ ...`>` | |
| ⌞`{`*k*`:`*v* ...`}`⌟ | = | `{`⌞*k*⌟`:`⌞*v*⌟ ...`}` | if all ⌞*k*⌟ ... are distinct |
| ⌞`#{`*p* ...`}`⌟ | = | `#{`⌞*p*⌟ ...`}` | if all ⌞*p*⌟ ... are distinct |
-| ⌞`#!`*p*⌟ | = | `#!`⌞*p*⌟ | |
+| ⌞`#:`*p*⌟ | = | `#:`⌞*p*⌟ | |
| ⌞`@`*p* *q*⌟ | = | `@`⌞*p*⌟ ⌞*q*⌟ | |
| ⌞*p*⌟ | = | *p* | when *p* ∈ **Atom** |
diff --git a/preserves-schema.md b/preserves-schema.md
index 8452ec5..79b0bc9 100644
--- a/preserves-schema.md
+++ b/preserves-schema.md
@@ -327,11 +327,11 @@ Specifying the name of a kind of `Atom` matches that kind of atom:
AtomKindPattern = "bool" / "double" / "int" / "string" / "bytes" / "symbol"
Embedded input `Value`s are matched with embedded patterns. The
-portion under the `#!` prefix is the *interface* schema for the
+portion under the `#:` prefix is the *interface* schema for the
embedded value.[^interface-schema] The result of a match is an
instance of the schema-wide `embeddedType`, if one is supplied.
- EmbeddedPattern = "#!" SimplePattern
+ EmbeddedPattern = "#:" SimplePattern
A literal pattern may be expressed in any of three ways: non-symbol
atoms stand for themselves directly; symbols, prefixed with an equal
@@ -368,9 +368,9 @@ identifier.
the interface schema associated with an embedded value describes
the messages that may be sent to that actor.
- **Examples.** `#!any` may denote a reference to an Actor able to
- receive any value as a message; `#!#t`, a reference to an Actor
- expecting *only* the "true" message; `#!Session`, a reference to
+ **Examples.** `#:any` may denote a reference to an Actor able to
+ receive any value as a message; `#:#t`, a reference to an Actor
+ expecting *only* the "true" message; `#:Session`, a reference to
an Actor expecting any message matching a schema defined as
`Session` in this file.
@@ -628,7 +628,7 @@ Simple patterns are as described above:
# special builtins: bool, double, int, string, bytes, symbol
/