steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
factor/library/test/inference.factor

231 lines
6.8 KiB
Factor
Raw Normal View History

adding trace, step, stack inference to cvs, rearranging some stuff
2004-11-03 23:35:36 -05:00
IN: scratchpad
USE: test
USE: inference
working on inference
2004-11-04 21:36:33 -05:00
USE: math
adding trace, step, stack inference to cvs, rearranging some stuff
2004-11-03 23:35:36 -05:00
USE: vectors
work on inferencer, and vector-2map combinator
2004-11-05 17:41:54 -05:00
USE: kernel
preliminary implementation of recursive effect deduction, compiler work
2004-11-06 21:03:35 -05:00
USE: lists
various cleanups, code primitive now shows code space usage, :get and &get, working on inferencer
2004-11-20 16:57:01 -05:00
USE: namespaces
generic cleanups and type inference work
2004-12-23 23:55:22 -05:00
USE: parser
merged stack continuations combinators and logic vocabularies into kernel vocabulary
2004-12-10 19:29:07 -05:00
USE: kernel
USE: math-internals
type inference work, and = for aliens
2004-12-23 01:14:07 -05:00
USE: generic
adding trace, step, stack inference to cvs, rearranging some stuff
2004-11-03 23:35:36 -05:00
making a mess of type inference; fixing overflowing /mod
2005-01-10 23:08:27 -05:00
! [ [ [ object object ] f ] ]
! [ [ [ object ] [ object object ] ] [ [ object ] f ] decompose ]
! unit-test
!
! [ [ [ cons vector cons integer object cons ] [ cons vector cons ] ] ]
! [
! [ [ vector ] [ cons vector cons integer object cons ] ]
! [ [ vector ] [ cons vector cons ] ]
! decompose
! ] unit-test
!
! [ [ [ object ] [ object ] ] ]
! [
! [ [ object number ] [ object ] ]
! [ [ object number ] [ object ] ]
! decompose
! ] unit-test
cleaner type inference
2004-12-30 02:40:14 -05:00
: old-effect ( [ in-types out-types ] -- [ in | out ] )
uncons car length >r length r> cons ;
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 0 | 2 ] ] [ [ 2 "Hello" ] infer old-effect ] unit-test
[ [ 1 | 2 ] ] [ [ dup ] infer old-effect ] unit-test
adding trace, step, stack inference to cvs, rearranging some stuff
2004-11-03 23:35:36 -05:00
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 1 | 2 ] ] [ [ [ dup ] call ] infer old-effect ] unit-test
[ [ call ] infer old-effect ] unit-test-fails
adding trace, step, stack inference to cvs, rearranging some stuff
2004-11-03 23:35:36 -05:00
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 2 | 4 ] ] [ [ 2dup ] infer old-effect ] unit-test
[ [ 2 | 0 ] ] [ [ vector-push ] infer old-effect ] unit-test
adding trace, step, stack inference to cvs, rearranging some stuff
2004-11-03 23:35:36 -05:00
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 1 | 0 ] ] [ [ [ ] [ ] ifte ] infer old-effect ] unit-test
[ [ ifte ] infer old-effect ] unit-test-fails
[ [ [ ] ifte ] infer old-effect ] unit-test-fails
[ [ [ 2 ] [ ] ifte ] infer old-effect ] unit-test-fails
[ [ 4 | 3 ] ] [ [ [ rot ] [ -rot ] ifte ] infer old-effect ] unit-test
adding trace, step, stack inference to cvs, rearranging some stuff
2004-11-03 23:35:36 -05:00
[ [ 4 | 3 ] ] [
[
[
[ swap 3 ] [ nip 5 5 ] ifte
] [
-rot
] ifte
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
] infer old-effect
adding trace, step, stack inference to cvs, rearranging some stuff
2004-11-03 23:35:36 -05:00
] unit-test
working on inference
2004-11-04 21:36:33 -05:00
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 1 | 1 ] ] [ [ dup [ ] when ] infer old-effect ] unit-test
[ [ 1 | 1 ] ] [ [ dup [ dup fixnum* ] when ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ [ dup fixnum* ] when ] infer old-effect ] unit-test
working on inference
2004-11-04 21:36:33 -05:00
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 1 | 0 ] ] [ [ [ drop ] when* ] infer old-effect ] unit-test
[ [ 1 | 1 ] ] [ [ [ { { [ ] } } ] unless* ] infer old-effect ] unit-test
work on inferencer, and vector-2map combinator
2004-11-05 17:41:54 -05:00
[ [ 0 | 1 ] ] [
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 2 2 fixnum+ ] dup [ ] when call ] infer old-effect
work on inferencer, and vector-2map combinator
2004-11-05 17:41:54 -05:00
] unit-test
[
[ [ 2 2 fixnum+ ] ] [ [ 2 2 fixnum* ] ] ifte call
] unit-test-fails
preliminary implementation of recursive effect deduction, compiler work
2004-11-06 21:03:35 -05:00
: infinite-loop infinite-loop ;
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ infinite-loop ] infer old-effect ] unit-test-fails
preliminary implementation of recursive effect deduction, compiler work
2004-11-06 21:03:35 -05:00
: simple-recursion-1
dup [ simple-recursion-1 ] [ ] ifte ;
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 1 | 1 ] ] [ [ simple-recursion-1 ] infer old-effect ] unit-test
preliminary implementation of recursive effect deduction, compiler work
2004-11-06 21:03:35 -05:00
: simple-recursion-2
dup [ ] [ simple-recursion-2 ] ifte ;
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 1 | 1 ] ] [ [ simple-recursion-2 ] infer old-effect ] unit-test
preliminary implementation of recursive effect deduction, compiler work
2004-11-06 21:03:35 -05:00
type check optimization is here
2004-12-31 02:17:45 -05:00
! : bad-recursion-1
! dup [ drop bad-recursion-1 5 ] [ ] ifte ;
!
! [ [ bad-recursion-1 ] infer old-effect ] unit-test-fails
add test for diverging words
2004-11-06 21:20:05 -05:00
: bad-recursion-2
dup [ uncons bad-recursion-2 ] [ ] ifte ;
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ bad-recursion-2 ] infer old-effect ] unit-test-fails
add test for diverging words
2004-11-06 21:20:05 -05:00
partial evaluation of branches
2004-12-27 15:27:18 -05:00
! Not sure how to fix this one
cleaner type inference
2004-12-30 02:40:14 -05:00
: funny-recursion
dup [ funny-recursion 1 ] [ 2 ] ifte drop ;
[ [ 1 | 1 ] ] [ [ funny-recursion ] infer old-effect ] unit-test
partial evaluation of branches
2004-12-27 15:27:18 -05:00
Performance improvement for FactorStream
2004-11-17 17:11:09 -05:00
! Simple combinators
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 1 | 2 ] ] [ [ [ car ] keep cdr ] infer old-effect ] unit-test
working on stack effect inference
2004-11-17 20:59:28 -05:00
! Mutual recursion
DEFER: foe
: fie ( element obj -- ? )
dup cons? [ foe ] [ eq? ] ifte ;
: foe ( element tree -- ? )
dup [
2dup car fie [
nip
] [
cdr dup cons? [
foe
] [
fie
] ifte
] ifte
] [
2drop f
] ifte ;
partial evaluation of branches
2004-12-27 15:27:18 -05:00
[ [ 2 | 1 ] ] [ [ fie ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ foe ] infer old-effect ] unit-test
minor inference and interpreter work
2004-11-21 19:27:18 -05:00
! This form should not have a stack effect
finally fix vector-and compilation
2005-01-13 17:28:29 -05:00
! : bad-bin 5 [ 5 bad-bin bad-bin 5 ] [ 2drop ] ifte ;
! [ [ bad-bin ] infer old-effect ] unit-test-fails
minor inference and interpreter work
2004-11-21 19:27:18 -05:00
oop fix, split up inference
2004-11-26 22:23:57 -05:00
: nested-when ( -- )
t [
t [
5 drop
] when
] when ;
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 0 | 0 ] ] [ [ nested-when ] infer old-effect ] unit-test
oop fix, split up inference
2004-11-26 22:23:57 -05:00
: nested-when* ( -- )
[
[
drop
] when*
] when* ;
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 1 | 0 ] ] [ [ nested-when* ] infer old-effect ] unit-test
oop fix, split up inference
2004-11-26 22:23:57 -05:00
inline annotation for combinators; faster stack checker taking advantage of this fact; started dataflow IR
2004-11-27 00:33:17 -05:00
SYMBOL: sym-test
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 0 | 1 ] ] [ [ sym-test ] infer old-effect ] unit-test
partial evaluation of branches
2004-12-27 15:27:18 -05:00
[ [ 2 | 0 ] ] [ [ set-vector-length ] infer old-effect ] unit-test
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 2 | 1 ] ] [ [ 2list ] infer old-effect ] unit-test
[ [ 3 | 1 ] ] [ [ 3list ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ append ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ swons ] infer old-effect ] unit-test
[ [ 1 | 2 ] ] [ [ uncons ] infer old-effect ] unit-test
[ [ 1 | 1 ] ] [ [ unit ] infer old-effect ] unit-test
[ [ 1 | 2 ] ] [ [ unswons ] infer old-effect ] unit-test
generic cleanups and type inference work
2004-12-23 23:55:22 -05:00
[ [ 1 | 1 ] ] [ [ last* ] infer old-effect ] unit-test
[ [ 1 | 1 ] ] [ [ last ] infer old-effect ] unit-test
[ [ 1 | 1 ] ] [ [ list? ] infer old-effect ] unit-test
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 1 | 1 ] ] [ [ length ] infer old-effect ] unit-test
[ [ 1 | 1 ] ] [ [ reverse ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ contains? ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ tree-contains? ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ remove ] infer old-effect ] unit-test
generic cleanups and type inference work
2004-12-23 23:55:22 -05:00
[ [ 1 | 1 ] ] [ [ prune ] infer old-effect ] unit-test
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
[ [ 2 | 1 ] ] [ [ bitor ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ bitand ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ bitxor ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ mod ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ /i ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ /f ] infer old-effect ] unit-test
[ [ 2 | 2 ] ] [ [ /mod ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ + ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ - ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ * ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ / ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ < ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ <= ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ > ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ >= ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ number= ] infer old-effect ] unit-test
[ [ 2 | 1 ] ] [ [ = ] infer old-effect ] unit-test
[ [ 1 | 0 ] ] [ [ >n ] infer old-effect ] unit-test
[ [ 0 | 1 ] ] [ [ n> ] infer old-effect ] unit-test
[ [ 1 | 1 ] ] [ [ get ] infer old-effect ] unit-test
minor stack inference fixes
2004-12-25 20:06:08 -05:00
: terminator-branch
dup [
car
] [
not-a-number
] ifte ;
[ [ 1 | 1 ] ] [ [ terminator-branch ] infer old-effect ] unit-test
[ [ 1 | 1 ] ] [ [ str>number ] infer old-effect ] unit-test
some FFI cleanups
2004-12-25 15:52:08 -05:00
type inference work, and smart-term-hook
2004-12-23 16:37:16 -05:00
! Type inference
type check optimization is here
2004-12-31 02:17:45 -05:00
[ [ [ object ] [ ] ] ] [ [ drop ] infer ] unit-test
[ [ [ object ] [ object object ] ] ] [ [ dup ] infer ] unit-test
[ [ [ object object ] [ cons ] ] ] [ [ cons ] infer ] unit-test
[ [ [ cons ] [ cons ] ] ] [ [ uncons cons ] infer ] unit-test
[ [ [ general-list ] [ object ] ] ] [ [ dup [ car ] when ] infer ] unit-test
[ [ [ vector ] [ vector ] ] ] [ [ vector-clone ] infer ] unit-test
saving code to disk!
2004-12-25 02:55:03 -05:00
! [ [ [ number ] [ number ] ] ] [ [ dup + ] infer ] unit-test
! [ [ [ number number number ] [ number ] ] ] [ [ digit+ ] infer ] unit-test
type check optimization is here
2004-12-31 02:17:45 -05:00
[ [ [ number ] [ real real ] ] ] [ [ >rect ] infer ] unit-test
entry effect code work
2005-01-13 14:41:08 -05:00
[ [ [ ] [ POSTPONE: t ] ] ] [ [ f not ] infer ] unit-test
[ [ [ ] [ POSTPONE: f ] ] ] [ [ t not ] infer ] unit-test
[ [ [ ] [ POSTPONE: f ] ] ] [ [ 5 not ] infer ] unit-test
[ [ [ object ] [ general-t ] ] ] [ [ dup [ not ] unless ] infer ] unit-test