From 40a6868ed5960d381359541975272483747808b4 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 3 Sep 2024 17:00:08 +0200 Subject: Inching towards drev of build --- src/AST/Weaken/Auto.hs | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) (limited to 'src/AST/Weaken') diff --git a/src/AST/Weaken/Auto.hs b/src/AST/Weaken/Auto.hs index 0bf5780..444c540 100644 --- a/src/AST/Weaken/Auto.hs +++ b/src/AST/Weaken/Auto.hs @@ -18,7 +18,7 @@ {-# OPTIONS_GHC -Wno-partial-type-signatures #-} module AST.Weaken.Auto ( autoWeak, - ($..), auto, + (&.), auto, auto1, Layout(..), ) where @@ -56,9 +56,12 @@ instance (KnownSymbol name, name ~ name', segs ~ '[ '(name', ts)]) => IsLabel na auto :: KnownListSpine list => SList (Const ()) list auto = knownListSpine -infixr $.. -($..) :: SSegments segs1 -> SSegments segs2 -> SSegments (Append segs1 segs2) -($..) = ssegmentsAppend +auto1 :: SList (Const ()) '[t] +auto1 = Const () `SCons` SNil + +infixr &. +(&.) :: SSegments segs1 -> SSegments segs2 -> SSegments (Append segs1 segs2) +(&.) = ssegmentsAppend where ssegmentsAppend :: SSegments a -> SSegments b -> SSegments (Append a b) ssegmentsAppend SSegNil l2 = l2 -- cgit v1.2.3-70-g09d2