diff options
Diffstat (limited to 'test/phase3')
| -rw-r--r-- | test/phase3/gloss-imported.tex | 3 | ||||
| -rw-r--r-- | test/phase3/gloss-root.tex | 9 | ||||
| -rw-r--r-- | test/phase3/legacy-importer.tex | 3 | ||||
| -rw-r--r-- | test/phase3/typed-importer.tex | 3 |
4 files changed, 3 insertions, 15 deletions
diff --git a/test/phase3/gloss-imported.tex b/test/phase3/gloss-imported.tex deleted file mode 100644 index db0cf4f..0000000 --- a/test/phase3/gloss-imported.tex +++ /dev/null @@ -1,3 +0,0 @@ -\begin{signature}\label{phase3_gloss_imported} - $\unions{X}$ is a set. -\end{signature} diff --git a/test/phase3/gloss-root.tex b/test/phase3/gloss-root.tex deleted file mode 100644 index 9d4ce19..0000000 --- a/test/phase3/gloss-root.tex +++ /dev/null @@ -1,9 +0,0 @@ -\import{test/phase3/gloss-imported.tex} - -\begin{signature}\label{phase3_gloss_root_first} - $\unions{X}$ is a set. -\end{signature} - -\begin{signature}\label{phase3_gloss_root_second} - $\fst{X}$ is a set. -\end{signature} diff --git a/test/phase3/legacy-importer.tex b/test/phase3/legacy-importer.tex deleted file mode 100644 index 62d1f2b..0000000 --- a/test/phase3/legacy-importer.tex +++ /dev/null @@ -1,3 +0,0 @@ -\import{test/phase3/typed-producer.tex} - -% This root remains outside the typed migration selection. diff --git a/test/phase3/typed-importer.tex b/test/phase3/typed-importer.tex new file mode 100644 index 0000000..a1ab3ff --- /dev/null +++ b/test/phase3/typed-importer.tex @@ -0,0 +1,3 @@ +\import{test/phase3/typed-producer.tex} + +% Every ordinary root follows the exact typed production route. |