Doesn't type check base/flow properly
If you put a flow type
where a base type
is needed, it type-checks and gives you an incorrect ml file without warning. Fix needed: check that every argument of any constructor is indeed of a base sort
If you put a flow type
where a base type
is needed, it type-checks and gives you an incorrect ml file without warning. Fix needed: check that every argument of any constructor is indeed of a base sort