module type of on functor return type fails

reasonml / reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

http://reasonml.github.io

MIT License

10.14k stars 428 forks source link

module type of on functor return type fails #2608

Closed EduardoRFS closed 4 years ago

EduardoRFS commented 4 years ago

Currently we cannot do (module type of {}) on functor returns, this is completly okay and is even the generated code from ocaml -> reason, so it's probably a parser bug. Tried to track it, didn't find the problem

Tested on master

module X = (()) : (module type of {}) => {};