From ee4adf5ba8ff50b4580a18d197f9e05d36195ede Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 6 Dec 2005 16:26:55 +0000 Subject: Simple transfer tutorial touch-up. --- doc/transfer-tutorial.html | 8 ++++---- doc/transfer-tutorial.txt | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) (limited to 'doc') diff --git a/doc/transfer-tutorial.html b/doc/transfer-tutorial.html index 7ca1c2060..038ba1aca 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 14:26:07 2005 +Last update: Tue Dec 6 17:25:21 2005

@@ -77,7 +77,7 @@ There is an English concrete syntax for this grammar in

Generate tree module

-To be able to write Transfer programs which sue the types defined in +To be able to write Transfer programs which use the types defined in an abstract syntax, we first need to generate a Transfer file with a data type defintition corresponding to the abstract syntax. This is done with the transfer grammar printer: @@ -95,7 +95,7 @@ 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.tr.

Write transfer code

@@ -206,5 +206,5 @@ know which abstract sytnax to type check it in.

- + diff --git a/doc/transfer-tutorial.txt b/doc/transfer-tutorial.txt index dba660871..8f5c5179d 100644 --- a/doc/transfer-tutorial.txt +++ b/doc/transfer-tutorial.txt @@ -64,7 +64,7 @@ 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``. +file [tree.tr ../transfer/examples/aggregation/tree.tr]. = Write transfer code = -- cgit v1.2.3