diff options
Diffstat (limited to 'tests/sigInModule.ur')
-rw-r--r-- | tests/sigInModule.ur | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/sigInModule.ur b/tests/sigInModule.ur new file mode 100644 index 00000000..efb7b0fc --- /dev/null +++ b/tests/sigInModule.ur @@ -0,0 +1,8 @@ +structure A = struct + signature S = sig + val x : int + end +end +structure B : A.S = struct + val x = 42 +end |