From 514c4bb0bfe908ec39ab4fa09dbf51bf7db29bd4 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sun, 8 Jun 2025 22:07:17 +0200 Subject: More WIP sparsity --- src/AST/Weaken/Auto.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/AST/Weaken') diff --git a/src/AST/Weaken/Auto.hs b/src/AST/Weaken/Auto.hs index 6752c24..c6efe37 100644 --- a/src/AST/Weaken/Auto.hs +++ b/src/AST/Weaken/Auto.hs @@ -64,7 +64,7 @@ data SSegments (segments :: [(Symbol, [t])]) where SSegNil :: SSegments '[] SSegCons :: SSymbol name -> SList (Const ()) ts -> SSegments list -> SSegments ('(name, ts) : list) -instance (KnownSymbol name, name ~ name', segs ~ '[ '(name', ts)]) => IsLabel name (SList f ts -> SSegments segs) where +instance (KnownSymbol name, segs ~ '[ '(name, ts)]) => IsLabel name (SList f ts -> SSegments segs) where fromLabel = \spine -> SSegCons symbolSing (slistMap (\_ -> Const ()) spine) SSegNil auto :: KnownListSpine list => SList (Const ()) list -- cgit v1.2.3-70-g09d2