From c43e98e45ef520df19a933a5281daf02610f60d5 Mon Sep 17 00:00:00 2001 From: Robin Date: Sun, 3 Sep 2023 00:10:40 -0400 Subject: [PATCH] Fix some error messages not being template literals --- src/semantics/denote.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/semantics/denote.ts b/src/semantics/denote.ts index e67cea7..fc6f39e 100644 --- a/src/semantics/denote.ts +++ b/src/semantics/denote.ts @@ -722,9 +722,9 @@ const cRelComposition: CompositionRule = (branch, left, right) => { const dComposition: CompositionRule = (branch, left, right) => { if (left.denotation === null) { - throw new Error('D composition on a null ${left.label}'); + throw new Error(`D composition on a null ${left.label}`); } else if (right.denotation === null) { - throw new Error('D composition on a null ${right.label}'); + throw new Error(`D composition on a null ${right.label}`); } else { // Because unifyDenotations is heuristic and asymmetric, and nP will have more // binding information than D, we need to pretend that nP is on the left here