Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Functional values in cmt files #6748
Original bug ID: 6748
When building this file with -bin-annot, the compiler raises:
Fatal error: exception Invalid_argument("output_value: functional value")
This was introduced by the commit: 9d450a0
module M = struct
module type T =
let m = (module M:T)
Comment author: @alainfrisch
Well spotted. Thanks for the minimal repro case. Fixed in commit 15773.
Isn't it already the case? But compiling the compiler doesn't exercise all code paths in the compiler (in tast_iter for the current ticket).