#
# ChangeLog for tests/forall.cfa
#
# Generated by Trac 1.2.1
# Mar 9, 2025, 4:30:52 AM

Fri, 24 Feb 2023 20:14:15 GMT Peter A. Buhr <pabuhr@…> [aca0d2f]
	* libcfa/src/concurrency/kernel/cluster.hfa (modified)
	* tests/attributes.cfa (modified)
	* tests/concurrent/signal/disjoint.cfa (modified)
	* tests/declarationSpecifier.cfa (modified)
	* tests/forall.cfa (modified)
	* tests/io/comp_basic.cfa (modified)
	* tests/io/comp_fair.cfa (modified)
	* tests/quotedKeyword.cfa (modified)

	make anonymous struct declaration static


Sun, 05 Feb 2023 14:31:04 GMT Peter A. Buhr <pabuhr@…> [35d1de5]
	* tests/.expect/forall.txt (modified)
	* tests/Makefile.am (modified)
	* tests/forall.cfa (modified)

	change test forall.cfa from compilation only to execution


Fri, 03 Feb 2023 18:28:36 GMT Peter A. Buhr <pabuhr@…> [8a97248]
	* libcfa/prelude/builtins.c (modified)
	* libcfa/prelude/prelude-gen.cc (modified)
	* libcfa/src/bits/containers.hfa (modified)
	* libcfa/src/concurrency/coroutine.hfa (modified)
	* libcfa/src/concurrency/locks.hfa (modified)
	* libcfa/src/concurrency/monitor.hfa (modified)
	* libcfa/src/concurrency/mutex.hfa (modified)
	* libcfa/src/concurrency/thread.hfa (modified)
	* libcfa/src/containers/list.hfa (modified)
	* libcfa/src/containers/vector.hfa (modified)
	* libcfa/src/exception.h (modified)
	* libcfa/src/iostream.hfa (modified)
	* libcfa/src/iterator.hfa (modified)
	* libcfa/src/math.trait.hfa (modified)
	* libcfa/src/stdlib.hfa (modified)
	* src/Common/SemanticError.h (modified)
	* src/Parser/parser.yy (modified)
	* tests/forall.cfa (modified)

	switch from old trait syntax to new trait syntax using forall clause


Tue, 03 May 2022 13:52:03 GMT Andrew Beach <ajbeach@…> [39d9b32]
	* tests/.expect/forall.txt (modified)
	* tests/forall.cfa (modified)

	Adjusted line number in forall test.


Mon, 02 May 2022 20:42:26 GMT Thierry Delisle <tdelisle@…> [49a1684]
	* tests/forall.cfa (modified)

	Commented problematic line in forall test


Wed, 23 Jun 2021 20:52:43 GMT Michael Brooks <mlbrooks@…> [68b52b0]
	* src/Parser/DeclarationNode.cc (modified)
	* tests/.expect/forall.txt (modified)
	* tests/forall.cfa (modified)

	Implementing syntax forall( T * ) abbreviating forall( T & | sized(T)
	)


Sat, 05 Jun 2021 19:21:19 GMT Peter A. Buhr <pabuhr@…> [53692b3]
	* tests/.expect/array.txt (modified)
	* tests/.expect/cast.txt (modified)
	* tests/.expect/expression.txt (modified)
	* tests/.expect/forall.txt (modified)
	* tests/.expect/identFuncDeclarator.txt (modified)
	* tests/.expect/init1-ERROR.nast.txt (modified)
	* tests/.expect/init1.txt (modified)
	* tests/.expect/labelledExit.txt (modified)
	* tests/.expect/limits.txt (modified)
	* tests/.expect/nested-types-ERR1.txt (modified)
	* tests/.expect/nested-types-ERR2.txt (modified)
	* tests/.expect/nested-types.txt (modified)
	* tests/.expect/numericConstants.txt (modified)
	* tests/.expect/quasiKeyword.txt (modified)
	* tests/.expect/stdincludes.txt (deleted)
	* tests/.expect/switch.txt (modified)
	* tests/.expect/typedefRedef-ERR1.txt (modified)
	* tests/.expect/typedefRedef.txt (modified)
	* tests/.expect/variableDeclarator.txt (modified)
	* tests/Makefile.am (modified)
	* tests/array.cfa (modified)
	* tests/builtins/.expect/sync.txt (modified)
	* tests/builtins/sync.cfa (modified)
	* tests/cast.cfa (modified)
	* tests/expression.cfa (modified)
	* tests/forall.cfa (modified)
	* tests/identFuncDeclarator.cfa (modified)
	* tests/include/.expect/includes.nast.txt (modified)
	* tests/include/.expect/stdincludes.txt (added)
	* tests/include/includes.cfa (modified)
	* tests/include/stdincludes.cfa (moved)
	* tests/init1.cfa (modified)
	* tests/labelledExit.cfa (modified)
	* tests/limits.cfa (modified)
	* tests/nested-types.cfa (modified)
	* tests/numericConstants.cfa (modified)
	* tests/quasiKeyword.cfa (modified)
	* tests/switch.cfa (modified)
	* tests/typedefRedef.cfa (modified)
	* tests/variableDeclarator.cfa (modified)
	* tests/warnings/.expect/self-assignment.nast.txt (modified)
	* tests/warnings/self-assignment.cfa (modified)

	second attempt to fix compile-only pragma message that gcc-10/11
	quote


