Lines Matching refs:Type
120 print_trace_line(inspect{type:Type,module:M,written:[CurrentTerm|_],path:Pos}) :-
121 (Pos == [], Type == goal ->
757 inspect_subterm(0, inspect{top:Top,module:Module,type:Type,goalf:Tf}, Frame) ?- !,
760 Frame = inspect{top:Top,written:[WTop],path:[],module:Module,type:Type,goalf:Tf},
763 inspect_subterm(Choice, inspect{top:Top,type:Type,path:Pos0,module:Module,written:Written0,goalf:Tf}, Frame) :-
776 Frame = inspect{top:Top,type:Type,module:Module,path:Pos1,written:Written,goalf:Tf},
780 inspect_subterm(N, inspect{top:Top,type:Type,path:Pos,module:Module,written:Written,goalf:Tf}, Frame) :-
796 written:Written1,type:Type,goalf:Tf},
800 move_down(N, inspect{path:Pos,top:Top,written:Written,module:Module,type:Type,goalf:Tf}, Frame) :-
802 traverse_down(N, 0, CPos, Top, Pos, Written, Type, Tf, Frame, Module).
805 traverse_down(N, N, CPos, Top, Pos, Written, Type, Tf, Frame, Module) :- !,
807 Frame = inspect{top:Top,path:Pos,written:Written,module:Module,type:Type,goalf:Tf},
809 traverse_down(N, M, CPos, Top, Pos, Written0, Type, Tf, Frame, Module) :-
817 traverse_down(N, M1, CPos, Top, [CPos|Pos], [NewTerm|Written0], Type, Tf, Frame, Module)
819 Frame = inspect{top:Top,module:Module,path:Pos,written:Written0,type:Type,goalf:Tf},
825 type:Type,goalf:Gf}, Frame) :-
830 type:Type,path:Pos1,goalf:Gf},
834 type:Type,goalf:Gf}, Frame) :-
848 type:Type,module:Module,goalf:Gf},
865 type:Type,goalf:Gf}, Frame) :-
882 type:Type,goalf:Gf},
916 type_of(Term, Type),
917 ( Type = goal -> printf(Stream, "(suspension)", [])
918 ; printf(Stream, "(%w)", [Type]) ).