thufschmitt/tix-papers
1
1
Fork 0
mirror of https://github.com/thufschmitt/tix-papers.git synced 2024-08-16 16:20:47 +03:00
Code Issues Projects Releases Wiki Activity

semantics: fix missing rec in let semantics

Browse Source
This commit is contained in:
regnat 2017-04-25 08:22:53 +02:00
parent 4ecb8f3711
commit b4d0e36856
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
semantics/semantics.tex
View File

@ -26,7 +26,7 @@ figure~\pref{fig:semantics:nix-light:patterns}
}{}
\dstepa{let rec \xone = \eone; $\cdots{}$; \xn = \en; in \e/}{%
\parbox[t]{10cm}{%
(let $r$ = \{ $x'_1$ = \eone; \} $\orthplus \cdots \orthplus$ \{ $x'_n$ = \en \}; in e)
(let rec $r$ = \{ $x'_1$ = \eone; \} $\orthplus \cdots \orthplus$ \{ $x'_n$ = \en \}; in e)
[ \\ \assign{\xone}{r.x'_1}; \ldots{}; \assign{\xn}{r.x'_n} \\ ]
}
}{}