From cb8dae7ca4c5c6bb541e50895150f2cff5acdbc7 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Mon, 19 Apr 2021 09:59:42 +0200
Subject: [PATCH] Oops - I forgot pDiscard()

---
 src/rewrite.ts | 28 +++++++++++++++++++++++++++-
 1 file changed, 27 insertions(+), 1 deletion(-)

diff --git a/src/rewrite.ts b/src/rewrite.ts
index 9e4133d..6f802b0 100644
--- a/src/rewrite.ts
+++ b/src/rewrite.ts
@@ -1,7 +1,29 @@
 import type { Assertion, Handle, Ref, Turn } from "./actor.js";
 import { Bytes, Dictionary, DoubleFloat, IdentityMap, is, isPointer, Record, SingleFloat, Tuple } from "@preserves/core";
 
-import { Alts, Attenuation, Caveat, PBind, Pattern, Rewrite, TRef, Template, _val, PCompound, ConstructorSpec, CRec, PCompoundMembers, Lit, PPointer, PAtom, CArr, CDict, PNot, PAnd } from './gen/sturdy.js';
+import {
+    Alts,
+    Attenuation,
+    CArr,
+    CDict,
+    CRec,
+    Caveat,
+    ConstructorSpec,
+    Lit,
+    PAnd,
+    PAtom,
+    PBind,
+    PCompound,
+    PCompoundMembers,
+    PDiscard,
+    PNot,
+    PPointer,
+    Pattern,
+    Rewrite,
+    TRef,
+    Template,
+    _val,
+} from './gen/sturdy.js';
 export * from './gen/sturdy.js';
 
 export type Bindings = { [name: string]: Assertion };
@@ -275,3 +297,7 @@ export function pFloat(): Pattern {
 export function pBoolean(): Pattern {
     return Pattern.PAtom(PAtom.Boolean());
 }
+
+export function pDiscard(): Pattern {
+    return Pattern.PDiscard(PDiscard());
+}