diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-06-21 09:57:45 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-06-21 09:57:45 +0200 |
| commit | b5ed3d2fcc249cb410b9e86d25e9ef808c6dba97 (patch) | |
| tree | 66383b16d5d95f939aaa165a783dbbfd99a57fe3 /src/AST/Weaken/Auto.hs | |
| parent | 8bbc2d2867e3d0a4a1f2810b40e92175779822e1 (diff) | |
| parent | a4b3eb76acbec30ffeae119a4dc6e4c9f64396fe (diff) | |
Diffstat (limited to 'src/AST/Weaken/Auto.hs')
| -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 |