Closed countvajhula closed 8 months ago
FYI @michaelballantyne @dzoep I'm merging these changes which are mostly what we talked about yesterday. One concern is that the "de-expander" is basically matching (but not validating) the whole core language in order to address #134 . But in flow.rkt
where we need this, it feels like we could already have the unparsed surface syntax, but I'm not sure if there is a way to just keep it around in addition to passing it to closed-floe
expander. Of course, when "get-surface-syntax
" is available from syntax-spec that would also solve this.
P.S. No action needed, enjoy your vacation!
Summary of Changes
This is our WIP from the most recent Qi meeting, including:
if
(and thereforeswitch
) that allows conditions to bind clauses (see: the ol' bind and switch)Public Domain Dedication