@@ -332,7 +332,6 @@ module MyFunctor = (X: {type t}, Y: {type t}): {type tx; type ty} => {
332332
333333module F2: (S1, S1) => T = (X: S, Y: S) => {
334334 let cow = x => Y.foo(X.foo(x))
335- let sheep = x => 1 + cow(x)
336335}
337336
338337--------------------------------------------------------------------------------
@@ -381,13 +380,10 @@ module F2: (S1, S1) => T = (X: S, Y: S) => {
381380 (module_declaration
382381 (module_binding
383382 name: (module_identifier)
384- signature: (functor
385- parameters: (functor_parameters
386- (functor_parameter
387- (module_identifier))
388- (functor_parameter
389- (module_identifier)))
390- body: (module_identifier))
383+ signature: (parenthesized_module_expression
384+ (module_identifier)
385+ (ERROR))
386+ (ERROR)
391387 definition: (functor
392388 parameters: (functor_parameters
393389 (functor_parameter
@@ -414,18 +410,7 @@ module F2: (S1, S1) => T = (X: S, Y: S) => {
414410 (module_identifier)
415411 (value_identifier))
416412 arguments: (arguments
417- (value_identifier))))))))
418- (let_declaration
419- (let_binding
420- pattern: (value_identifier)
421- body: (function
422- parameter: (value_identifier)
423- body: (binary_expression
424- left: (number)
425- right: (call_expression
426- function: (value_identifier)
427- arguments: (arguments
428- (value_identifier))))))))))))
413+ (value_identifier)))))))))))))
429414
430415================================================================================
431416Functor signature
0 commit comments