s

[cc1516.git] / deliverables / report / sem.tex

diff --git a/deliverables/report/sem.tex b/deliverables/report/sem.tex
index cddc19b..8ff63cc 100644 (file)
--- a/deliverables/report/sem.tex
+++ b/deliverables/report/sem.tex
@@ -217,7 +217,8 @@ type and a field selector to a new type: $\texttt{apfs} : \tau \times
 \textit{fieldselector} \rightarrow \tau$. 
 
 Note that the inference rule only checks if a field selector can be applied on
-a certain type, and does not use the field selector to infer the type. This means that a program: \tt{f(x)\{ return x.hd; \}} can not be typed, and instead 
+a certain type, and does not use the field selector to infer the type. This 
+means that a program: \tt{f(x)\{ return x.hd; \}} can not be typed, and instead 
 \tt{f} must be explicitly typed as \tt{:: [a] -> a} (or something more 
 specialised) by the programmer. This could be improved by 
 changing the \tt{apfs} function to infer for type variables.