[CakeML-Dev] fbs-type-sound

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Tue Nov 1 21:47:05 UTC 2016


fbs-type-sound is now merged. Is anyone still using the branch? I'll delete
it otherwise.

On 29 October 2016 at 07:17, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk> wrote:

> I'm running a regression test on the merge of master and fbs-type-sound.
> If it succeeds, I'll merge.
>
> fbs-type-sound (mostly due to Scott) contains the following enhancements:
> adds type annotations,
> reorganises the semantics so the functional big-step is primary, the rest
> are relegated to alt_semantics,
> refactoring and maintenance in support of the above.
>
> The translator still uses the unclocked relational semantics, and will
> continue to do so in the near future. (There are some commits on
> fbs-type-sound towards making the translator use functional big step, but
> they are later reverted.)
>
> Continued refactoring work has happened on the env-refactor branch...
> after fbs-type-sound merges with master, it would be a good idea to merge
> master into env-refactor and see what the damage is ...
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161101/a2c1c9f8/attachment.html>


More information about the Developers mailing list