1
0
forked from GitHub/gf-core

Simple transfer tutorial touch-up.

This commit is contained in:
bringert
2005-12-06 16:26:55 +00:00
parent 95854ea11b
commit 099e5068d7
3 changed files with 42 additions and 43 deletions

View File

@@ -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 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>

View File

@@ -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 =