2 AbsBinds [] [] [(t_source_pos.t2, Lexer_Ops.t_source_pos)]
5 (Source_Position.Source_Position -> Source_Position.Source_Position)
6 -> Lexer_State.Lexer_State -> ((), Lexer_State.Lexer_State)
9 = (Lexer_Combinators.and_with
10 [Source_Position.Source_Position, ()])
11 Lexer_State.p_source_pos
12 (\ pos.r50 -> Lexer_State.i_source_pos
13 (transformer.r49 pos.r50))
14 AbsBinds [] [] [(t_buffer.t11, Lexer_Ops.t_buffer)]
17 (Lexer_Buffer.Lexer_Buffer -> Lexer_Buffer.Lexer_Buffer)
18 -> Lexer_State.Lexer_State -> ((), Lexer_State.Lexer_State)
21 = (Lexer_Combinators.and_with [Lexer_Buffer.Lexer_Buffer, ()])
23 (\ buff.r52 -> Lexer_State.i_buffer
24 (transformer.r51 buff.r52))
25 AbsBinds [] [] [(buffer_len.t20, Lexer_Ops.buffer_len)]
27 buffer_len.t20 :: Lexer_State.Lexer_State -> (Int, Lexer_State.Lexer_State)
29 = (Lexer_Combinators.and_with [Lexer_Buffer.Lexer_Buffer, Int])
31 (\ buff.r53 -> (Lexer_Combinators.return Int)
32 (Lexer_Buffer.len buff.r53))
33 AbsBinds [] [] [(decimal_to_int.t28, Lexer_Ops.decimal_to_int)]
36 Lexer_State.Lexer_State
37 -> (Oberon_Integer.Oberon_Integer, Lexer_State.Lexer_State)
39 = (Lexer_Combinators.and_with
40 [Lexer_Buffer.Lexer_Buffer, Oberon_Integer.Oberon_Integer])
42 (\ buff.r54 -> (Lexer_Combinators.return
43 Oberon_Integer.Oberon_Integer)
44 (Oberon_Integer.from_decimal_string
45 (Lexer_Buffer.to_string buff.r54)))
46 AbsBinds [] [] [(flush_buffer.t36, Lexer_Ops.flush_buffer)]
48 flush_buffer.t36 :: Lexer_State.Lexer_State -> ((), Lexer_State.Lexer_State)
49 flush_buffer.t36 = Lexer_Ops.t_buffer Lexer_Buffer.flush
50 AbsBinds [] [] [(hex_to_int.t39, Lexer_Ops.hex_to_int)]
53 Lexer_State.Lexer_State
54 -> (Oberon_Integer.Oberon_Integer, Lexer_State.Lexer_State)
56 = (Lexer_Combinators.and_with
57 [Lexer_Buffer.Lexer_Buffer, Oberon_Integer.Oberon_Integer])
59 (\ buff.r55 -> (Lexer_Combinators.return
60 Oberon_Integer.Oberon_Integer)
61 (Oberon_Integer.from_hex_string
62 (Lexer_Buffer.to_string buff.r55)))
63 AbsBinds [] [] [(move_input_column.t47, Lexer_Ops.move_input_column)]
65 move_input_column.t47 :: Int -> Lexer_State.Lexer_Action ()
67 dist.r56 = Lexer_Ops.t_source_pos
68 ((flip [Source_Position.Source_Position,
70 Source_Position.Source_Position])
71 Source_Position.shift_column dist.r56)
72 AbsBinds [] [] [(next_input_line.t54, Lexer_Ops.next_input_line)]
74 next_input_line.t54 ::
75 Lexer_State.Lexer_State -> ((), Lexer_State.Lexer_State)
76 next_input_line.t54 = Lexer_Ops.t_source_pos Source_Position.next_line
77 AbsBinds [] [] [(store_char.t57, Lexer_Ops.store_char)]
79 store_char.t57 :: Char -> Lexer_State.Lexer_Action ()
81 c.r57 = Lexer_Ops.t_buffer (Lexer_Buffer.add c.r57)
82 AbsBinds [] [] [(to_char.t61, Lexer_Ops.to_char)]
83 (toInteger.t79, int2Integer)
86 Lexer_State.Lexer_State
87 -> (Oberon_Integer.Oberon_Integer, Lexer_State.Lexer_State)
89 = (Lexer_Combinators.and_with
90 [Lexer_Buffer.Lexer_Buffer, Oberon_Integer.Oberon_Integer])
92 (\ buff.r58 -> (Lexer_Combinators.return
93 Oberon_Integer.Oberon_Integer)
94 ((((.) [Lexer_Buffer.Lexer_Buffer,
96 Oberon_Integer.Oberon_Integer])
99 Oberon_Integer.Oberon_Integer])
102 Oberon_Integer.Oberon_Integer])
105 Oberon_Integer.Oberon_Integer])
106 Oberon_Integer.from_int
110 Lexer_Buffer.to_string) buff.r58))
111 AbsBinds [] [] [(to_id.t88, Lexer_Ops.to_id)]
114 Lexer_State.Lexer_State
115 -> (Oberon_Id.Oberon_Id, Lexer_State.Lexer_State)
117 = (Lexer_Combinators.and_with
118 [Lexer_Buffer.Lexer_Buffer, Oberon_Id.Oberon_Id])
120 (\ buff.r59 -> (Lexer_Combinators.return Oberon_Id.Oberon_Id)
121 (Oberon_Id.from_string
122 (Lexer_Buffer.to_string buff.r59)))
123 AbsBinds [] [] [(to_real.t96, Lexer_Ops.to_real)]
126 Lexer_State.Lexer_State
127 -> (Oberon_Real.Oberon_Real, Lexer_State.Lexer_State)
129 = (Lexer_Combinators.and_with
130 [Lexer_Buffer.Lexer_Buffer, Oberon_Real.Oberon_Real])
132 (\ buff.r60 -> (Lexer_Combinators.return Oberon_Real.Oberon_Real)
133 (Oberon_Real.from_string
134 (Lexer_Buffer.to_string buff.r60)))
135 AbsBinds [] [] [(to_string.t104, Lexer_Ops.to_string)]
138 Lexer_State.Lexer_State
139 -> (Oberon_String.Oberon_String, Lexer_State.Lexer_State)
141 = (Lexer_Combinators.and_with
142 [Lexer_Buffer.Lexer_Buffer, Oberon_String.Oberon_String])
144 (\ buff.r61 -> (Lexer_Combinators.return
145 Oberon_String.Oberon_String)
146 (Oberon_String.from_string
147 (Lexer_Buffer.to_string buff.r61)))