From a0b43eef33b6863e0bc3ec68d685a5c8ba873073 Mon Sep 17 00:00:00 2001 From: Iavor Diatchki Date: Fri, 10 Jun 2022 15:38:34 -0700 Subject: [PATCH] Add another test --- tests/modsys/functors/T017.cry | 1 + tests/modsys/functors/T017.icry | 2 ++ tests/modsys/functors/T017.icry.stdout | 7 +++++++ tests/modsys/functors/T017_F.cry | 6 ++++++ tests/modsys/functors/T017_M.cry | 4 ++++ 5 files changed, 20 insertions(+) create mode 100644 tests/modsys/functors/T017.cry create mode 100644 tests/modsys/functors/T017.icry create mode 100644 tests/modsys/functors/T017.icry.stdout create mode 100644 tests/modsys/functors/T017_F.cry create mode 100644 tests/modsys/functors/T017_M.cry diff --git a/tests/modsys/functors/T017.cry b/tests/modsys/functors/T017.cry new file mode 100644 index 00000000..0dbd2fde --- /dev/null +++ b/tests/modsys/functors/T017.cry @@ -0,0 +1 @@ +module T017 = T017_F { T017_M } diff --git a/tests/modsys/functors/T017.icry b/tests/modsys/functors/T017.icry new file mode 100644 index 00000000..20ee0a7e --- /dev/null +++ b/tests/modsys/functors/T017.icry @@ -0,0 +1,2 @@ +:load T017.cry +y diff --git a/tests/modsys/functors/T017.icry.stdout b/tests/modsys/functors/T017.icry.stdout new file mode 100644 index 00000000..04784e24 --- /dev/null +++ b/tests/modsys/functors/T017.icry.stdout @@ -0,0 +1,7 @@ +Loading module Cryptol +Loading module Cryptol +Loading interface module T017_F$interface +Loading module T017_F +Loading module T017_M +Loading module T017 +0x04 diff --git a/tests/modsys/functors/T017_F.cry b/tests/modsys/functors/T017_F.cry new file mode 100644 index 00000000..aebca445 --- /dev/null +++ b/tests/modsys/functors/T017_F.cry @@ -0,0 +1,6 @@ +module T017_F where + +parameter + x : [8] + +y = x + x diff --git a/tests/modsys/functors/T017_M.cry b/tests/modsys/functors/T017_M.cry new file mode 100644 index 00000000..e8a0970c --- /dev/null +++ b/tests/modsys/functors/T017_M.cry @@ -0,0 +1,4 @@ +module T017_M where + +x : [8] +x = 2