Mentions légales du service

Skip to content
  • Andrei Paskevich's avatar
    WhyML: generalize in let-in (value restriction) · 07d793f0
    Andrei Paskevich authored
    Up to now, WhyML managed without generalization in let-in,
    since we only generalized function definitions in Erec.
    This patch adds generalization of arrow-types values,
    such as effectless Eany (= abstract local functions),
    anonymous functions and psymbols.
    07d793f0