125faad936
This is nasty. The following
```
if entry.answers.contains answer then pure () -- if answer was already found, then do nothing
else
let newEntry := { answers := entry.answers.push answer, .. entry };
modify $ fun s => { tableEntries := s.tableEntries.insert key newEntry, .. s };
entry.waiters.forM (wakeUp answer)
```
was being parsed as
```
if entry.answers.contains answer then pure () -- if answer was already found, then do nothing
else
(let newEntry := { answers := entry.answers.push answer, .. entry };
modify $ fun s => { tableEntries := s.tableEntries.insert key newEntry, .. s });
entry.waiters.forM (wakeUp answer)
```
|
||
|---|---|---|
| .. | ||
| cmake | ||
| frontends/lean | ||
| Init | ||
| initialize | ||
| kernel | ||
| library | ||
| runtime | ||
| shared | ||
| shell | ||
| tests/util | ||
| util | ||
| CMakeLists.txt | ||
| config.h.in | ||
| CTestConfig.cmake | ||
| CTestCustom.cmake.in | ||
| githash.h.in | ||
| memcheck.supp | ||
| version.h.in | ||