abbréviations: rentrer client/structure.resolve dans le serveur #44
Loading…
Reference in New Issue
There is no content yet.
Delete Branch "%!s(<nil>)"
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?
On voudrait faire rentrer la fonction "resolve" dans le serveur en faisant de "convert" une opération du module (L: LANG) qui est passée en argument à MultiEq.
Ça coince parce que le type de convert dépend de
Deep.t
, oùDeep.t
est défini commeMakeDeep(ME)
, oùME
est le résultat deMultiEq.Make
: on ne peut pas ajouter à l'entrée de MultiEq.Make un type qui dépend de sa sortie.Idée, faire en deux étages:
MultiEq.MakeStructure
, leMultiEq.Make
actuelMultiEq.MakeResolve
, qui est paramétré par un type "deep" construit sur MakeStructure, et qui contient la logique deresolve
on a peut-être besoin d'un truc du genre (currification)