repos/rhope: nworker_c.rhope comparison

comparison nworker_c.rhope @ 171:a32afde77abb

Remove some debug Print calls from compiler

author	Mike Pavone <pavone@retrodev.com>
date	Sun, 08 May 2011 18:36:33 -0700
parents	ac5c2d78663f
children	926b56a43f47

comparison

equal deleted inserted replaced

-:ac5c2d78663f
+:a32afde77abb
 {
 	does <- If[[input num] >= [[node]Inputs >>]] {}
 	{
 		,does not <- [[node]Input Types >>]Index[input num]
 		{
-			Print[[[[[["Input: "]Append[String[input num]]]Append[", count: "]]Append[String[count]]]Append[", wires: "]]Append[String[[[[node]Wires To >>]Index[ [input num]+[1] ]]Length]]]
 			count <- [~]Index[1]
 			,does not <- If[[count] = [[[[node]Wires To >>]Index[[input num]+[1]]]Length]]
 			{
 				does,does not <- [node]_Has Input Types[[input num]+[1]]
 			}
 Has Input Types?@NWorker Node[node:does,does not]
 {
 	If[[[node]Inputs >>] > [0]]
 	{
 		does,does not <- _Has Input Types[node,0]
-		{ Print["does have input types"] }
-		{ Print["does not have input types"] }
 	}{
 		does <- Yes
 	}
 }
 Propagate Type[nodelist,dest,prog,worker,type:out]
 {
 	If[[[dest]IO Num >>] >= [0]]
 	{
-		Print[[[["Propagate Type, Index: "]Append[String[[dest]Index >>]]]Append[" io num: "]]Append[String[[dest]IO Num >>]]]
 		node <- [nodelist]Index[[dest]Index >>]
 		[[node]Input Types >>]Index[[dest]IO Num >>]
 		{
-			Print[["Existing type: "]Append[[existing type]Name >>]]
 			existing type <- [~]Index[0]
 			new count <- [[~]Index[1]]+[1]
 			If[[[existing type]Name >>] = [[type]Name >>]]
 			{
 				If[[[existing type]Variant >>] = [[type]Variant >>]]
 				new type <- [[existing type]Set Variant[new variant]]Params <<[new params]
 			}{
 				new type <- Type Instance["Any Type"]
 			}
 		}{
-			Print["No existing type info for this input"]
 			new type <- Val[type]
 			new count <- 1
 		}
-		Print[[[["new type: "]Append[[new type]Name >>]]Append[", new count: "]]Append[String[new count]]]
 		new node <- [node]Input Types <<[
 			[ [node]Input Types >> ]Set[ [dest]IO Num >>, [[()]Append[new type]]Append[new count] ]
 		]
-		{ Print["got new node"] }
 		out <- Infer Types Node[[nodelist]Set[[dest]Index >>, new node], new node, [dest]Index >>, prog, worker]
 	}{
 		out <- nodelist
 	}
 }
 {
 	[[source node]Output Types >>]Index[output num]
 	{
 		out <- Fold[Propagate Type[?, ?, prog, worker, ~], nodelist, dests]
 	}{
-		Print[["Output type is missing for output #"]Append[String[output num]]]
 		out <- nodelist
 	}
 }
 Infer Types Node[nodelist,node,index,prog,worker:out]
 	{
 		extra <- [", worker: "]Append[[[node]Data >>]Name >>]
 	}{
 		extra <- ""
 	}
-	Print[[[[["Infer Types Node: "]Append[String[index]]]Append[", type: "]]Append[[node]Type >>]]Append[extra]]
 	If[[[node]Type >>] = ["const"]]
 	{
 		const type <- Blueprint Of[[node]Data >>]
 		[(Int8(),UInt8(),Int16(),UInt16(),Int32(),UInt32(),Int64(),UInt64(),
 			Type Instance(),Worker Literal(),List(),List Leaf(),String(),String Slice(),String Cat())]Find[=[const type, ?]]
 									nextnode <- [node]Output Types <<[ [()]Append[outtype] ]
 								}{
 									worker name <- [[node]Data >>]Name >>
 									[prog]Is Method?[worker name]
 									{
-										Print[[["Infer Types: "]Append[worker name]]Append[" is a method"]]
 										first arg type <- [[[node]Input Types >>]Index[0]]Index[0]
 										If[[[first arg type]Name >>] = ["Any Type"]]
 										{
-											Print["No type info for first arg"]
 											outtypes <- Fold[Append[?, Type Instance["Any Type"]], (), Range[0, [node]Inputs >>]]
-											Print[["outtypes length: "]Append[String[Length[outtypes]]]]
 											nextnode <- [node]Output Types <<[ outtypes ]
 										}{
 											worker def <- [prog]Find Method[worker name, first arg type]
 											{
 												new worker name <- [[worker name]Append["@"]]Append[[first arg type]Name >>]
 												new ref <- [prog]Find Worker[new worker name] {} {
 													Print[["Could not find worker ref for "]Append[new worker name]]
 												}
 												nextnode <- [[node]Output Types <<[outtypes]
 													]Data <<[new ref]
-												Print[["New worker name:"]Append[new worker name]]
 											}{
 												//TODO: Return errors instead of printing them
 												Print[
 													[[[[["Type "
 													]Append[[first arg type]Name >>]
 													]Append[" in worker "]
 													]Append[ [worker]Name >> ]]
 											}
 										}
 									}{
-										Print[[["Infer Types: "]Append[worker name]]Append[" is not a method"]]
 										worker def <- [prog]Find Worker Def[worker name] {}
 										{ Print["Error, could not find worker def"] }
 										nextnode <- [node]Output Types <<[ outtypes ]
 									}
 									outtypes <- [worker def]Output Types >>
 								}
 							}
 						}{
-							Print["Skipping node because input type info not present"]
 							out <- nodelist
 						}
 					}
 				}
 			}
 	}
 	Val[nextnode]
 	{
 		nextlist <- [nodelist]Set[index, nextnode]
-		{ Print["Calling Propagate types on descdendants of this node"] }
 		out <- Fold[Propagate Types[?, ?, ?, prog, worker, nextnode], nextlist, [nextnode]Wires From >>]
 	}
 }
 Infer Types@NWorker[worker,prog:out]
 {
-	Print[["Infer Types: "]Append[[worker]Name >>]]
 	out <- [worker]Nodes <<[Fold[Infer Types Node[?, ?, ?, prog, worker], [worker]Nodes >>, [worker]Nodes >>]]
 }
 Add Worker Call@NWorker[worker,tocall:out,node index]
 {
 				out <- Val[after maybe]
 			}
 		}
 	}
 	after save <- Fold[Save Result[?, ?, node index], with call, Range[0, save outs]]
-	Print[["Last NumParams is now "]Append[String[[after save]Last NumParams >>]]]
 }
 Compile Node[worker,program,func,nodes,current:out,out worker]
 {
 	node index <- [nodes]Index[current]

Mercurial > repos > rhope

comparison nworker_c.rhope @ 171:a32afde77abb