Skip to content
  • Martijn Vervoort's avatar
    bug fixes: · 30b1b7f2
    Martijn Vervoort authored
    - unused dynamics in where/let clauses do not cause a rule doesn't match
      error in overloading.icl instead they are ignored
    - default behaviour changed e.g.
    f (i :: Int, j :: Int) = abort "Int"
    f (r :: Real, s :: Real) = abort "Real"
    f _ = abort "stop"
    The compiler first matched on the tuple and then did the dynamic pattern
    matches. But the last match did not call the last (default) alternative if it
    did not match.
    - some small changes