last important lambda patch that was missing in TL

Vicente-Arturo Romero-Zaldivar vicente.romero at
Mon Sep 2 15:00:24 PDT 2013

Hi all,

Last lambda patch developed by Maurizio and corresponding to bugs:

8016177: structural most specific and stuckness [1]
8016178: Order of unsticking functional expressions [2]

has been pushed to tl/langtools. The changeset can be seen at [3]

The same patch addressed both issues.




More information about the lambda-dev mailing list