coot opened this issue 7 years ago · 0 comments
module Main ( Constructor(Constructor) -- bug triggered by explicit constructor(s) , constr -- not highlighted )