diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-06-08 22:07:17 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-06-08 22:07:17 +0200 |
| commit | 514c4bb0bfe908ec39ab4fa09dbf51bf7db29bd4 (patch) | |
| tree | 6b72e2f82ef0bbd852621ca76195eb2f76206ab1 /src/AST/Weaken | |
| parent | 56056c98b2e3dce65a0e42bce0410c083fd1f8be (diff) | |
More WIP sparsitysparse
Diffstat (limited to 'src/AST/Weaken')
| -rw-r--r-- | src/AST/Weaken/Auto.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |