diff options
| author | Pierre Letouzey | 2018-03-12 15:45:02 +0100 |
|---|---|---|
| committer | Jason Gross | 2018-08-31 20:05:53 -0400 |
| commit | 377188d7bfd27518e6ab47d5017907b1f527a7dd (patch) | |
| tree | a4091629406560ab51d67571fbe3d9958a50b296 /plugins/syntax/numeral_notation_plugin.mlpack | |
| parent | 3ad9d3eea1fc090d5dd67e43b3f5ad472afc31d6 (diff) | |
Numeral Notation + test-suite : fix 3 tests using Datatypes.v but not Prelude.v
Earlier, the nat_syntax_plugin was loaded as soon as Datatypes.v.
This would now implies to make Datatypes.v depends on Decimal.v.
Instead, we postpone the Numeral Notation for nat until Prelude.v,
and we adapt those three tests that happen to live strictly between
Datatypes and Prelude.
Diffstat (limited to 'plugins/syntax/numeral_notation_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions