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