8
que tiene esta línea de código que da el error se indica en la línea de asunto:F # - Un parámetro de tipo no se encuentra una restricción cuando 'k: comparación
type trie<'k,'a> = TNode of ('a option * Map<'k,('k,'a) trie>)
He intentado insertar "cuando k: comparación "de todas las maneras posibles que puedo pensar en vano. Solo puedo encontrar ejemplos de esto usando un parámetro genérico y no dos.
Gracias de antemano,
Bob
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
@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