Subject: impl typechecking errors
From: Craig Chambers (chambers@cs.washington.edu)
Date: Thu Apr 05 2001 - 20:43:14 PDT
I got the following weird itc error:
comparable.cecil:143: implementation type error
Kind: could not find legal instantiation of the callee
Sig: signature hash(hashable[`T], range:int):int
Recvs: -triple[A,B,C], *-
Callee: method hash(p@:triple[`T1 <= hashable[T1], `T2 <= hashable[T2], `T3 <=
hashable[T3]], range:int):int
Instantiated signature:
signature hash(hashable[`T], range:int):int
Instantiated receivers:
-triple[`#T1-2,`#T2-2,`#T3-2], *-
Available constraints:
SUB `#T-1 <= hashable[`#T-1]
SUB `#T-1 <= pair[`#T2-3,`#T3-3]
SUB `#T1-2 <= hashable[`#T2-3]
SUB `#T2-2 <= hashable[`#T3-3]
SUB `#T1-2 <= `#T2-3
SUB `#T2-3 <= hashable[`#T2-3]
SUB `#T2-2 <= `#T3-3
SUB `#T3-3 <= hashable[`#T3-3]
Callee instantiation constraints - could not solve them:
hash(p@:triple[`T1 <= hashable[T1], `T2 <= hashable[T2], `T3 <= hashable[T3]],
range:int):int
hash(p@:triple[`T1 <= hashable[T1], `T2 <= hashable[T2], `T3 <= hashable[T3]],
range:int):int
hash(p@:triple[`T1 <= hashable[T1], `T2 <= hashable[T2], `T3 <= hashable[T3]],
range:int):int
SUB triple[`#T1-2,`#T2-2,`#T3-2] <= triple[`#T1-2,`#T2-2,`#T3-2]
SUB int <= int
SUB int <= int
Vass, can you explain what the problem is with sending hash to a triple of
hashables?
-- Craig
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Fri Apr 06 2001 - 09:25:57 PDT