Alex Knauth

Results 244 comments of Alex Knauth
trafficstars

I've split those tests into a separate file which I can add to `compile-omit-paths`. When I do this it compiles and runs at the same time so the tests pass....

It might be that the first-depositing-participant could be the one to create the contract on an Account model, but not on a UTXO model. But the first-depositing-participant might not necessarily...

In these events: ``` A-deposit/escrow A-commit B-deposit ------------------------------ B-reveal ------------------------------ A-reveal ``` There is a constraint that `A-deposit/escrow` must happen before `B-reveal`, and that `A-commit` must happens before `B-reveal`. Also...

An alternative version?? ``` A-deposit/escrow B-deposit/escrow A-commit B-commit ---------------------------------- A-reveal B-reveal ``` Here there is a constraint that all 4 of the events above the line must happen before both...

We can make the initiating participant on Ethereum the first-depositing-participant, and worry about other backends later, and worry about being flexible with order later.

In what situation did that nested list expression parse as `(list 1 2 3 (list 4 . 5))`? I'm having trouble reproducing that bug: ```racket #lang sweet-exp racket list 1...

The precedence between `$` sublist and `\\` split is off. I thought something like ``` map $ lambda (x) {1 / x} \\ '(1 2 3) ``` was supposed to...

Okay. This definitely needs some tests then.

I managed to make an indenter that does nothing, so that it never un-indents a properly indented form: https://github.com/takikawa/sweet-racket/pull/33

@jackfirth @takikawa I modified the indenter in #33 to use normal s-expression indenting rules within an s-expression, and otherwise not change anything.