fix some markup
authorSimon Marlow <marlowsd@gmail.com>
Fri, 30 Apr 2010 14:03:05 +0000 (14:03 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 30 Apr 2010 14:03:05 +0000 (14:03 +0000)
report/exps.verb

index 1cb8b04..6d03017 100644 (file)
@@ -1358,30 +1358,26 @@ if @['a','b']@ is matched against "@[@\bot@,'x']@", then attempting to match
 
 \item These examples demonstrate refutable vs.~irrefutable
 matching:
-\bprog
-@
-(\ ~(x,y) -> 0) @"\bot"@    @"\Rightarrow"@    0
-(\  (x,y) -> 0) @"\bot"@    @"\Rightarrow"@    @"\bot"@
-@
-\eprog
-\bprog
-@
-(\ ~[x] -> 0) []    @"\Rightarrow"@    0
-(\ ~[x] -> x) []    @"\Rightarrow"@    @"\bot"@
-@
-\eprog
-\bprog
-@
-(\ ~[x,~(a,b)] -> x) [(0,1),@"\bot"@]    @"\Rightarrow"@    (0,1)
-(\ ~[x, (a,b)] -> x) [(0,1),@"\bot"@]    @"\Rightarrow"@    @"\bot"@
-@
-\eprog
-\bprog
-@
-(\  (x:xs) -> x:x:xs) @"\bot"@   @"\Rightarrow"@   @"\bot"@
-(\ ~(x:xs) -> x:x:xs) @"\bot"@   @"\Rightarrow"@   @"\bot"@:@"\bot"@:@"\bot"@
-@
-\eprogNoSkip
+
+\begin{tabular}{l}
+@(\ ~(x,y) -> 0) @$\bot$@    @$\Rightarrow$@    0@\\
+@(\  (x,y) -> 0) @$\bot$@    @$\Rightarrow$@    @$\bot$
+\end{tabular}
+
+\begin{tabular}{l}
+@(\ ~[x] -> 0) []    @$\Rightarrow$@    0@\\
+@(\ ~[x] -> x) []    @$\Rightarrow$@    @$\bot$
+\end{tabular}
+
+\begin{tabular}{l}
+@(\ ~[x,~(a,b)] -> x) [(0,1),@$\bot$@]    @$\Rightarrow$@    (0,1)@\\
+@(\ ~[x, (a,b)] -> x) [(0,1),@$\bot$@]    @$\Rightarrow$@    @$\bot$
+\end{tabular}
+
+\begin{tabular}{l}
+@(\  (x:xs) -> x:x:xs) @$\bot$@   @$\Rightarrow$@   @$\bot$\\
+@(\ ~(x:xs) -> x:x:xs) @$\bot$@   @$\Rightarrow$@   @$\bot$@:@$\bot$@:@$\bot$
+\end{tabular}
 
 \item 
 Consider the following declarations:
@@ -1393,13 +1389,13 @@ Consider the following declarations:
 \eprog
 These examples illustrate the difference in pattern matching
 between types defined by @data@ and @newtype@:
-\bprog
-@
-(\  (N True) -> True) @"\bot"@     @"\Rightarrow"@    @"\bot"@
-(\  (D True) -> True) @"\bot"@     @"\Rightarrow"@    @"\bot"@
-(\ ~(D True) -> True) @"\bot"@     @"\Rightarrow"@    True
-@
-\eprog
+
+\begin{tabular}{l}
+@(\  (N True) -> True) @"\bot"@     @"\Rightarrow"@    @"\bot"\\
+@(\  (D True) -> True) @"\bot"@     @"\Rightarrow"@    @"\bot"\\
+@(\ ~(D True) -> True) @"\bot"@     @"\Rightarrow"@    True@
+\end{tabular}
+
 Additional examples may be found in Section~\ref{datatype-renaming}.
 
 \end{enumerate}