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 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'doc/transfer-tutorial.html') 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.

- + -- cgit v1.2.3