Commits on Nov 21, 2017

1. Update mlton compile options …

   Closes RedPRL#437
   
   MLton's `polyvariance` optimization duplicates small higher-order
   functions.
   
   One (unresolved, though usually not significant) issue is that
   polyvariance can duplicate code local to a function, even if it
   doesn't depend on the higher-orderness (see
   http://www.mlton.org/pipermail/mlton-devel/2002-January/021211.html).
   This seems consistent with the discussion at MLton/mlton#196.

   

   MatthewFluet committed Nov 21, 2017
   Configuration menu

   • View commit details
   • Copy full SHA for 47848a0
   • Browse repository at this point

   Copy the full SHA

   47848a0 View commit details

   Browse the repository at this point in the history