Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension.

18 files changed, 12 insertions, 12 deletions

diff --git a/doc/transfer-tutorial.html b/doc/transfer-tutorial.html
index 038ba1aca..abc3668b3 100644
--- a/doc/transfer-tutorial.html
+++ b/doc/transfer-tutorial.html
@@ -7,7 +7,7 @@
 <P ALIGN="center"><CENTER><H1>Transfer tutorial</H1>
 <FONT SIZE="4">
 <I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR>
-Last update: Tue Dec  6 17:25:21 2005
+Last update: Tue Dec  6 17:32:55 2005
 </FONT></CENTER>
 
 <P></P>
@@ -85,7 +85,7 @@ This is done with the <CODE>transfer</CODE> grammar printer:
 <PRE>
   $ gf
   &gt; i English.gf
-  &gt; pg -printer=transfer | wf tree.tr
+  &gt; pg -printer=transfer | wf tree.tra
 </PRE>
 <P></P>
 <P>
@@ -95,13 +95,13 @@ abstract syntax module is not enough. FIXME: why?
 </P>
 <P>
 The command sequence above writes a Transfer data type definition to the
-file <A HREF="../transfer/examples/aggregation/tree.tr">tree.tr</A>.
+file <A HREF="../transfer/examples/aggregation/tree.tra">tree.tra</A>.
 </P>
 <A NAME="toc5"></A>
 <H1>Write transfer code</H1>
 <P>
 We write the Transfer program 
-<A HREF="../transfer/examples/aggregation/aggregate.tr">aggregate.tr</A>.
+<A HREF="../transfer/examples/aggregation/aggregate.tra">aggregate.tra</A>.
 </P>
 <P>
 FIXME: explain the code
@@ -123,10 +123,10 @@ Here, <CODE>&lt;lib&gt;</CODE> is the path to search for any modules which you i
 in your Transfer program. You can give several <CODE>-i</CODE> flags.
 </P>
 <P>
-So, to compile <CODE>aggregate.tr</CODE> which we created above, we use:
+So, to compile <CODE>aggregate.tra</CODE> which we created above, we use:
 </P>
 <PRE>
-  $ transferc aggregate.tr
+  $ transferc aggregate.tra
 </PRE>
 <P></P>
 <P>
diff --git a/doc/transfer-tutorial.txt b/doc/transfer-tutorial.txt
index 8f5c5179d..3f7c271e8 100644
--- a/doc/transfer-tutorial.txt
+++ b/doc/transfer-tutorial.txt
@@ -56,7 +56,7 @@ This is done with the ``transfer`` grammar printer:
 ```
 $ gf
 > i English.gf
-> pg -printer=transfer | wf tree.tr
+> pg -printer=transfer | wf tree.tra
 ```
 
 Note that you need to load a concrete syntax which uses the abstract
@@ -64,13 +64,13 @@ syntax that you want to create a Transfer data type for. Loading just the
 abstract syntax module is not enough. FIXME: why?
 
 The command sequence above writes a Transfer data type definition to the
-file [tree.tr ../transfer/examples/aggregation/tree.tr].
+file [tree.tra ../transfer/examples/aggregation/tree.tra].
 
 
 = Write transfer code =
 
 We write the Transfer program 
-[aggregate.tr ../transfer/examples/aggregation/aggregate.tr].
+[aggregate.tra ../transfer/examples/aggregation/aggregate.tra].
 
 FIXME: explain the code
 
@@ -88,10 +88,10 @@ $ transferc -i<lib> <transfer program>
 Here, ``<lib>`` is the path to search for any modules which you import
 in your Transfer program. You can give several ``-i`` flags.
 
-So, to compile ``aggregate.tr`` which we created above, we use:
+So, to compile ``aggregate.tra`` which we created above, we use:
 
 ```
-$ transferc aggregate.tr
+$ transferc aggregate.tra
 ```
 
 The creates the Transfer Core file ``aggregate.trc``.
