From 63270a97b4a32544798e48deb32cd25f43b1cc79 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 24 Feb 2021 22:15:57 +0100
Subject: [PATCH] Avoid misleading type

---
 actor.ts | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/actor.ts b/actor.ts
index 7eff810..80faa28 100644
--- a/actor.ts
+++ b/actor.ts
@@ -32,11 +32,10 @@ export interface Ref {
 export type Attenuation = Array<Rewrite>;
 export type Rewrite = { pattern: Pattern, template: Template };
 
-export type PBind = { type: 'bind', name: string, pattern: Pattern };
 export type PatternPointer =
     | Ref
     | { type: 'discard' }
-    | PBind
+    | { type: 'bind', name: string, pattern: Pattern }
     | { type: 'and', patterns: Array<Pattern> }
     | { type: 'or', patterns: Array<Pattern> }
     | { type: 'not', pattern: Pattern };
@@ -271,8 +270,8 @@ export function runRewrites(a: Attenuation, v: Assertion): Assertion | null {
     return v;
 }
 
-export function rfilter(... patterns: Value<Exclude<PatternPointer, PBind>>[]): Rewrite {
-    return { pattern: pbind('a', por(... (patterns as Pattern[]))), template: tref('a') };
+export function rfilter(... patterns: Pattern[]): Rewrite {
+    return { pattern: pbind('a', por(... patterns)), template: tref('a') };
 }
 
 export function attenuate(ref: Ref, ... a: Attenuation): Ref {