Sylvain Dailler 431ed6caf3 "at/old operator unused" is now a warning not an error. ...

The warning can be disabled by a debug flag.
The bench was changed so as to accept examples that **should** output
warning but not fail (this category did not exist, it does now) and
label_scope has been switched to it.

2018-10-11 10:56:04 +02:00

..

60_at_in_tasks.mlw

Typing: reject invalid or useless "at"/"old"

2018-03-15 14:55:46 +01:00

166_non_val_constants.mlw

Clean examples.

2018-09-12 08:05:47 +02:00

alias1.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

alias2.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

alias3.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

alias4.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

alias5.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

alias6.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

effect1.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

effect2.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

effect3.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

effect4.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

effect5.mlw

whyml: new specification syntax

2012-10-13 00:23:29 +02:00

effect6.mlw

whyml: new specification syntax

2012-10-13 00:23:29 +02:00

effect7.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

escape1.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

escape2.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

false_alias2.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

false_alias.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

for2.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

ghost1.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

ghost2.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

ghost3.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

ghost4.mlw

Mlw_expr: fix potentially unsound pattern matching in programs

2016-01-10 21:58:46 +01:00

polyrec1.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

polyrec2.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

polyrec3.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

polyref1.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

polyref3.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

reset1.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

reset2.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

unbound_label.mlw

Typing: reject invalid or useless "at"/"old"

2018-03-15 14:55:46 +01:00

unbound_var.mlw

programs: fixed benchmarks; cleaning up typing

2011-01-11 21:55:52 +01:00

variant1.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

variant2.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

variant3.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

with1.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

with2.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00