Skip to content

Commit c9fb4d3

Browse files
committed
fix: make functor parameter a simple module identifier
1 parent 16e97b5 commit c9fb4d3

File tree

2 files changed

+7
-8
lines changed

2 files changed

+7
-8
lines changed

grammar.js

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -203,7 +203,7 @@ module.exports = grammar({
203203
),
204204

205205
functor_parameter: $ => seq(
206-
$.module_identifier_path,
206+
$.module_identifier,
207207
$.module_type_annotation,
208208
),
209209

test/corpus/modules.txt

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -74,8 +74,7 @@ include module type of {
7474
(module_identifier))))
7575

7676
(include_statement
77-
(functor_parameter
78-
(module_identifier_path (module_identifier))
77+
(functor_parameter (module_identifier)
7978
(module_type_annotation
8079
(module_type_of
8180
(module_type_constraint
@@ -233,10 +232,10 @@ module MyFunctor = (X: {type t}, Y: {type t}): {type tx; type ty} => {
233232
definition: (functor
234233
parameters: (functor_parameters
235234
(functor_parameter
236-
(module_identifier_path (module_identifier))
235+
(module_identifier)
237236
(module_type_annotation (block (type_declaration (type_identifier)))))
238237
(functor_parameter
239-
(module_identifier_path (module_identifier))
238+
(module_identifier)
240239
(module_type_annotation (block (type_declaration (type_identifier))))))
241240
return_module_type: (module_type_annotation
242241
(block (type_declaration (type_identifier)) (type_declaration (type_identifier))))
@@ -260,7 +259,7 @@ module Make: (Content: StaticContent) => {
260259
(functor
261260
(functor_parameters
262261
(functor_parameter
263-
(module_identifier_path (module_identifier))
262+
(module_identifier)
264263
(module_type_annotation (module_identifier))))
265264
(block
266265
(let_binding
@@ -525,10 +524,10 @@ module M = (Na: N, Nb: N): (
525524
(functor
526525
(functor_parameters
527526
(functor_parameter
528-
(module_identifier_path (module_identifier))
527+
(module_identifier)
529528
(module_type_annotation (module_identifier)))
530529
(functor_parameter
531-
(module_identifier_path (module_identifier))
530+
(module_identifier)
532531
(module_type_annotation (module_identifier))))
533532
(module_type_annotation
534533
(module_type_constraint

0 commit comments

Comments
 (0)