uwplse / syncro

Synthesis of Incremental Operations
2 stars 1 forks source link

Improve printing #21

Open Sumith1896 opened 7 years ago

Sumith1896 commented 7 years ago

Few things can be done here for a better end-user experience:

One more important thing is putting the result of different updates together. As of now we next print all of them sequentially but it is slightly non-trivial than that because for say set-updates you might want to create some temporaries before the update in some cases.

All the above should be easy to handle and are not priority.