Ilya Sergey

I didn't manage to get it past the parser phase: ``` ./suslik src/test/resources/synthesis/sequences/llist/llist_insert_head.syn ``` resulted in ``` Synthesis failed: Failed to parse the input: [3.29] failure: '`;'' expected but `:'...

Thanks! Which are the tests (i.e., ScalaTest implementations) covering the examples from the `sequences` folder? I don't think they are in the suite.

Thanks for digging into this. I don't think this ordering can be inferred in a general case (as it can be guessed in this example).

@AmritKumar Not sure. Records can be always modelled via pairs and appropriately implemented getters/setters (something we could think of for a higher-lever language).

The issue still persists in a code with >2 lines to be indented: ``` transition Pong (sender: Address) one = 1; cnt msg = {_tag : Main; to : pingAddr;...

There are still some issues: 1. Tabs and spaces are used inconsistently. For instance, the file below is formatted following the automatic indentation, so the tabs are inserted. It is...

@vaivaswatha Thanks for the fixes. I've just tried the last one. In fact, the two lines that fixed by `\t`-related issue are slightly different, but thanks for pointing this out:...

> (1) has the problem because it only understands if the => is at the end of the line. So "match" should be put on a new line. I'm not...

> Nested lets shouldn't have indents right? Correct. Neither should commands tgat go in the body of the last let, like that ‘match’.

Thanks, this looks better now. Here's another couple of minor issues: 1. Input: ``` fun (a : Int) => fun (z: Int) => z ``` After pressing TAB: ``` fun...