Index: doc/theses/jiada_liang_MMath/relatedwork.tex
===================================================================
--- doc/theses/jiada_liang_MMath/relatedwork.tex	(revision 9398177386476da6b03c6876423397970cb283d0)
+++ doc/theses/jiada_liang_MMath/relatedwork.tex	(revision 6c8b76be93b407a63a16e71fb725c33f92b4303b)
@@ -2477,5 +2477,5 @@
 ... | Red
 ... | Green of string
-... | Blue of int * bool
+... | Blue of int * float
 \end{python}
 The color type can be constructed as a combination of a value from an int and a blue, using 
@@ -2488,5 +2488,5 @@
 >>> type stringList =
 ... | Empty
-... | Pair of string  * list
+... | Pair of string * stringList
 \end{python}
 
@@ -2496,9 +2496,9 @@
 
 \begin{python}
->>> let take_class = function
+>>> let take_class = functio
 ... | Monday | Wednesday -> "CS442"
 ... | Tuesday | Thursday -> "CS343"
 ... | Friday -> "Tutorial"
-... | _ -> "Take a break"
+... | _ -> "Take a break";;
 \end{python}
 
@@ -2510,14 +2510,16 @@
 Values of a product type can be named.
 \begin{python}
->>> let check_color = match c with
+>>> let check_color (c: color): string =
+... match c with
 ... | Red -> "Red"
 ... | Green g -> g
-... | Blue i, _ -> int_of_string i
+... | Blue (i, f) -> string_of_int i ^ string_of_float f;;
 \end{python}
 
 Recurisve function are often used to pattern match against a recurisve variant type.
 \begin{python}
->>> let rec len_of_string_list = match l with
+>>> let rec len_of_string_list(l: stringList): int =
+... match l with
 ... | Empty -> 0
-... | _ * r -> 1 + len_of_string_list r
-\end{python}
+... | Pair (_ , r) -> 1 + len_of_string_list r
+\end{python}