diff options
| author | Alasdair Armstrong | 2017-06-15 18:16:56 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-06-15 18:16:56 +0100 |
| commit | cddc9abe0ef7af3d13503f7575066f7a3c0ccc86 (patch) | |
| tree | d85927c824cb14336e6736a4192b678b09f9fd65 /test | |
| parent | 2e6dcb94996ebe208241711e70fd0609ab5d58fc (diff) | |
Added support for default order declarations.
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/fail/default_order.sail | 6 | ||||
| -rw-r--r-- | test/typecheck/pass/default_order.sail | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/test/typecheck/fail/default_order.sail b/test/typecheck/fail/default_order.sail new file mode 100644 index 00000000..8de5cc46 --- /dev/null +++ b/test/typecheck/fail/default_order.sail @@ -0,0 +1,6 @@ +(* Could make an argument for why this should be ok, but allowing +default order to change could have unintended consequences if we arn't +careful, so it seems safer to just forbid it *) + +default Order dec +default Order inc diff --git a/test/typecheck/pass/default_order.sail b/test/typecheck/pass/default_order.sail new file mode 100644 index 00000000..a283b221 --- /dev/null +++ b/test/typecheck/pass/default_order.sail @@ -0,0 +1 @@ +default Order dec |