carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-05 19:51:09 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Executable Semantics: 1st-class stacks (#296)

Browse Source 
Replaces low-level uses of `Cons` with a first-class `Stack` data structure.  Also removes an unused algorithm.
Co-authored-by: Jeremy Siek <jsiek@indiana.edu>

Possible next step: use `std::stack` instead.
This commit is contained in:
Dave Abrahams
2021-02-26 09:46:32 -08:00
committed by GitHub
parent 21917095a3
commit 29a59944fa
11 changed files with 352 additions and 204 deletions
Download Patch File Download Diff File Expand all files Collapse all files
executable_semantics/testdata/match_int.golden
Vendored
+1 -1
View File
@@ -169,7 +169,7 @@ env: t: 5, main: fun<main>,
--- handle value 0 with return 0;<1>(0,) --->
{
stack: top{0<-1>}
heap: fun<main>, 5,
heap: fun<main>, !!5,
env: main: fun<main>,
}
result: 0
executable_semantics/testdata/match_int_default.golden
Vendored
+1 -1
View File
@@ -211,7 +211,7 @@ env: _: 5, t: 5, main: fun<main>,
--- handle value 0 with return 0;<1>(0,) --->
{
stack: top{0<-1>}
heap: fun<main>, 5, !!5,
heap: fun<main>, !!5, !!5,
env: main: fun<main>,
}
result: 0
executable_semantics/testdata/tuple_match.golden
Vendored
+1 -1
View File
@@ -312,7 +312,7 @@ env: b: 2, a: 5, t: (0 = 5@3, 1 = 2@4), main: fun<main>,
--- handle value 0 with return ((a + b) - 7);<1>(0,) --->
{
stack: top{0<-1>}
heap: fun<main>, 5, 2, 5, 2, (0 = 5@3, 1 = 2@4), auto: a, auto: b, !!5, !!2,
heap: fun<main>, 5, 2, !!5, !!2, !!(0 = !!5@3, 1 = !!2@4), auto: a, auto: b, !!5, !!2,
env: main: fun<main>,
}
result: 0