Searched refs:notConcrete (Results 1 – 7 of 7) sorted by relevance
2 errormsg: "instantiate 'notConcrete' explicitly"8 proc notConcrete[T](x, y: int): int =13 x = notConcrete
13 notConcrete: string27 notConcrete: string
146 notConcrete: bool158 …out: `#Provider: {ID: string, notConcrete: bool, a: int, b: a+1}, providers: {foo: {ID: "12345", n…
13 notConcrete: string
463 …notConcrete sv = wrap ("Data.SBV: Cannot validate the model, since " ++ show sv ++ " is not concre… function497 = notConcrete sv512 = notConcrete sv528 = notConcrete sv
842 int notConcrete; in ll_type_bytes() local843 ISZ_T size = LLTypeGetBytesUnchecked(type, ¬Concrete); in ll_type_bytes()844 if (notConcrete) { in ll_type_bytes()
941 notConcrete: bool961 notConcrete: bool968 notConcrete: bool