diff options
Diffstat (limited to 'stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis.lux')
-rw-r--r-- | stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis.lux index 825a2e8d6..65f84629a 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis.lux @@ -23,13 +23,13 @@ ["/[1]" // ["[0]" extension] ["/[1]" // + ["[0]" phase (.use "[1]#[0]" monad)] ["/" synthesis (.only Synthesis Operation Phase Extender Handler) ["[1][0]" simple]] ["[1][0]" analysis (.only Analysis) ["[2][0]" simple] ["[2][0]" complex]] [/// - ["[0]" phase (.use "[1]#[0]" monad)] [reference (.only) [variable (.only)]] [meta |