diff options
| author | Eduardo Julian | 2022-01-13 03:52:02 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-01-13 03:52:02 -0400 |
| commit | 68a17d42bab808290de0d975f4083b52b37d0706 (patch) | |
| tree | 2221a65f626dcd74223c67c048c2ad8a6bd3372d /stdlib/source/documentation | |
| parent | 7d9ba962cbb5c93367df3a0d2cdf3aea3a62c47d (diff) | |
Fixes for the pure-Lux JVM compiler machinery. [Part 6]
Diffstat (limited to 'stdlib/source/documentation')
| -rw-r--r-- | stdlib/source/documentation/lux/tool/compiler/phase.lux | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/stdlib/source/documentation/lux/tool/compiler/phase.lux b/stdlib/source/documentation/lux/tool/compiler/phase.lux index 088873701..0ef45f8db 100644 --- a/stdlib/source/documentation/lux/tool/compiler/phase.lux +++ b/stdlib/source/documentation/lux/tool/compiler/phase.lux @@ -20,14 +20,13 @@ ($.default /.Wrapper) ($.default /.result') ($.default /.result) - ($.default /.get_state) - ($.default /.set_state) + ($.default /.state) + ($.default /.with) ($.default /.sub) ($.default /.failure) ($.default /.except) ($.default /.lifted) ($.default /.assertion) ($.default /.identity) - ($.default /.composite) - ($.default /.timed)] + ($.default /.composite)] [])) |