# 'product' function

#define A p3
#define B p4
#define I p5
#define X p6

# leaves the product at the top of the stack

Eval_product = ->
	i = 0
	j = 0
	k = 0

	# 1st arg (quoted)

	indexVariable = cadr(p1)
	if (!issymbol(indexVariable))
		stop("product: 1st arg?")

	# 2nd arg

	push(caddr(p1))
	Eval()
	j = pop_integer()
	if (isNaN(j))
		stop("product: 2nd arg?")

	# 3rd arg

	push(cadddr(p1))
	Eval()
	k = pop_integer()
	if (isNaN(k))
		stop("product: 3rd arg?")

	# 4th arg

	p1 = caddddr(p1)

	# remember contents of the index
	# variable so we can put it back after the loop
	oldIndexVariableValue = get_binding(indexVariable)

	push_integer(1)

	for i in [j..k]
		push_integer(i)
		p5 = pop()
		set_binding(indexVariable, p5)
		push(p1)
		Eval()
		if DEBUG
			console.log "product - factor 1: " + stack[tos-1].toString()
			console.log "product - factor 2: " + stack[tos-2].toString()
		multiply()
		if DEBUG
			console.log "product - result: " + stack[tos-1].toString()

	# put back the index variable to original content
	set_binding(indexVariable, oldIndexVariableValue)