Context Navigation

200711-A-tock-slides.tex

Timestamp:

Nov 27, 2007, 3:12:31 PM (18 years ago)

Author:

neil.c.c.brown

Message:

Changed some example AST fragments to remove AltGuard, and changed an erroneous "type" into "data".

File:

1 edited

Unmodified

Added

Removed

r62	r63
162	162	data Meta = Meta SourcePos
163	163	data Node = Seq Meta [Node]
164	\| ~~(削除) AltGuard (削除ここまで)~~ Meta Node Node
164	\| (追記) While (追記ここまで) Meta Node Node
165	165	\| Name Meta String
166	166	\| ...
…	…
180	180	data Meta = Meta SourcePos
181	181	data Process = Seq Meta [Process]
182	\| ~~(削除) Alt Meta [AltGuard] (削除ここまで)~~
182	\| (追記) While Meta Expression Process (追記ここまで)
183	183	\| ...
184	data ~~(削除) AltGuard = AltGuard Meta Guard Process (削除ここまで)~~
184	data (追記) Expression = Conversion Meta Type Expression (追記ここまで)
185	185	\| ...
186	186	\end{lstlisting}
…	…
479	479	\lstset{emph={Constr}}
480	480	\begin{lstlisting}
481	~~(削除) type (削除ここまで)~~ Pattern =
481	(追記) data (追記ここまで) Pattern =
482	482	Don'tCare
483	483	\| Named String Pattern

Note: See TracChangeset for help on using the changeset viewer.