diff options
| author | Pierre-Marie Pédrot | 2019-10-14 06:59:20 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-10-14 06:59:20 +0200 |
| commit | 7623da4448381955ef063dcce6f4263d91fe0d74 (patch) | |
| tree | e3252800b2a4817ebb9dde4e34c2580e75142596 /test-suite | |
| parent | 28d3dba0a99e7d336881b3bcae0c5627102b5a5d (diff) | |
| parent | ce1d51dc40cdb65b01b559ab076f76b265ccf6c4 (diff) | |
Merge PR #10889: Fix #10888: Context import behaviour in modtype
Reviewed-by: ejgallego
Reviewed-by: ppedrot
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/bugs/closed/bug_10888.v | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test-suite/bugs/closed/bug_10888.v b/test-suite/bugs/closed/bug_10888.v new file mode 100644 index 0000000000..3c2e8011d7 --- /dev/null +++ b/test-suite/bugs/closed/bug_10888.v @@ -0,0 +1,11 @@ + +Module Type T. +Context {A:Type}. +End T. + +Module M(X:T). + Import X. + Check X.A. + Check A. + Definition B := A. +End M. |