From 4f21a58200b67290ec351ba1530f5a2fb646bb67 Mon Sep 17 00:00:00 2001
From: sebastian <sebastian.selander@gmail.com>
Date: Thu, 4 May 2023 23:00:51 +0200
Subject: [PATCH] more symbols and changed err msg

---
 Grammar.cf             | 2 +-
 src/Desugar/Desugar.hs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Grammar.cf b/Grammar.cf
index da40cbc..3f89e86 100644
--- a/Grammar.cf
+++ b/Grammar.cf
@@ -104,7 +104,7 @@ coercions Type 3 ;
 
 token UIdent (upper (letter | digit | '_')*) ;
 token LIdent (lower (letter | digit | '_')*) ;
-token Symbol (["@#%^&*_-+=|?/<>,•"]+) ;
+token Symbol (["@#%^&*_-+=|?/<>,•:[]"]+) ;
 
 comment "--";
 comment "{-" "-}";
diff --git a/src/Desugar/Desugar.hs b/src/Desugar/Desugar.hs
index 02eb4d9..bcfe627 100644
--- a/src/Desugar/Desugar.hs
+++ b/src/Desugar/Desugar.hs
@@ -48,7 +48,7 @@ desugarType = \case
         let (name : tvars) = flatten t1 ++ [t2]
          in case name of
                 TIdent ident -> TData ident (map desugarType tvars)
-                _ -> error "desugarType in Desugar.hs is not implemented correctly"
+                _ -> error "desugarType is not implemented correctly"
     TLit l -> TLit l
     TVar v -> TVar v
     (TAll i t) -> TAll i (desugarType t)