1. 11 Apr, 2021 5 commits
  2. 15 Feb, 2021 1 commit
  3. 22 Jan, 2021 1 commit
  4. 14 Jan, 2021 1 commit
  5. 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
  6. 04 Jan, 2021 2 commits
  7. 19 Dec, 2020 1 commit
  8. 14 Dec, 2020 1 commit
  9. 17 Nov, 2020 1 commit
  10. 09 Nov, 2020 1 commit
  11. 10 Oct, 2020 2 commits
  12. 21 Sep, 2020 1 commit
  13. 05 Sep, 2020 2 commits
  14. 17 Aug, 2020 1 commit
  15. 16 Aug, 2020 3 commits
  16. 11 Aug, 2020 1 commit
  17. 20 Jul, 2020 1 commit
  18. 13 Jul, 2020 1 commit
  19. 23 Jun, 2020 1 commit
  20. 22 Jun, 2020 2 commits
  21. 11 Jun, 2020 3 commits
  22. 08 May, 2020 1 commit
  23. 06 May, 2020 1 commit
  24. 10 Apr, 2020 1 commit
  25. 13 Mar, 2020 1 commit
  26. 09 Mar, 2020 2 commits
  27. 04 Mar, 2020 1 commit