From d9cdf1306de1621bde0bfa5de8a2b00c8f6283dc Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 5 Nov 2023 15:43:17 +0100
Subject: [PATCH] fix IsReserved
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

IsReserved should be true for e.g. "λ" but not "fun", since only the
first can show up in the lexer output
---
 lib/Quox/Parser/Lexer.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Quox/Parser/Lexer.idr b/lib/Quox/Parser/Lexer.idr
index dad087f..7c4f26f 100644
--- a/lib/Quox/Parser/Lexer.idr
+++ b/lib/Quox/Parser/Lexer.idr
@@ -295,7 +295,7 @@ allReservedStrings = foldMap resString2 reserved
 ||| the token stream
 public export
 IsReserved : String -> Type
-IsReserved str = So (str `elem` allReservedStrings)
+IsReserved str = So (str `elem` reservedStrings)
 
 private
 name : Tokenizer ExtToken