From 6a6464b0f7a1c11437b541cd597275c9697a11bf Mon Sep 17 00:00:00 2001 From: alex Date: Sun, 24 Apr 2022 17:51:31 +0100 Subject: [PATCH] Remove append, fixes #89 --- packages/core/pattern.mjs | 5 ----- 1 file changed, 5 deletions(-) diff --git a/packages/core/pattern.mjs b/packages/core/pattern.mjs index ce49c537..1ca14d6a 100644 --- a/packages/core/pattern.mjs +++ b/packages/core/pattern.mjs @@ -656,10 +656,6 @@ export class Pattern { return cat(this, ...pats); } - append(...pats) { - return cat(this, ...pats); - } - fastcat(...pats) { return fastcat(this, ...pats); } @@ -968,7 +964,6 @@ export function pr(args) { } export const add = curry((a, pat) => pat.add(a)); -export const append = curry((a, pat) => pat.append(a)); export const chunk = curry((a, pat) => pat.chunk(a)); export const chunkBack = curry((a, pat) => pat.chunkBack(a)); export const div = curry((a, pat) => pat.div(a));