diff --git a/src/Transfer/CompilerAPI.hs b/src/Transfer/CompilerAPI.hs
index 020393a02..38cb58dd0 100644
--- a/src/Transfer/CompilerAPI.hs
+++ b/src/Transfer/CompilerAPI.hs
@@ -44,7 +44,7 @@ loadModule = loadModule_ []
                      Ok  m    -> return m 
     let load = [ i | Import (Ident i) <- is ] \\ ms
     let path' = directoryOf f : path
-    files <- mapM (findFile path' . (++".tr")) load
+    files <- mapM (findFile path' . (++".tra")) load
     dss <- mapM (loadModule_ (load++ms) path) files
     return $ concat (dss++[ds])
 
diff --git a/transfer/examples/aggregation/aggregate.tr b/transfer/examples/aggregation/aggregate.tra
index b71ccfef2..b71ccfef2 100644
--- a/transfer/examples/aggregation/aggregate.tr
+++ b/transfer/examples/aggregation/aggregate.tra
diff --git a/transfer/examples/aggregation/tree.tr b/transfer/examples/aggregation/tree.tra
index 5515efa21..5515efa21 100644
--- a/transfer/examples/aggregation/tree.tr
+++ b/transfer/examples/aggregation/tree.tra
diff --git a/transfer/examples/disjpatt.tr b/transfer/examples/disjpatt.tra
index 740e08a7b..740e08a7b 100644
--- a/transfer/examples/disjpatt.tr
+++ b/transfer/examples/disjpatt.tra
diff --git a/transfer/examples/exp.tr b/transfer/examples/exp.tra
index e54b82055..e54b82055 100644
--- a/transfer/examples/exp.tr
+++ b/transfer/examples/exp.tra
diff --git a/transfer/examples/fib.tr b/transfer/examples/fib.tra
index 43e533b1f..43e533b1f 100644
--- a/transfer/examples/fib.tr
+++ b/transfer/examples/fib.tra
diff --git a/transfer/examples/layout.tr b/transfer/examples/layout.tra
index ad35af376..ad35af376 100644
--- a/transfer/examples/layout.tr
+++ b/transfer/examples/layout.tra
diff --git a/transfer/examples/list.tr b/transfer/examples/list.tra
index 253c29e02..253c29e02 100644
--- a/transfer/examples/list.tr
+++ b/transfer/examples/list.tra
diff --git a/transfer/examples/numerals.tr b/transfer/examples/numerals.tra
index 31bac33ac..31bac33ac 100644
--- a/transfer/examples/numerals.tr
+++ b/transfer/examples/numerals.tra
diff --git a/transfer/examples/stoneage.tr b/transfer/examples/stoneage.tra
index e48c519e6..e48c519e6 100644
--- a/transfer/examples/stoneage.tr
+++ b/transfer/examples/stoneage.tra
diff --git a/transfer/examples/test.tr b/transfer/examples/test.tra
index 0abb933ef..0abb933ef 100644
--- a/transfer/examples/test.tr
+++ b/transfer/examples/test.tra
diff --git a/transfer/examples/widesnake.tr b/transfer/examples/widesnake.tra
index e27bd5981..e27bd5981 100644
--- a/transfer/examples/widesnake.tr
+++ b/transfer/examples/widesnake.tra
diff --git a/transfer/lib/array.tr b/transfer/lib/array.tra
index e91fe35e7..e91fe35e7 100644
--- a/transfer/lib/array.tr
+++ b/transfer/lib/array.tra
diff --git a/transfer/lib/bool.tr b/transfer/lib/bool.tra
index 2639422b7..2639422b7 100644
--- a/transfer/lib/bool.tr
+++ b/transfer/lib/bool.tra
diff --git a/transfer/lib/nat.tr b/transfer/lib/nat.tra
index b13a809ed..b13a809ed 100644
--- a/transfer/lib/nat.tr
+++ b/transfer/lib/nat.tra
diff --git a/transfer/lib/prelude.tr b/transfer/lib/prelude.tra
index fe2d1b296..fe2d1b296 100644
--- a/transfer/lib/prelude.tr
+++ b/transfer/lib/prelude.tra