@@ -152,24 +152,23 @@ module Comprehensions = struct
152
152
module Desugaring_error = struct
153
153
type error =
154
154
| Non_comprehension_embedding of Embedded_name .t
155
- | Non_extension
155
+ | Non_embedding
156
156
| Bad_comprehension_embedding of string list
157
157
| No_clauses
158
158
159
159
let report_error ~loc = function
160
- | Non_comprehension_embedding ext_name ->
160
+ | Non_comprehension_embedding name ->
161
161
Location. errorf ~loc
162
162
" Tried to desugar the non-comprehension embedded term %a@ \
163
163
as part of a comprehension expression"
164
- Embedded_name. pp_quoted_name ext_name
165
- | Non_extension ->
164
+ Embedded_name. pp_quoted_name name
165
+ | Non_embedding ->
166
166
Location. errorf ~loc
167
167
" Tried to desugar a non-embedded expression@ \
168
168
as part of a comprehension expression"
169
169
| Bad_comprehension_embedding subparts ->
170
170
Location. errorf ~loc
171
- " Unknown, unexpected, or malformed@ \
172
- comprehension embedded term %a"
171
+ " Unknown, unexpected, or malformed@ comprehension embedded term %a"
173
172
Embedded_name. pp_quoted_name
174
173
Embedded_name. (extension_string :: subparts)
175
174
| No_clauses ->
@@ -195,7 +194,7 @@ module Comprehensions = struct
195
194
| Some (ext_name , _ ) ->
196
195
Desugaring_error. raise expr (Non_comprehension_embedding ext_name)
197
196
| None ->
198
- Desugaring_error. raise expr Non_extension
197
+ Desugaring_error. raise expr Non_embedding
199
198
200
199
let iterator_of_expr expr =
201
200
match expand_comprehension_extension_expr expr with
@@ -339,7 +338,7 @@ module Strengthen = struct
339
338
end
340
339
341
340
(* *****************************************************************************)
342
- (* * The interface to language extensions , which we export *)
341
+ (* * The interface to our novel syntax , which we export *)
343
342
344
343
module type AST = sig
345
344
type t
0 commit comments