23 Jui
2020
23 Jui
'20
17:53
+type typeclass_ctx + = (ltype * lctx_length) list (* FIXME make it a set of lexps ? *)
Ici, le plus important est de documenter le context dans lequel ces lexps se trouvent (sinon leurs `Var` n'ont pas de sens et ne peuvent même pas se comparer). Autre chose: ajoute un FIXME qui dit qu'il faudrait remplacer cette liste par une structure de donnée qui permet la recherche en O(log N) ou mieux. Stefan