Skip to content

Commit a2f2c71

Browse files
committed
Remove let expressions from bytecode
1 parent 213dbf0 commit a2f2c71

File tree

2 files changed

+0
-1
lines changed

2 files changed

+0
-1
lines changed

bytecode/bytecode.pdf

-262 Bytes
Binary file not shown.

bytecode/bytecode.tex

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -60,7 +60,6 @@ \section{Bytecode Abstract Syntax}
6060
& | & e.m(\overline{e}) &\\
6161
& | & e.f &\\
6262
& | & e.f = e &\\
63-
& | & \keyw{let} x=e~\keyw{in}~e &\\
6463
& | & \mathscr{L} &\\
6564
& | & e.\keyw{match} \overline{x:p.L \Rightarrow e} ~[\keyw{else} e] &\\
6665
& | & \overline{e ~| ~d} &\\

0 commit comments

Comments
 (0)