Currently in the AC solver, we can have something like 'a * … = 'a list * … as of today, a solution found by the system could associate 'a list to 'a which will be later rejected by occur check. A possible improvement could be to reject such solution earlier in the process.
Currently in the AC solver, we can have something like
'a * … = 'a list * …as of today, a solution found by the system could associate'a listto'awhich will be later rejected by occur check. A possible improvement could be to reject such solution earlier in the process.