From 8cbe2475e3bb09c8e9cb1622cdd4130b27723737 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 9 Jun 2021 15:06:58 +0200
Subject: [PATCH] TAttenuate

---
 dataspace.prs            | 2 +-
 gatekeeper.prs           | 2 +-
 secure-chat-protocol.prs | 2 +-
 simple-chat-protocol.prs | 2 +-
 sturdy.prs               | 3 ++-
 worker.prs               | 2 +-
 6 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/dataspace.prs b/dataspace.prs
index 3160df1..b9f26ea 100644
--- a/dataspace.prs
+++ b/dataspace.prs
@@ -1,4 +1,4 @@
 version 1 .
-embeddedType Actor.Ref .
+embeddedType EntityRef.Ref .
 
 Observe = <Observe @pattern dataspace-patterns.Pattern @observer #!any>.
diff --git a/gatekeeper.prs b/gatekeeper.prs
index d8be377..a25d6c3 100644
--- a/gatekeeper.prs
+++ b/gatekeeper.prs
@@ -1,5 +1,5 @@
 version 1 .
-embeddedType Actor.Ref .
+embeddedType EntityRef.Ref .
 
 Resolve = <resolve @sturdyref sturdy.SturdyRef @observer #!#!any>.
 Bind = <bind @oid any @key bytes @target #!any>.
diff --git a/secure-chat-protocol.prs b/secure-chat-protocol.prs
index c20c8e0..09e9e7e 100644
--- a/secure-chat-protocol.prs
+++ b/secure-chat-protocol.prs
@@ -1,5 +1,5 @@
 version 1 .
-embeddedType Actor.Ref .
+embeddedType EntityRef.Ref .
 
 UserId = int .
 
diff --git a/simple-chat-protocol.prs b/simple-chat-protocol.prs
index 987c1f4..33804eb 100644
--- a/simple-chat-protocol.prs
+++ b/simple-chat-protocol.prs
@@ -1,5 +1,5 @@
 version 1 .
-embeddedType Actor.Ref .
+embeddedType EntityRef.Ref .
 
 Present = <Present @username string>.
 Says = <Says @who string @what string>.
diff --git a/sturdy.prs b/sturdy.prs
index 630f395..f82dd4e 100644
--- a/sturdy.prs
+++ b/sturdy.prs
@@ -36,7 +36,8 @@ PNot = <not @pattern Pattern>.
 PCompound = <compound @ctor ConstructorSpec @members PCompoundMembers>.
 PCompoundMembers = { any: Pattern ...:... }.
 
-Template = TRef / Lit / TCompound .
+Template = TAttenuate / TRef / Lit / TCompound .
+TAttenuate = <attenuate @template Template @attenuation Attenuation>.
 TRef = <ref @name symbol>.
 TCompound = <compound @ctor ConstructorSpec @members TCompoundMembers>.
 TCompoundMembers = { any: Template ...:... }.
diff --git a/worker.prs b/worker.prs
index e35abd9..25783b5 100644
--- a/worker.prs
+++ b/worker.prs
@@ -1,4 +1,4 @@
 version 1 .
-embeddedType Actor.Ref .
+embeddedType EntityRef.Ref .
 
 Instance = <Instance @name string @argument any>.