Commits on Sep 22, 2023

1. Remove the double contract application introduced in #1194 …

   Because of #1228 we syntactically forbid contracts from containing free
   type variables. This was implemented in #1271 and #1272. As a result,
   the double contract application in #1194 became dead code. This PR
   removes the `%dualize%` primop, the `dualize` field in `Label` and the
   double application logic when constructing recursive environments for
   records.

   

   vkleen committed Sep 22, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 8b610bf
   • Browse repository at this point

   Copy the full SHA

   8b610bf View commit details

   Browse the repository at this point in the history