1. 14 Jan, 2021 1 commit
  2. 13 Jan, 2021 1 commit
    • Camil Staps's avatar
      When ranking consider whether a required context has *only* free variables... · b7c9c2fd
      Camil Staps authored
      When ranking consider whether a required context has *only* free variables instead of whether it has *any* free variables
      
      The reasoning behind this is that unresolved instances with only free
      variables are more likely in good results. For example, the user may
      already realize that the function may be overloaded, and search for:
      
      	avg :: [a] -> a
      
      The intended function is overloaded, but the lack of general instances
      should not devalue its result.
      b7c9c2fd
  3. 04 Jan, 2021 2 commits
  4. 19 Dec, 2020 1 commit
  5. 14 Dec, 2020 1 commit
  6. 17 Nov, 2020 1 commit
  7. 09 Nov, 2020 1 commit
  8. 10 Oct, 2020 2 commits
  9. 21 Sep, 2020 1 commit
  10. 05 Sep, 2020 2 commits
  11. 17 Aug, 2020 1 commit
  12. 16 Aug, 2020 3 commits
  13. 11 Aug, 2020 1 commit
  14. 20 Jul, 2020 1 commit
  15. 13 Jul, 2020 1 commit
  16. 23 Jun, 2020 1 commit
  17. 22 Jun, 2020 2 commits
  18. 11 Jun, 2020 3 commits
  19. 08 May, 2020 1 commit
  20. 06 May, 2020 1 commit
  21. 10 Apr, 2020 1 commit
  22. 13 Mar, 2020 1 commit
  23. 09 Mar, 2020 2 commits
  24. 04 Mar, 2020 2 commits
  25. 05 Feb, 2020 1 commit
  26. 03 Dec, 2019 1 commit
  27. 14 Nov, 2019 2 commits
  28. 13 Nov, 2019 1 commit
  29. 29 Sep, 2019 1 commit