1. 27 May, 2014 2 commits
  2. 19 May, 2014 1 commit
  3. 14 May, 2014 1 commit
  4. 04 May, 2014 2 commits
  5. 07 Apr, 2014 1 commit
  6. 20 Jan, 2014 1 commit
  7. 17 Jan, 2014 1 commit
  8. 13 Jan, 2014 1 commit
  9. 28 Dec, 2013 1 commit
  10. 27 Dec, 2013 1 commit
  11. 23 Dec, 2013 1 commit
  12. 19 Dec, 2013 1 commit
  13. 05 Dec, 2013 1 commit
  14. 11 Nov, 2013 2 commits
  15. 30 Oct, 2013 1 commit
  16. 27 Sep, 2013 1 commit
  17. 05 Sep, 2013 1 commit
  18. 08 Aug, 2013 1 commit
  19. 17 Jul, 2013 1 commit
  20. 10 Jul, 2013 1 commit
  21. 04 Jul, 2013 2 commits
    • Björn Peemöller 's avatar
    • Björn Peemöller 's avatar
      Extensive improvements of the type inference. · ede6ed2e
      Björn Peemöller authored
      The old implementation had some flaws:
      
        - The type signature of a function was not taken into account during
          inference, leading in a type divergence of the function and its body.
      
        - Because of missing annotations, rules, rule variables and
          patten variables could not be typed,
          leading to a more complicated structure.
      
        - Identifier (type `QName`) now also get a type annotation in patterns
          and function/constructor calls. This allows the annotation with a
          fresh variant of their type during the annotation phase and removes
          the necessity to lookup their types during inference.
      
        - The `ErrorState` and substituion functionality are now extracted into
          seperate modules to allow re-usage.
      ede6ed2e
  22. 02 Jul, 2013 2 commits
    • Björn Peemöller 's avatar
      Fixed bug in type inference. · abdee974
      Björn Peemöller authored
      Although the type inference takes into account the type signature of
      functions during inference, the resulting declarations got the inferred
      type of the function rule, which could be more general.
      
      The new implementation now checks whether the type provided by the
      function signature is an instance of the inferred type and keeps it.
      abdee974
    • Björn Peemöller 's avatar
      Extended type inference to also support local program environment · 0e602cfc
      Björn Peemöller authored
      The original implementation required the imported modules to be available
      using the curry system's load path. Two new functions now also allow
      passing a local environment, mapping module names to FlatCurry programs,
      to be passed alternatively. In consequence, no IO is necessary.
      0e602cfc
  23. 30 May, 2013 1 commit
  24. 29 May, 2013 2 commits
  25. 28 May, 2013 1 commit
  26. 26 May, 2013 1 commit
  27. 24 May, 2013 1 commit
  28. 20 May, 2013 1 commit
  29. 10 May, 2013 2 commits
  30. 29 Apr, 2013 1 commit
  31. 26 Apr, 2013 1 commit
  32. 25 Apr, 2013 1 commit
  33. 23 Apr, 2013 1 commit