183def consumeStructuralToken =
184 (lambda unrestricted token : (family LexToken) .
185 (lambda unrestricted state : (family StructuralParseState) .
186 (eliminate
187 StructuralParseState
188 (lambda unrestricted value : (family StructuralParseState) . (family StructuralParseState))
189 state
190 (branch
191 StructuralActive
192 currentForest
193 currentStack
194 .
195 (eliminate
196 LexToken
197 (lambda unrestricted value : (family LexToken) . (family StructuralParseState))
198 token
199 (branch
200 TokenOpen
201 .
202 (eliminate
203 SyntaxStack
204 (lambda unrestricted value : (family SyntaxStack) . (family StructuralParseState))
205 currentStack
206 (branch
207 SyntaxStackEnd
208 .
209 (constructor StructuralParseState StructuralFailed (succ zero)))
210 (branch
211 SyntaxStackFrame
212 parentForest
213 outerStack
214 ih_outerStack
215 .
216 (constructor
217 StructuralParseState
218 StructuralActive
219 (constructor
220 Syntax
221 SyntaxCons
222 (constructor Syntax SyntaxNode currentForest)
223 parentForest)
224 outerStack))))
225 (branch
226 TokenClose
227 .
228 (constructor
229 StructuralParseState
230 StructuralActive
231 (constructor Syntax SyntaxEmpty)
232 (constructor SyntaxStack SyntaxStackFrame currentForest currentStack)))
233 (branch
234 TokenBoundary
235 .
236 (constructor StructuralParseState StructuralActive currentForest currentStack))
237 (branch
238 TokenAtom
239 atomSpelling
240 .
241 (constructor
242 StructuralParseState
243 StructuralActive
244 (constructor
245 Syntax
246 SyntaxCons
247 (constructor
248 Syntax
249 SyntaxAtom
250 atomSpelling
251 (constructor SyntaxOrigin SyntaxOriginUnknown))
252 currentForest)
253 currentStack))))
254 (branch
255 StructuralFailed
256 structuralFailureCode
257 .
258 (constructor StructuralParseState StructuralFailed structuralFailureCode)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.