GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-13 10:58:23 +03:00
Code Issues Projects Releases Wiki Activity

Add a test

Browse Source
This commit is contained in:
Iavor Diatchki 2017-12-01 09:51:43 -08:00
parent 5cd90d0045
commit 3443331f06
4 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tests/modsys/T12.icry Normal file
View File

@ -0,0 +1 @@
:module T12::Main

3
tests/modsys/T12.icry.stdout Normal file
View File

@ -0,0 +1,3 @@
Loading module Cryptol
Loading module T12::A
Loading module T12::Main

8
tests/modsys/T12/A.cry Normal file
View File

@ -0,0 +1,8 @@
module T12::A where
parameter
type T : #
type constraint (2 >= T)
f : [8] -> [8]

9
tests/modsys/T12/Main.cry Normal file
View File

@ -0,0 +1,9 @@
module T12::Main = T12::A where
parameter
type T : #
type constraint (2 >= T)
f x = x