- 29 Dec, 2018 1 commit
-
-
Camil Staps authored
-
- 23 Dec, 2018 1 commit
-
-
Camil Staps authored
-
- 18 Dec, 2018 1 commit
-
-
Camil Staps authored
-
- 16 Dec, 2018 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 15 Dec, 2018 2 commits
-
-
Camil Staps authored
Make sure usage entries are sorted after collecting parent usages of constructors, fields and class members
-
Camil Staps authored
-
- 14 Dec, 2018 2 commits
-
-
Camil Staps authored
- Adapt to performance enhancements in Database.Native returning [!!] from getEntries - Add type_synonyms index array to avoid walking through entire database on unification queries
-
Camil Staps authored
Early fail for bad matches of small queries (e.g. one-letter queries from the VSCode plugin) to speed up ranking
-
- 13 Dec, 2018 1 commit
-
-
Camil Staps authored
-
- 11 Dec, 2018 3 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
Camil Staps authored
-
- 04 Dec, 2018 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 30 Nov, 2018 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 21 Nov, 2018 3 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
Camil Staps authored
-
- 20 Nov, 2018 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 18 Nov, 2018 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 17 Nov, 2018 7 commits
-
-
Camil Staps authored
-
Camil Staps authored
Use unambiguous [TVAssignment] instead of Unifier to figure out required context to avoid variable clashes (e.g. 'select :: [a] Int -> a' would require Array [] [] instead of Array [] a)
-
Camil Staps authored
-
Camil Staps authored
-
Camil Staps authored
-
Camil Staps authored
-
Camil Staps authored
-
- 16 Nov, 2018 1 commit
-
-
Camil Staps authored
-
- 15 Nov, 2018 1 commit
-
-
Camil Staps authored
-
- 14 Nov, 2018 1 commit
-
-
Camil Staps authored
-
- 06 Nov, 2018 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 21 Oct, 2018 4 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
Camil Staps authored
-
Camil Staps authored
-