Wed, 20 Jan 2021 01:44:29 GMT Michael Brooks <mlbrooks@…> [fd54fef]
	* libcfa/prelude/builtins.c (modified)
	* libcfa/prelude/prelude-gen.cc (modified)
	* libcfa/prelude/prelude.old.cf (modified)
	* libcfa/prelude/sync-builtins.cf (modified)
	* libcfa/src/bitmanip.hfa (modified)
	* libcfa/src/bits/algorithm.hfa (modified)
	* libcfa/src/bits/collection.hfa (modified)
	* libcfa/src/bits/containers.hfa (modified)
	* libcfa/src/bits/queue.hfa (modified)
	* libcfa/src/bits/sequence.hfa (modified)
	* libcfa/src/bits/stack.hfa (modified)
	* libcfa/src/common.cfa (modified)
	* libcfa/src/common.hfa (modified)
	* libcfa/src/concurrency/coroutine.cfa (modified)
	* libcfa/src/concurrency/coroutine.hfa (modified)
	* libcfa/src/concurrency/future.hfa (modified)
	* libcfa/src/concurrency/locks.cfa (modified)
	* libcfa/src/concurrency/locks.hfa (modified)
	* libcfa/src/concurrency/monitor.cfa (modified)
	* libcfa/src/concurrency/monitor.hfa (modified)
	* libcfa/src/concurrency/mutex.cfa (modified)
	* libcfa/src/concurrency/mutex.hfa (modified)
	* libcfa/src/concurrency/thread.cfa (modified)
	* libcfa/src/concurrency/thread.hfa (modified)
	* libcfa/src/containers/list.hfa (modified)
	* libcfa/src/containers/maybe.cfa (modified)
	* libcfa/src/containers/maybe.hfa (modified)
	* libcfa/src/containers/pair.cfa (modified)
	* libcfa/src/containers/pair.hfa (modified)
	* libcfa/src/containers/result.cfa (modified)
	* libcfa/src/containers/result.hfa (modified)
	* libcfa/src/containers/stackLockFree.hfa (modified)
	* libcfa/src/containers/vector.cfa (modified)
	* libcfa/src/containers/vector.hfa (modified)
	* libcfa/src/exception.h (modified)
	* libcfa/src/executor.cfa (modified)
	* libcfa/src/gmp.hfa (modified)
	* libcfa/src/iostream.cfa (modified)
	* libcfa/src/iostream.hfa (modified)
	* libcfa/src/iterator.cfa (modified)
	* libcfa/src/iterator.hfa (modified)
	* libcfa/src/math.hfa (modified)
	* libcfa/src/memory.cfa (modified)
	* libcfa/src/memory.hfa (modified)
	* libcfa/src/parseargs.hfa (modified)
	* libcfa/src/rational.cfa (modified)
	* libcfa/src/rational.hfa (modified)
	* libcfa/src/stdlib.cfa (modified)
	* libcfa/src/stdlib.hfa (modified)
	* libcfa/src/time.cfa (modified)
	* libcfa/src/vec/vec.hfa (modified)
	* libcfa/src/vec/vec2.hfa (modified)
	* libcfa/src/vec/vec3.hfa (modified)
	* libcfa/src/vec/vec4.hfa (modified)
	* src/Parser/parser.yy (modified)
	* tests/avltree/avl-private.cfa (modified)
	* tests/avltree/avl-private.h (modified)
	* tests/avltree/avl.h (modified)
	* tests/avltree/avl0.cfa (modified)
	* tests/avltree/avl1.cfa (modified)
	* tests/avltree/avl2.cfa (modified)
	* tests/avltree/avl3.cfa (modified)
	* tests/avltree/avl4.cfa (modified)
	* tests/bugs/10.cfa (modified)
	* tests/bugs/104.cfa (modified)
	* tests/bugs/194.cfa (modified)
	* tests/bugs/196.cfa (modified)
	* tests/bugs/203-2.cfa (modified)
	* tests/bugs/203-7.cfa (modified)
	* tests/bugs/203-9.cfa (modified)
	* tests/bugs/7.cfa (modified)
	* tests/castError.cfa (modified)
	* tests/concurrent/examples/boundedBufferEXT.cfa (modified)
	* tests/concurrent/examples/boundedBufferINT.cfa (modified)
	* tests/concurrent/examples/quickSort.generic.cfa (modified)
	* tests/concurrent/multi-monitor.cfa (modified)
	* tests/errors/completeType.cfa (modified)
	* tests/exceptions/defaults.cfa (modified)
	* tests/exceptions/polymorphic.cfa (modified)
	* tests/exceptions/virtual-poly.cfa (modified)
	* tests/forall.cfa (modified)
	* tests/function-operator.cfa (modified)
	* tests/genericUnion.cfa (modified)
	* tests/global-monomorph.cfa (modified)
	* tests/identity.cfa (modified)
	* tests/init1.cfa (modified)
	* tests/nested-types.cfa (modified)
	* tests/poly-d-cycle.cfa (modified)
	* tests/poly-o-cycle.cfa (modified)
	* tests/poly-selection.cfa (modified)
	* tests/polymorphism.cfa (modified)
	* tests/raii/ctor-autogen.cfa (modified)
	* tests/simpleGenericTriple.cfa (modified)
	* tests/sum.cfa (modified)
	* tests/tuple/tuplePolymorphism.cfa (modified)
	* tests/tuple/tupleVariadic.cfa (modified)
	* tests/zombies/ArrayN.c (modified)
	* tests/zombies/Members.c (modified)
	* tests/zombies/Rank2.c (modified)
	* tests/zombies/abstype.c (modified)
	* tests/zombies/context.cfa (modified)
	* tests/zombies/gc_no_raii/bug-repro/blockers/explicit_cast.c (modified)
	* tests/zombies/gc_no_raii/bug-repro/blockers/recursive_realloc.c (modified)
	* tests/zombies/gc_no_raii/bug-repro/deref.c (modified)
	* tests/zombies/gc_no_raii/bug-repro/field.c (modified)
	* tests/zombies/gc_no_raii/bug-repro/malloc.c (modified)
	* tests/zombies/gc_no_raii/bug-repro/oddtype.c (modified)
	* tests/zombies/gc_no_raii/bug-repro/push_back.h (modified)
	* tests/zombies/gc_no_raii/bug-repro/realloc.c (modified)
	* tests/zombies/gc_no_raii/bug-repro/return.c (modified)
	* tests/zombies/gc_no_raii/bug-repro/return_template.c (modified)
	* tests/zombies/gc_no_raii/bug-repro/slow_malloc.c (modified)
	* tests/zombies/gc_no_raii/bug-repro/zero.c (modified)
	* tests/zombies/gc_no_raii/src/gc.h (modified)
	* tests/zombies/gc_no_raii/src/gcpointers.c (modified)
	* tests/zombies/gc_no_raii/src/gcpointers.h (modified)
	* tests/zombies/gc_no_raii/src/tools.h (modified)
	* tests/zombies/hashtable.cfa (modified)
	* tests/zombies/hashtable2.cfa (modified)
	* tests/zombies/huge.c (modified)
	* tests/zombies/it_out.c (modified)
	* tests/zombies/new.c (modified)
	* tests/zombies/occursError.cfa (modified)
	* tests/zombies/prolog.c (modified)
	* tests/zombies/quad.c (modified)
	* tests/zombies/scope.cfa (modified)
	* tests/zombies/simplePoly.c (modified)
	* tests/zombies/simpler.c (modified)
	* tests/zombies/specialize.c (modified)
	* tests/zombies/square.c (modified)
	* tests/zombies/structMember.cfa (modified)
	* tests/zombies/subrange.cfa (modified)
	* tests/zombies/twice.c (modified)
	* tests/zombies/typeGenerator.cfa (modified)
	* tests/zombies/withStatement.cfa (modified)
	* tests/zombies/wrapper/src/pointer.h (modified)

	Converting the project to use the new syntax for otype, dtype and ...


