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 @@
Transfer tutorial
Author: Björn Bringert <bringert@cs.chalmers.se>
-Last update: Tue Dec 6 17:25:21 2005
+Last update: Tue Dec 6 17:32:55 2005
@@ -85,7 +85,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
@@ -95,13 +95,13 @@ abstract syntax module is not enough. FIXME: why?
The command sequence above writes a Transfer data type definition to the
-file tree.tr.
+file tree.tra.
Write transfer code
We write the Transfer program
-aggregate.tr.
+aggregate.tra.
FIXME: explain the code
@@ -123,10 +123,10 @@ Here, <lib> is the path to search for any modules which you i
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
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
Here, ```` 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
similarity index 100%
rename from transfer/examples/aggregation/aggregate.tr
rename to transfer/examples/aggregation/aggregate.tra
diff --git a/transfer/examples/aggregation/tree.tr b/transfer/examples/aggregation/tree.tra
similarity index 100%
rename from transfer/examples/aggregation/tree.tr
rename to transfer/examples/aggregation/tree.tra
diff --git a/transfer/examples/disjpatt.tr b/transfer/examples/disjpatt.tra
similarity index 100%
rename from transfer/examples/disjpatt.tr
rename to transfer/examples/disjpatt.tra
diff --git a/transfer/examples/exp.tr b/transfer/examples/exp.tra
similarity index 100%
rename from transfer/examples/exp.tr
rename to transfer/examples/exp.tra
diff --git a/transfer/examples/fib.tr b/transfer/examples/fib.tra
similarity index 100%
rename from transfer/examples/fib.tr
rename to transfer/examples/fib.tra
diff --git a/transfer/examples/layout.tr b/transfer/examples/layout.tra
similarity index 100%
rename from transfer/examples/layout.tr
rename to transfer/examples/layout.tra
diff --git a/transfer/examples/list.tr b/transfer/examples/list.tra
similarity index 100%
rename from transfer/examples/list.tr
rename to transfer/examples/list.tra
diff --git a/transfer/examples/numerals.tr b/transfer/examples/numerals.tra
similarity index 100%
rename from transfer/examples/numerals.tr
rename to transfer/examples/numerals.tra
diff --git a/transfer/examples/stoneage.tr b/transfer/examples/stoneage.tra
similarity index 100%
rename from transfer/examples/stoneage.tr
rename to transfer/examples/stoneage.tra
diff --git a/transfer/examples/test.tr b/transfer/examples/test.tra
similarity index 100%
rename from transfer/examples/test.tr
rename to transfer/examples/test.tra
diff --git a/transfer/examples/widesnake.tr b/transfer/examples/widesnake.tra
similarity index 100%
rename from transfer/examples/widesnake.tr
rename to transfer/examples/widesnake.tra
diff --git a/transfer/lib/array.tr b/transfer/lib/array.tra
similarity index 100%
rename from transfer/lib/array.tr
rename to transfer/lib/array.tra
diff --git a/transfer/lib/bool.tr b/transfer/lib/bool.tra
similarity index 100%
rename from transfer/lib/bool.tr
rename to transfer/lib/bool.tra
diff --git a/transfer/lib/nat.tr b/transfer/lib/nat.tra
similarity index 100%
rename from transfer/lib/nat.tr
rename to transfer/lib/nat.tra
diff --git a/transfer/lib/prelude.tr b/transfer/lib/prelude.tra
similarity index 100%
rename from transfer/lib/prelude.tr
rename to transfer/lib/prelude.tra