more edits

defs.tex

@@ -3,86 +3,69 @@
 \newcommand{\itm}[1]{\ensuremath{\mathit{#1}}}
 \newcommand{\ttm}[1]{\ensuremath{\text{\texttt{#1}}}}
 
-\if\edition\racketEd
-\newcommand{\LangInt}{\ensuremath{R_{\mathsf{Int}}}} % R0
-
-\newcommand{\LangVar}{$R_{\mathsf{Var}}$} % R1
-\newcommand{\LangVarM}{R_{\mathsf{Var}}}
+\newcommand{\LangInt}{\ensuremath{L_{\mathsf{Int}}}} % R0
 
-\newcommand{\LangVarANF}{\ensuremath{R^{\mathsf{ANF}}_{\mathsf{Var}}}}
-\newcommand{\LangVarANFM}{R^{\mathsf{ANF}}_{\mathsf{Var}}}
+\newcommand{\LangVar}{$L_{\mathsf{Var}}$} % R1
+\newcommand{\LangVarM}{L_{\mathsf{Var}}}
 
-\newcommand{\LangIf}{$R_{\mathsf{If}}$} %R2
-\newcommand{\LangIfM}{\ensuremath{R_{\mathsf{If}}}} %R2
-\newcommand{\LangIfANF}{\ensuremath{R^{\mathsf{ANF}}_{\mathsf{if}}}} %R2
-\fi
-
-\if\edition\pythonEd
-\newcommand{\LangInt}{\ensuremath{P_{\mathsf{Int}}}} % R0
-
-\newcommand{\LangVar}{$P_{\mathsf{Var}}$} % R1
-\newcommand{\LangVarM}{P_{\mathsf{Var}}}
-
-\newcommand{\LangVarANF}{\ensuremath{P^{\mathsf{ANF}}_{\mathsf{Var}}}}
-\newcommand{\LangVarANFM}{P^{\mathsf{ANF}}_{\mathsf{Var}}}
-
-\newcommand{\LangIf}{$P_{\mathsf{If}}$} %R2
-\newcommand{\LangIfM}{\ensuremath{P_{\mathsf{If}}}} %R2
-\newcommand{\LangIfANF}{\ensuremath{P^{\mathsf{ANF}}_{\mathsf{if}}}} %R2
-\fi
+\newcommand{\LangVarANF}{\ensuremath{L^{\mathsf{ANF}}_{\mathsf{Var}}}}
+\newcommand{\LangVarANFM}{L^{\mathsf{ANF}}_{\mathsf{Var}}}
 
+\newcommand{\LangIf}{$L_{\mathsf{If}}$} %R2
+\newcommand{\LangIfM}{\ensuremath{L_{\mathsf{If}}}} %R2
+\newcommand{\LangIfANF}{\ensuremath{L^{\mathsf{ANF}}_{\mathsf{if}}}} %R2
 
 \newcommand{\LangCVar}{$C_{\mathsf{Var}}$} % C0
 \newcommand{\LangCVarM}{C_{\mathsf{Var}}} % C0
 \newcommand{\LangCIf}{$C_{\mathsf{If}}$} %C1
 \newcommand{\LangCIfM}{\ensuremath{C_{\mathsf{If}}}} %C1
-\newcommand{\LangVec}{$R_{\mathsf{Vec}}$} %R3
-\newcommand{\LangVecM}{R_{\mathsf{Vec}}} %R3
-\newcommand{\LangStruct}{\ensuremath{R^{\mathsf{Struct}}_{\mathsf{Vec}}}} %R^s3
+\newcommand{\LangVec}{$L_{\mathsf{Vec}}$} %R3
+\newcommand{\LangVecM}{L_{\mathsf{Vec}}} %R3
+\newcommand{\LangStruct}{\ensuremath{L^{\mathsf{Struct}}_{\mathsf{Vec}}}} %L^s3
 \newcommand{\LangCVec}{$C_{\mathsf{Vec}}$} %C2
 \newcommand{\LangCVecM}{C_{\mathsf{Vec}}} %C2
-\newcommand{\LangVecANF}{\ensuremath{R^{\mathsf{ANF}}_{\mathsf{Vec}}}} %R3
-\newcommand{\LangVecANFM}{R^{\mathsf{ANF}}_{\mathsf{Vec}}} %R3
-\newcommand{\LangAlloc}{\ensuremath{R_{\mathsf{Alloc}}}} %R3'
-\newcommand{\LangFun}{$R_{\mathsf{Fun}}$} %R4
-\newcommand{\LangFunM}{R_{\mathsf{Fun}}} %R4
+\newcommand{\LangVecANF}{\ensuremath{L^{\mathsf{ANF}}_{\mathsf{Vec}}}} %R3
+\newcommand{\LangVecANFM}{L^{\mathsf{ANF}}_{\mathsf{Vec}}} %R3
+\newcommand{\LangAlloc}{\ensuremath{L_{\mathsf{Alloc}}}} %R3'
+\newcommand{\LangFun}{$L_{\mathsf{Fun}}$} %R4
+\newcommand{\LangFunM}{L_{\mathsf{Fun}}} %R4
 \newcommand{\LangCFun}{$C_{\mathsf{Fun}}$} %C3
 \newcommand{\LangCFunM}{C_{\mathsf{Fun}}} %C3
-\newcommand{\LangFunANF}{\ensuremath{R^{\mathsf{ANF}}_{\mathsf{Fun}}}} %R4
-\newcommand{\LangFunRef}{$R_{\mathsf{FunRef}}$} %F1
-\newcommand{\LangFunRefM}{R_{\mathsf{FunRef}}} %F1
-\newcommand{\LangFunRefAlloc}{\ensuremath{R^{\mathsf{Alloc}}_{\mathsf{FunRef}}}} %R'4
-\newcommand{\LangLam}{$R_\lambda$} %R5
-\newcommand{\LangLamM}{\ensuremath{R_\lambda}} %R5
+\newcommand{\LangFunANF}{\ensuremath{L^{\mathsf{ANF}}_{\mathsf{Fun}}}} %R4
+\newcommand{\LangFunRef}{$L_{\mathsf{FunRef}}$} %F1
+\newcommand{\LangFunRefM}{L_{\mathsf{FunRef}}} %F1
+\newcommand{\LangFunRefAlloc}{\ensuremath{L^{\mathsf{Alloc}}_{\mathsf{FunRef}}}} %R'4
+\newcommand{\LangLam}{$L_\lambda$} %R5
+\newcommand{\LangLamM}{\ensuremath{L_\lambda}} %R5
 \newcommand{\LangCLam}{$C_{\mathsf{Clos}}$} %C4
 \newcommand{\LangCLamM}{C_{\mathsf{Clos}}} %C4
-\newcommand{\LangAny}{$R_{\mathsf{Any}}$} %R6
-\newcommand{\LangAnyM}{R_{\mathsf{Any}}} %R6
-\newcommand{\LangAnyFunRef}{\ensuremath{R^{\mathsf{FunRef}}_{\mathsf{Any}}}} %R'6
-\newcommand{\LangAnyAlloc}{\ensuremath{R^{\mathsf{Alloc}}_{\mathsf{Any}}}} %R'6
+\newcommand{\LangAny}{$L_{\mathsf{Any}}$} %R6
+\newcommand{\LangAnyM}{L_{\mathsf{Any}}} %R6
+\newcommand{\LangAnyFunRef}{\ensuremath{L^{\mathsf{FunRef}}_{\mathsf{Any}}}} %R'6
+\newcommand{\LangAnyAlloc}{\ensuremath{L^{\mathsf{Alloc}}_{\mathsf{Any}}}} %R'6
 \newcommand{\LangCAny}{$C_{\mathsf{Any}}$} %C5
 \newcommand{\LangCAnyM}{C_{\mathsf{Any}}} %C5
-\newcommand{\LangDyn}{$R_{\mathsf{Dyn}}$} %R7
-\newcommand{\LangDynM}{R_{\mathsf{Dyn}}} %R7
-\newcommand{\LangDynFunRef}{\ensuremath{R^{\mathsf{FunRef}}_{\mathsf{Dyn}}}} %R'7
-\newcommand{\LangLoop}{$R_{\mathsf{While}}$} %R8
-\newcommand{\LangLoopM}{R_{\mathsf{While}}} %R8
-\newcommand{\LangLoopFunRef}{\ensuremath{R^{\mathsf{FunRef}}_{\mathsf{While}}}} %R'8
-\newcommand{\LangLoopAlloc}{\ensuremath{R^{\mathsf{Alloc}}_{\mathsf{While}}}} %R'8
+\newcommand{\LangDyn}{$L_{\mathsf{Dyn}}$} %R7
+\newcommand{\LangDynM}{L_{\mathsf{Dyn}}} %R7
+\newcommand{\LangDynFunRef}{\ensuremath{L^{\mathsf{FunRef}}_{\mathsf{Dyn}}}} %R'7
+\newcommand{\LangLoop}{$L_{\mathsf{While}}$} %R8
+\newcommand{\LangLoopM}{L_{\mathsf{While}}} %R8
+\newcommand{\LangLoopFunRef}{\ensuremath{L^{\mathsf{FunRef}}_{\mathsf{While}}}} %R'8
+\newcommand{\LangLoopAlloc}{\ensuremath{L^{\mathsf{Alloc}}_{\mathsf{While}}}} %R'8
 \newcommand{\LangCLoop}{$C_{\circlearrowleft}$} %C7
 \newcommand{\LangCLoopM}{C_{\circlearrowleft}} %C7
-\newcommand{\LangLoopANF}{\ensuremath{R^{\mathsf{ANF}}_{\mathsf{While}}}} %R8
-\newcommand{\LangArray}{\ensuremath{R^{\mathsf{Vecof}}_{\mathsf{While}}}} %R^s3
-\newcommand{\LangGrad}{$R_{\mathsf{?}}$} %R9
-\newcommand{\LangGradM}{R_{\mathsf{?}}} %R9
-\newcommand{\LangCast}{$R_{\mathsf{cast}}$} %R9'
-\newcommand{\LangCastM}{R_{\mathsf{cast}}} %R9'
-\newcommand{\LangProxy}{\ensuremath{R_{\mathsf{proxy}}}} %R8''
-\newcommand{\LangPVec}{\ensuremath{R_{\mathsf{PVec}}}} %R8''
-\newcommand{\LangPVecFunRef}{\ensuremath{R^{\mathsf{FunRef}}_{\mathsf{PVec}}}} %R8''
-\newcommand{\LangPVecAlloc}{\ensuremath{R^{\mathsf{Alloc}}_{\mathsf{PVec}}}} %R8''
-\newcommand{\LangPoly}{\ensuremath{R_{\mathsf{Poly}}}} %R10
-\newcommand{\LangInst}{\ensuremath{R_{\mathsf{Inst}}}} %R'10
+\newcommand{\LangLoopANF}{\ensuremath{L^{\mathsf{ANF}}_{\mathsf{While}}}} %R8
+\newcommand{\LangArray}{\ensuremath{L^{\mathsf{Vecof}}_{\mathsf{While}}}} %L^s3
+\newcommand{\LangGrad}{$L_{\mathsf{?}}$} %R9
+\newcommand{\LangGradM}{L_{\mathsf{?}}} %R9
+\newcommand{\LangCast}{$L_{\mathsf{cast}}$} %R9'
+\newcommand{\LangCastM}{L_{\mathsf{cast}}} %R9'
+\newcommand{\LangProxy}{\ensuremath{L_{\mathsf{proxy}}}} %R8''
+\newcommand{\LangPVec}{\ensuremath{L_{\mathsf{PVec}}}} %R8''
+\newcommand{\LangPVecFunRef}{\ensuremath{L^{\mathsf{FunRef}}_{\mathsf{PVec}}}} %R8''
+\newcommand{\LangPVecAlloc}{\ensuremath{L^{\mathsf{Alloc}}_{\mathsf{PVec}}}} %R8''
+\newcommand{\LangPoly}{\ensuremath{L_{\mathsf{Poly}}}} %R10
+\newcommand{\LangInst}{\ensuremath{L_{\mathsf{Inst}}}} %R'10
 \newcommand{\LangCLoopPVec}{\ensuremath{C^{\mathsf{PVec}}_{\circlearrowleft}}} %Cp7
 
 \newcommand{\LangXVar}{$\mathrm{x86}_{\mathsf{Var}}$} % pseudo x86_0