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 2021-03-12 11:50:43 -08:00
parent c1914ccc60
commit fe17d24e69
3 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tests/modsys/nested/T7.cry Normal file
View File

@ -0,0 +1,5 @@
// Recursive definition in a submodule
submodule A where
x = x

1
tests/modsys/nested/T7.icry Normal file
View File

@ -0,0 +1 @@
:load T7.cry

3
tests/modsys/nested/T7.icry.stdout Normal file
View File

@ -0,0 +1,3 @@
Loading module Cryptol
Loading module Cryptol
Loading module Main