From 3051c8cace04a2a6291721400824c2b153f0ad4a Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 8 Oct 2019 15:34:47 -0400 Subject: [PATCH] Spacing. --- semantic-tags/src/AST/Element.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/semantic-tags/src/AST/Element.hs b/semantic-tags/src/AST/Element.hs index d1caecc74..2157d6f9c 100644 --- a/semantic-tags/src/AST/Element.hs +++ b/semantic-tags/src/AST/Element.hs @@ -19,6 +19,7 @@ instance (Element' side sub sup, side ~ Find sub sup) => Element sub sup where pattern Prj :: Element sub sup => sub a -> sup a pattern Prj sub <- (prj -> Just sub) + data Side = None | Here | L | R type family Find sub sup :: Side where