From 5242e394df1d7213418d75ec24efd17b981cf375 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 8 Oct 2019 15:41:10 -0400 Subject: [PATCH] :memo: the left-recursive instance. --- 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 f03b277ce..ee1cb3ca1 100644 --- a/semantic-tags/src/AST/Element.hs +++ b/semantic-tags/src/AST/Element.hs @@ -49,6 +49,7 @@ class Element' (side :: Side) sub sup where instance Element' 'Here t t where prj' = Just +-- | Membershp on the left. instance Element t l => Element' 'L t (l :+: r) where prj' (L1 l) = prj l