]> Git — Sourcephile - haskell/symantic-parser.git/blob - tests/Golden/Splice/G17.expected.txt
impl: remove dead code: `unLeft`
[haskell/symantic-parser.git] / tests / Golden / Splice / G17.expected.txt
1 \(input :: inp) ->
2 let !(#
3 initBuffer,
4 initPos,
5 readMore,
6 readNext,
7 append
8 #) =
9 let next buf pos =
10 let !( Data.Text.Unsafe.Iter
11 c
12 d
13 ) = Symantic.Parser.Machine.Input.Text.Buffer.iter buf pos
14 in (# c, pos GHC.Num.+ d #)
15 more buf pos = pos GHC.Classes.< Symantic.Parser.Machine.Input.Text.Buffer.length buf
16 append = Symantic.Parser.Machine.Input.Text.Buffer.pappend
17 in (#
18 Symantic.Parser.Machine.Input.Text.Buffer.buffer input,
19 0,
20 more,
21 next,
22 append
23 #)
24 finalRet = \_farInp _farExp v _inp _buf _end -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Symantic.Parser.Machine.Generate.ResultDone v
25 finalRaise :: Symantic.Parser.Machine.Generate.ForallOnException inp =
26 Symantic.Parser.Machine.Generate.ForallOnException GHC.Base.$
27 ( \(!exn) _failInp (!farInp) (!farExp) buf end ->
28 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
29 Symantic.Parser.Machine.Generate.ResultError
30 Symantic.Parser.Machine.Generate.ParsingError
31 { Symantic.Parser.Machine.Generate.parsingErrorOffset = Symantic.Parser.Machine.Input.position farInp,
32 Symantic.Parser.Machine.Generate.parsingErrorException = exn,
33 Symantic.Parser.Machine.Generate.parsingErrorUnexpected =
34 if readMore buf farInp
35 then
36 GHC.Maybe.Just
37 ( let (#
38 c,
39 _
40 #) = readNext buf farInp
41 in c
42 )
43 else GHC.Maybe.Nothing,
44 Symantic.Parser.Machine.Generate.parsingErrorExpecting =
45 let ( minHoriz,
46 res
47 ) =
48 Data.Set.Internal.foldr
49 ( \f
50 ( minH,
51 acc
52 ) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f of
53 GHC.Maybe.Just (Symantic.Parser.Grammar.Combinators.FailureHorizon h :: Symantic.Parser.Grammar.Combinators.Failure (Symantic.Parser.Grammar.Combinators.CombSatisfiable (Symantic.Parser.Machine.Input.InputToken inp)))
54 | GHC.Maybe.Just old <- minH ->
55 ( GHC.Maybe.Just (GHC.Classes.min old h),
56 acc
57 )
58 | GHC.Base.otherwise ->
59 ( GHC.Maybe.Just h,
60 acc
61 )
62 _ ->
63 ( minH,
64 f GHC.Types.: acc
65 )
66 )
67 ( GHC.Maybe.Nothing,
68 GHC.Types . []
69 )
70 farExp
71 in Data.Set.Internal.fromList GHC.Base.$
72 ( case minHoriz of
73 GHC.Maybe.Just h -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp) h) GHC.Types.: res
74 GHC.Maybe.Nothing -> res
75 )
76 }
77 )
78 in let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp)
79 in let partialCont buf =
80 let readFail = Symantic.Parser.Machine.Generate.unForallOnException finalRaise
81 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
82 in if readMore buf initPos
83 then
84 let
85 in let _ = "pushValue"
86 in let _ = "comment: satisfy (GHC.Base.const GHC.Types.True)"
87 in let _ = "checkHorizon.oldCheck: checkedHorizon=1"
88 in let _ = "checkToken"
89 in let !(#
90 c,
91 cs
92 #) = readNext buf initPos
93 in do
94 let dupv = c
95 reg <- GHC.STRef.newSTRef dupv
96 let _ = "pushValue"
97 in do
98 sr <- GHC.STRef.readSTRef reg
99 let _ = "lift2Value checkedHorizon=0"
100 in do
101 sr <- GHC.STRef.readSTRef reg
102 let _ = "lift2Value checkedHorizon=0"
103 in let _ = "lift2Value checkedHorizon=0"
104 in let _ = "resume"
105 in finalRet
106 initPos
107 Data.Set.Internal.empty
108 ( let _ = "resume.genCode"
109 in GHC.Show.show (GHC.Tuple . (,) sr sr)
110 )
111 cs
112 buf
113 GHC.Types.False
114 else
115 let _ = "checkHorizon.newCheck.fail"
116 in let noMoreInput =
117 let failExp =
118 Data.Set.Internal.Bin
119 1
120 ( Symantic.Parser.Grammar.Combinators.SomeFailure
121 ( case inputToken of
122 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
123 )
124 )
125 Data.Set.Internal.Tip
126 Data.Set.Internal.Tip
127 in let (#
128 farInp,
129 farExp
130 #) = case GHC.Classes.compare @GHC.Types.Int initPos initPos of
131 GHC.Types.LT ->
132 (#
133 initPos,
134 failExp
135 #)
136 GHC.Types.EQ ->
137 (#
138 initPos,
139 failExp GHC.Base.<> Data.Set.Internal.empty
140 #)
141 GHC.Types.GT ->
142 (#
143 initPos,
144 Data.Set.Internal.empty
145 #)
146 in Symantic.Parser.Machine.Generate.unForallOnException finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure initPos farInp farExp buf GHC.Types.True
147 in if GHC.Types.False
148 then noMoreInput
149 else
150 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
151 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
152 ( \newInput ->
153 if Symantic.Parser.Machine.Input.nullInput newInput
154 then noMoreInput
155 else partialCont (append buf newInput)
156 )
157 )
158 in partialCont initBuffer