[CakeML-dev] .lem files in the semantics
Johannes Åman Pohjola
pohjola at chalmers.se
Wed Dec 7 16:21:59 UTC 2016
I will happily abide by this moratorium, with one exception: some minor
changes to .lem files on the isse159 branch, that I hope to make a pull
request for very soon. The change to the .lem files is basically just to
replace nums with strings wherever they represent FFI indexes, which I
hope is innocent enough to cause you little additional merging pain.
On 2016-12-07 16:57, Scott Owens wrote:
> Can we put a moratorium on modifying the .lem files of the master branch until after the env-refactor branch is merged. Merging master into env-refactor creates a bunch of conflicts when this has happened. It is especially bad for the .lem files in the proofs subdirectory where the env-refactor branch no longer uses .lem files. The changes are at a real risk of being lost as the only practical way to resolve the conflicts is with a git checkout —ours followed by an attempt to re-apply the changes.
> Developers mailing list
> Developers at cakeml.org
More information about the Developers