diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-06 16:26:55 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-06 16:26:55 +0000 |
| commit | ee4adf5ba8ff50b4580a18d197f9e05d36195ede (patch) | |
| tree | f12c7b7cc839a35735313c584b96c9e5febc5f2b /doc/transfer-tutorial.html | |
| parent | 41aaed58d4734b7cec5a4d2567283cb818f77cbb (diff) | |
Simple transfer tutorial touch-up.
Diffstat (limited to 'doc/transfer-tutorial.html')
| -rw-r--r-- | doc/transfer-tutorial.html | 8 |
1 files changed, 4 insertions, 4 deletions
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 @@ <P ALIGN="center"><CENTER><H1>Transfer tutorial</H1> <FONT SIZE="4"> <I>Author: Björn Bringert <bringert@cs.chalmers.se></I><BR> -Last update: Tue Dec 6 14:26:07 2005 +Last update: Tue Dec 6 17:25:21 2005 </FONT></CENTER> <P></P> @@ -77,7 +77,7 @@ There is an English concrete syntax for this grammar in <A NAME="toc4"></A> <H1>Generate tree module</H1> <P> -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 <CODE>transfer</CODE> grammar printer: @@ -95,7 +95,7 @@ abstract syntax module is not enough. FIXME: why? </P> <P> The command sequence above writes a Transfer data type definition to the -file <CODE>tree.tr</CODE>. +file <A HREF="../transfer/examples/aggregation/tree.tr">tree.tr</A>. </P> <A NAME="toc5"></A> <H1>Write transfer code</H1> @@ -206,5 +206,5 @@ know which abstract sytnax to type check it in. </P> <!-- html code generated by txt2tags 2.0 (http://txt2tags.sf.net) --> -<!-- cmdline: txt2tags darcs.txt transfer-reference.txt transfer-tutorial.txt transfer.txt --> +<!-- cmdline: txt2tags transfer-tutorial.txt --> </BODY></HTML> |