2011-06-26 1 views

Respuesta

5

Prueba esto:

type trie<'k,'a when 'k : comparison> = TNode of ('a option * Map<'k,trie<'k,'a>>) 
+0

yo estaba tratando de añadir la restricción cuando justo después de la 'k, no puedo creer que me perdí esta posibilidad. Siempre haces que estas cosas parezcan tan fáciles de kvb. :) – Beaker

+0

@Beaker - Me alegra ayudar. Como la restricción solo afecta a '' k ', es tentador tratar de ponerlo allí, pero las restricciones genéricas siempre vienen después de toda la lista de parámetros genéricos - ver http://msdn.microsoft.com/en-us/library/dd233203.aspx . – kvb

Cuestiones relacionadas