mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-10-26 14:20:59 +03:00
Add a test for a type-level interface module
This commit is contained in:
parent
af0af83f8d
commit
743c689a10
6
tests/modsys/functors/T015.cry
Normal file
6
tests/modsys/functors/T015.cry
Normal file
@ -0,0 +1,6 @@
|
||||
|
||||
submodule F where
|
||||
import interface module T015_S
|
||||
|
||||
x : n
|
||||
x = 0
|
1
tests/modsys/functors/T015.icry
Normal file
1
tests/modsys/functors/T015.icry
Normal file
@ -0,0 +1 @@
|
||||
:load T015.cry
|
4
tests/modsys/functors/T015.icry.stdout
Normal file
4
tests/modsys/functors/T015.icry.stdout
Normal file
@ -0,0 +1,4 @@
|
||||
Loading module Cryptol
|
||||
Loading module Cryptol
|
||||
Loading interface module T015_S
|
||||
Loading module Main
|
7
tests/modsys/functors/T015_S.cry
Normal file
7
tests/modsys/functors/T015_S.cry
Normal file
@ -0,0 +1,7 @@
|
||||
interface module T015_S where
|
||||
|
||||
type n : *
|
||||
|
||||
type constraint (Literal 0 n)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user