Searched refs:TypeErrorPlaceHolder (Results 1 – 3 of 3) sorted by relevance
290 let src = TypeErrorPlaceHolder409 kNewType TypeErrorPlaceHolder k1
168 | TypeErrorPlaceHolder constructor1090 TypeErrorPlaceHolder -> "err"1140 TypeErrorPlaceHolder -> "type error place-holder"
687 newType TypeErrorPlaceHolder k690 do ty <- newType TypeErrorPlaceHolder k