Phased

[clhodapp]

For @cvogt.

What works:

• Basic extraction
• Basic infix operators
• Implicit extraction of contextual values in statement position (!)

What doesn't work:

• Comprehensive comprehensions
• Extracting inside of a block
• Ifs
• Patterns on the LHS of an extraction assigment

Also todo:

• Move verification that you don't do extraction in a lazy context into its own pre-untypecheck phase

Also, you can turn on debug printing on the repl by doing sys.props("flat_debug") = "true" (and set it to false to turn it back off)

[cvogt]

@clhodapp is supposed to stay open until the missing old features work again?

[cvogt]

I am considering publishing a 0.1 with current master. WDYT?

[clhodapp]

@cvogt Yes. I just made this PR to get a diff going.