Mon, 28 Sep 2020 02:00:39 GMT Peter A. Buhr <pabuhr@…> [66812dd]
	* tests/.expect/array.txt (modified)
	* tests/.expect/cast.txt (modified)
	* tests/.expect/enum.txt (modified)
	* tests/.expect/expression.txt (modified)
	* tests/.expect/forall.txt (modified)
	* tests/.expect/heap.txt (modified)
	* tests/.expect/identFuncDeclarator.txt (modified)
	* tests/.expect/identParamDeclarator.txt (modified)
	* tests/.expect/labelledExit.txt (modified)
	* tests/.expect/limits.txt (modified)
	* tests/.expect/maybe.txt (modified)
	* tests/.expect/nested-types.txt (modified)
	* tests/.expect/numericConstants.txt (modified)
	* tests/.expect/operators.txt (modified)
	* tests/.expect/result.txt (modified)
	* tests/.expect/stdincludes.txt (modified)
	* tests/.expect/switch.txt (modified)
	* tests/.expect/typedefRedef-ERR1.txt (modified)
	* tests/.expect/typedefRedef.txt (modified)
	* tests/.expect/typeof.txt (modified)
	* tests/.expect/variableDeclarator.txt (modified)
	* tests/.expect/voidPtr.txt (modified)
	* tests/Makefile.am (modified)
	* tests/array.cfa (modified)
	* tests/builtins/sync.cfa (modified)
	* tests/cast.cfa (modified)
	* tests/concurrent/.expect/cluster.txt (modified)
	* tests/concurrent/cluster.cfa (modified)
	* tests/concurrent/examples/.expect/datingService.txt (modified)
	* tests/concurrent/examples/datingService.cfa (modified)
	* tests/concurrent/futures/.expect/basic.txt (modified)
	* tests/concurrent/futures/basic.cfa (modified)
	* tests/concurrent/park/.expect/force_preempt.txt (modified)
	* tests/concurrent/park/.expect/start_parked.txt (modified)
	* tests/concurrent/park/force_preempt.cfa (modified)
	* tests/concurrent/park/start_parked.cfa (modified)
	* tests/enum.cfa (modified)
	* tests/exceptions/.expect/virtual-cast.txt (modified)
	* tests/exceptions/.expect/virtual-poly.txt (modified)
	* tests/exceptions/virtual-cast.cfa (modified)
	* tests/exceptions/virtual-poly.cfa (modified)
	* tests/expression.cfa (modified)
	* tests/forall.cfa (modified)
	* tests/heap.cfa (modified)
	* tests/identFuncDeclarator.cfa (modified)
	* tests/identParamDeclarator.cfa (modified)
	* tests/labelledExit.cfa (modified)
	* tests/limits.cfa (modified)
	* tests/maybe.cfa (modified)
	* tests/nested-types.cfa (modified)
	* tests/numericConstants.cfa (modified)
	* tests/operators.cfa (modified)
	* tests/raii/.expect/ctor-autogen.txt (modified)
	* tests/raii/.expect/init_once.txt (modified)
	* tests/raii/ctor-autogen.cfa (modified)
	* tests/raii/init_once.cfa (modified)
	* tests/result.cfa (modified)
	* tests/stdincludes.cfa (modified)
	* tests/switch.cfa (modified)
	* tests/typedefRedef.cfa (modified)
	* tests/typeof.cfa (modified)
	* tests/variableDeclarator.cfa (modified)
	* tests/voidPtr.cfa (modified)
	* tests/warnings/.expect/self-assignment.txt (modified)
	* tests/warnings/self-assignment.cfa (modified)
	* tests/zombies/structMember.cfa (modified)

	convert tests to always print output (no empty .expect files)


