containers-tests.xreate
No OneTemporary
Actions

Subscribers

None

File Metadata

	import raw ("scripts/containers/containers-tests.assembly.lp").

	Test = type predicate{
	common
	}.

	FnAnns = type predicate{
	test(kind:: Test)
	}

	min = function(x:: [int]; csize(5)):: int
	{
	loop fold((x:: [int]; csize(5))->el:: int, 1000->min):: int
	{
	if (el < min):: int { el } else { min }
	}
	}

	min2 = function(x:: [int]; fly(csize(5))):: int
	{
	loop fold((x:: [int]; fly(csize(5)))->el:: int, 1000->min):: int
	{
	if (el < min):: int { el } else { min }
	}
	}

	fn-ArrayArg1 = function:: int; test(common())
	{
	a = {3, 2, 1, 4, 5}:: [int]; csize(5).
	min(a)
	}

	fn-FlyArg1 = function:: int; test(common())
	{
	a = {3, 2, 1, 4, 5}:: [int]; csize(5).
	b = loop map(a->x:: int):: [int]; fly(csize(5))
	{
	8 * x :: int
	}.

	min2(b)
	}

	fn-Range1 = function:: int; test(common())
	{
	range = [1..5]:: [int]; range().
	loop fold(range->x:: int, 0->sum):: int {sum + x}
	}

	fn-Range2 = function:: int; test(common())
	{
	range1 = [1..5]:: [int]; range().
	range2 = loop map (range1->x:: int):: [int]; fly(range()) {2 * x:: int}.
	loop fold(range2->x:: int, 0->sum):: int {sum + x}
	}

	fn-GenRange1 = function:: [int]; range()
	{
	[1..5]:: [int]; range()
	}

	fn-RetRange1 = function:: int; test(common())
	{
	loop fold((fn-GenRange1()::[int]; range()) -> x:: int, 0->sum):: int
	{ sum + x }
	}

	/*
	reorder = function(aggrSrc:: [int], idxs::[int]):: [int]
	{
	loop map(idxs->idx)::[int]
	{
	aggrSrc[idx])
	}
	}

	reverse = function(aggrSrc::[int])::[int]
	{
	sizeDst = 5:: int.
	idxsDst = intrinsic keys(aggrSrc):: [int].
	idxsTnsf = loop map(idxsDst-> idx:: int):: [int]
	{
	sizeDst - idx - 1
	}

	reorder(aggrSrc, idxsTnsf)
	}
	*/