Permalink
Commits on Jun 10, 2014
  1. @dominiquedevriese

    Slight modification of Thomas' last fix in order to keep the annotate…

    …d constraints first in the inferred type
    dominiquedevriese committed with Mar 7, 2014
  2. @dominiquedevriese
  3. @dominiquedevriese
  4. @dominiquedevriese

    a new approach at generalisation of partial type signatures, which ta…

    …kes into account annotated constraints...
    dominiquedevriese committed with Mar 4, 2014
  5. @dominiquedevriese
  6. @dominiquedevriese

    return type variables from named wildcards, for safety like for type …

    …variables in extract_lty since this seems safer...
    dominiquedevriese committed with Feb 28, 2014
  7. @dominiquedevriese
  8. @dominiquedevriese
  9. @dominiquedevriese
  10. @dominiquedevriese

    add a comment to test

    dominiquedevriese committed with Feb 27, 2014
  11. @dominiquedevriese
  12. @dominiquedevriese
  13. @dominiquedevriese
  14. @dominiquedevriese

    Remove some ad hoc logic for the generalisation of wildcards. Instead…

    …, make some modifications to generalise wildcards through the same channels as when a type signature is absent. Specifically,
    
    * make a type signature hold a list of bound wildcards
    * make sure meta-variables from wildcards are not considered global type variables in the type checker, when adding the type signatures to the environment
    * modify the generalisation logic to consider the metavariables in the type signature for generalisation.
    dominiquedevriese committed with Feb 19, 2014
  15. @dominiquedevriese

    Meaningful type variable names for named wildcards

    When generating meta type variables for named wildcards, keep their names
    intact. Also, change their names from _a to tw_a when generalising.
    dominiquedevriese committed with Feb 13, 2014