Tue, 19 Mar 2019 14:46:50 GMT Peter A. Buhr <pabuhr@…> [0c81320]
	* libcfa/prelude/prelude-gen.cc (modified)
	* tests/forall.cfa (modified)
	* tests/rational.cfa (modified)

	add one_t constructor to prelude, remove one_t constructor from test ...


Wed, 07 Nov 2018 18:29:43 GMT Peter A. Buhr <pabuhr@…> [dc8511c]
	* benchmark/Makefile.am (modified)
	* tests/.expect/alloc-ERROR.txt (modified)
	* tests/.expect/castError.txt (modified)
	* tests/.expect/completeTypeError.txt (modified)
	* tests/.expect/declarationErrors.txt (modified)
	* tests/.expect/nested-types-ERR1.txt (modified)
	* tests/.expect/nested-types-ERR2.txt (modified)
	* tests/.expect/quotedKeyword.txt (moved)
	* tests/.expect/scopeErrors.txt (modified)
	* tests/.expect/typedefRedef-ERR1.txt (modified)
	* tests/.expect/user_literals.txt (deleted)
	* tests/.expect/with-statement.txt (deleted)
	* tests/KRfunctions.cfa (moved)
	* tests/Makefile.am (modified)
	* tests/Makefile.in (modified)
	* tests/abs.cfa (moved)
	* tests/alloc.cfa (moved)
	* tests/array.cfa (moved)
	* tests/ato.cfa (moved)
	* tests/attributes.cfa (moved)
	* tests/cast.cfa (moved)
	* tests/castError.cfa (moved)
	* tests/commentMisc.cfa (moved)
	* tests/completeTypeError.cfa (moved)
	* tests/complex.cfa (moved)
	* tests/concurrent/coroutineYield.c (modified)
	* tests/concurrent/examples/matrixSum.c (modified)
	* tests/concurrent/preempt.c (modified)
	* tests/concurrent/signal/block.c (modified)
	* tests/concurrent/signal/disjoint.c (modified)
	* tests/concurrent/signal/wait.c (modified)
	* tests/context.cfa (moved)
	* tests/counter.cfa (moved)
	* tests/declarationErrors.cfa (moved)
	* tests/declarationSpecifier.cfa (moved)
	* tests/designations.cfa (moved)
	* tests/div.cfa (moved)
	* tests/enum.cfa (moved)
	* tests/except-0.cfa (moved)
	* tests/except-1.cfa (moved)
	* tests/except-2.cfa (moved)
	* tests/except-3.cfa (moved)
	* tests/except-mac.hfa (moved)
	* tests/expression.cfa (moved)
	* tests/extension.cfa (moved)
	* tests/fallthrough.cfa (moved)
	* tests/forall.cfa (moved)
	* tests/fstream_test.cfa (moved)
	* tests/function-operator.cfa (moved)
	* tests/functions.cfa (moved)
	* tests/gccExtensions.cfa (moved)
	* tests/genericUnion.cfa (moved)
	* tests/gmp.cfa (moved)
	* tests/heap.cfa (moved)
	* tests/hello.cfa (moved)
	* tests/identFuncDeclarator.cfa (moved)
	* tests/identParamDeclarator.cfa (moved)
	* tests/identity.cfa (moved)
	* tests/ifwhileCtl.cfa (moved)
	* tests/io1.cfa (moved)
	* tests/io2.cfa (moved)
	* tests/labelledExit.cfa (moved)
	* tests/limits.cfa (moved)
	* tests/literals.cfa (moved)
	* tests/long_tests.hfa (moved)
	* tests/loopctrl.cfa (moved)
	* tests/math1.cfa (moved)
	* tests/math2.cfa (moved)
	* tests/math3.cfa (moved)
	* tests/math4.cfa (moved)
	* tests/maybe.cfa (moved)
	* tests/minmax.cfa (moved)
	* tests/namedParmArg.cfa (moved)
	* tests/nested-types.cfa (moved)
	* tests/numericConstants.cfa (moved)
	* tests/occursError.cfa (moved)
	* tests/operators.cfa (moved)
	* tests/polymorphism.cfa (moved)
	* tests/preempt_longrun/create.c (modified)
	* tests/preempt_longrun/enter3.c (modified)
	* tests/preempt_longrun/processor.c (modified)
	* tests/preempt_longrun/yield.c (modified)
	* tests/quotedKeyword.cfa (moved)
	* tests/random.cfa (moved)
	* tests/rational.cfa (moved)
	* tests/references.cfa (moved)
	* tests/result.cfa (moved)
	* tests/scope.cfa (moved)
	* tests/scopeErrors.cfa (moved)
	* tests/searchsort.cfa (moved)
	* tests/shortCircuit.cfa (moved)
	* tests/simpleGenericTriple.cfa (moved)
	* tests/stdincludes.cfa (moved)
	* tests/structMember.cfa (moved)
	* tests/subrange.cfa (moved)
	* tests/sum.cfa (moved)
	* tests/swap.cfa (moved)
	* tests/switch.cfa (moved)
	* tests/test.c (added)
	* tests/time.cfa (moved)
	* tests/typeGenerator.cfa (moved)
	* tests/typedef.cfa (moved)
	* tests/typedefDeclarator.cfa (moved)
	* tests/typedefRedef.cfa (moved)
	* tests/typeof.cfa (moved)
	* tests/userLiterals.cfa (moved)
	* tests/variableDeclarator.cfa (moved)
	* tests/vector.cfa (moved)
	* tests/virtualCast.cfa (moved)
	* tests/voidPtr.cfa (moved)
	* tests/withStatement.cfa (moved)

	first attempt at updating suffixes for test programs