From c516ed6d7f6cdbe78c44d97517937423ad2c320c Mon Sep 17 00:00:00 2001
From: Glen Whitney <glen@studioinfinity.org>
Date: Wed, 10 Feb 2021 13:07:51 -0800
Subject: [PATCH] refactor: eliminate rule in desugar

  By using list wrap properly.
---
 trans/desugar.str | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/trans/desugar.str b/trans/desugar.str
index e4f52cf..bfb4ecf 100644
--- a/trans/desugar.str
+++ b/trans/desugar.str
@@ -13,8 +13,7 @@ rules
   */
   deISe:      ISequence(Prior(l),x) -> Sequence(<conc>(l, [x]))
 
-  enList: x -> [x]
-  seqFlatten: Sequence(l) -> Sequence(<mapconcat(?Sequence(<id>) <+ enList)>l)
+  seqFlatten: Sequence(l) -> Sequence(<mapconcat(?Sequence(<id>) <+ ![<id>])>l)
   
 strategies