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
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
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