diff options
| author | Niklas Haas <git@nand.wakku.to> | 2014-02-15 08:41:40 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-02-15 21:56:18 +0000 |
| commit | 6b35adfb811d9e41e5bfa1c11963e441740c2836 (patch) | |
| tree | dc17a12c75235eb42ad9505176aa1b5097a7ede4 /latex-test/src/Simple | |
| parent | 50d1d18cc70cf6c8ffcf247743cd8af0ff9aae16 (diff) | |
Add test case for inter-module type/data family instances
These should show up in every place where the class is visible, and
indeed they do right now.
Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Diffstat (limited to 'latex-test/src/Simple')
0 files changed, 0 insertions, 0 deletions