[CakeML-dev] Lem pain

[Magnus Myreen]

My latest commit (2920d21389e752575a1e1d080525afbe86c539a9) puts back
the new Lem generated files. I've updated my local version of Lem.
(Why does Lem produce output with white space to the end of lines?) --
Magnus

On 6 December 2016 at 17:23, Magnus Myreen <magnus.myreen at gmail.com> wrote:
>> And 343c2e makes a bunch of unrelated Lem changes back...
>
> Sorry about that.
>
> On 6 December 2016 at 17:12, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk> wrote:
>> And 343c2e makes a bunch of unrelated Lem changes back...
>>
>> On 6 Dec 2016 16:33, "Magnus Myreen" <magnus.myreen at gmail.com> wrote:
>>>
>>> I had the same problem. Ramana's advice was: if you don't intend to
>>> change the Lem files, then the easiest solution is to uninstall Lem.
>>> -- Magnus
>>>
>>> On 6 December 2016 at 16:19,  <Michael.Norrish at data61.csiro.au> wrote:
>>> > Commit c3acbd96 seems to have made lots of completely unnecessary
>>> > changes to various lem-generated files.  I guess Ramana has changed his
>>> > lem-version?  Which version *should* we be using?
>>> >
>>> > Michael
>>> >
>>> > _______________________________________________
>>> > Developers mailing list
>>> > Developers at cakeml.org
>>> > https://lists.cakeml.org/listinfo/developers
>>>
>>> _______________________________________________
>>> Developers mailing list
>>> Developers at cakeml.org
>>> https://lists.cakeml.org/listinfo/developers