From 6fd07aaa9138c99a4ec6985a2016a4485290c4d6 Mon Sep 17 00:00:00 2001 From: Jan Mas Rovira Date: Fri, 14 Apr 2023 10:59:22 +0200 Subject: [PATCH] add comment --- src/Juvix/Compiler/Concrete/Keywords.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Juvix/Compiler/Concrete/Keywords.hs b/src/Juvix/Compiler/Concrete/Keywords.hs index 04e50a476c..055d79cf65 100644 --- a/src/Juvix/Compiler/Concrete/Keywords.hs +++ b/src/Juvix/Compiler/Concrete/Keywords.hs @@ -79,7 +79,8 @@ allKeywords = kwWildcard ] --- | Keywords that do not need to be reserved +-- | Keywords that do not need to be reserved. Currently only for documentation +-- purposes nonKeywords :: [Keyword] nonKeywords = [ kwAs