- 14 Jan, 2021 1 commit
-
-
Camil Staps authored
-
- 13 Jan, 2021 1 commit
-
-
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.
-
- 04 Jan, 2021 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 19 Dec, 2020 1 commit
-
-
Camil Staps authored
Make class arguments types instead of strings to be able to store classes with applied higher-kinded class variables
-
- 14 Dec, 2020 1 commit
-
-
Camil Staps authored
-
- 17 Nov, 2020 1 commit
-
-
Camil Staps authored
-
- 09 Nov, 2020 1 commit
-
-
Camil Staps authored
-
- 10 Oct, 2020 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 21 Sep, 2020 1 commit
-
-
Camil Staps authored
-
- 05 Sep, 2020 2 commits
-
-
Camil Staps authored
Add parameters to Cloogle.DB.Factory for whether parse warnings/errors of Clean.Doc should be traced to stderr
-
Camil Staps authored
-
- 17 Aug, 2020 1 commit
-
-
Mart Lubbers authored
-
- 16 Aug, 2020 3 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
Camil Staps authored
-
- 11 Aug, 2020 1 commit
-
-
Camil Staps authored
-
- 20 Jul, 2020 1 commit
-
-
Camil Staps authored
-
- 13 Jul, 2020 1 commit
-
-
Camil Staps authored
-
- 23 Jun, 2020 1 commit
-
-
Camil Staps authored
This is found for example in module frontend of the compiler: # dcl_mods & [module_n].dcl_common = common \\ common <-: ti_common_defs & module_n<-[0..]
-
- 22 Jun, 2020 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 11 Jun, 2020 3 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
Camil Staps authored
-
- 08 May, 2020 1 commit
-
-
Camil Staps authored
-
- 06 May, 2020 1 commit
-
-
Camil Staps authored
-
- 10 Apr, 2020 1 commit
-
-
Camil Staps authored
-
- 13 Mar, 2020 1 commit
-
-
Camil Staps authored
-
- 09 Mar, 2020 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 04 Mar, 2020 2 commits
-
-
Camil Staps authored
It is for example used as an argument to `prepare_unification`. There are cases however where this function is only called when unification is requested by the user, and otherwise no `prepare_unification` call is made.
-
Camil Staps authored
-
- 05 Feb, 2020 1 commit
-
-
Camil Staps authored
-
- 03 Dec, 2019 1 commit
-
-
Camil Staps authored
-
- 14 Nov, 2019 2 commits
-
-
Camil Staps authored
-
Camil Staps authored
-
- 13 Nov, 2019 1 commit
-
-
Camil Staps authored
-
- 29 Sep, 2019 1 commit
-
-
Camil Staps authored
-