factor/basis/compiler/tests
Slava Pestov e4f8448eb1 Fix some problems with arithmetic type inference, exposed by recent changes to log2 word
- declared input type for bignum-shift was stricter than the runtime behavior, leading to bad propagation of type info if shift count was a bignum
- types inferred for type functions which used number-valued/integer-valued/real-valued were not always precise, eg bignum bignum bitxor => integer
- add interval-log2, type function for (log2)
- remove math-class-min, it was useless
2008-12-07 19:44:49 -06:00
..
alien.factor Fix conflict 2008-11-29 05:14:49 -06:00
codegen.factor Fix conflict 2008-11-29 05:14:49 -06:00
curry.factor
float.factor
folding.factor
insane.factor
intrinsics.factor Fix bootstrap, add a unit test 2008-11-30 07:36:29 -06:00
optimizer.factor Fix some problems with arithmetic type inference, exposed by recent changes to log2 word 2008-12-07 19:44:49 -06:00
peg-regression.factor Fix regression. If a parsing word called the compiler, it might compile a caller of a generic before the generic gets built, which would throw an error since the inferred effect of the generic might have less inputs than the combination's dispatch# 2008-11-03 20:59:48 -06:00
redefine1.factor
redefine2.factor Fix another name clash in tests; putting all compiler tests in compiler.tests vocab is probably not good 2008-11-04 00:46:06 -06:00
redefine3.factor
redefine4.factor
redefine5.factor
redefine6.factor
redefine7.factor
redefine8.factor
redefine9.factor
redefine10.factor
redefine11.factor
redefine12.factor Old fix for classes-intersect? no-method bug was incorrect; we were 2008-11-05 18:32:02 -06:00
redefine13.factor Disable these for now 2008-11-22 22:47:40 -06:00
redefine14.factor Disable these for now 2008-11-22 22:47:40 -06:00
reload.factor
simple.factor Fix name clash with templates.factor 2008-11-03 06:34:56 -06:00
spilling.factor Specialized arrays work in progress 2008-11-14 20:18:16 -06:00
stack-trace.factor
tuples.factor