From: Matthijs Kooijman Date: Thu, 27 Aug 2009 11:46:44 +0000 (+0200) Subject: Remove explicit subscription underscores. X-Git-Tag: final-thesis~277 X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=841a7f87134c7216e32ea002aae01ed8c357fec5;ds=sidebyside Remove explicit subscription underscores. These are now autodetected. --- diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index 2acd1c8..cbef2c0 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -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 ~