Remove explicit subscription underscores.
authorMatthijs Kooijman <matthijs@stdin.nl>
Thu, 27 Aug 2009 11:46:44 +0000 (13:46 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Thu, 27 Aug 2009 11:47:19 +0000 (13:47 +0200)
These are now autodetected.

Chapters/Normalization.tex

index 2acd1c8..cbef2c0 100644 (file)
@@ -480,8 +480,8 @@ translatable. A user-defined function is any other function.
 \starttrans
 x = E
 ~
-x Y0 ... Yi ... Yn                               \lam{Y_i} is not of a runtime representable type
----------------------------------------------    \lam{Y_i} is not a local variable reference
+x Y0 ... Yi ... Yn                               \lam{Yi} is not of a runtime representable type
+---------------------------------------------    \lam{Yi} is not a local variable reference
 x' = λy0 ... yi-1 f0 ... fm yi+1 ... yn .        \lam{f0 ... fm} = free local vars of \lam{Y_i}
       E y0 ... yi-1 Yi yi+1 ... yn   
 ~