alf 0.10.0 → 0.10.1

data/spec/unit/types/test_tuple_predicate.rbc

@@ -0,0 +1,3168 @@
+!RBIX
+11817445442317083511
+x
+M
+1
+n
+n
+x
+10
+__script__
+i
+37
+5
+7
+0
+64
+47
+49
+1
+1
+15
+99
+7
+2
+65
+49
+3
+2
+13
+99
+12
+7
+4
+12
+7
+5
+12
+65
+12
+49
+6
+4
+15
+49
+4
+0
+15
+2
+11
+I
+6
+I
+0
+I
+0
+I
+0
+n
+p
+7
+s
+11
+spec_helper
+x
+7
+require
+x
+3
+Alf
+x
+11
+open_module
+x
+15
+__module_init__
+M
+1
+n
+n
+x
+3
+Alf
+i
+13
+5
+66
+5
+45
+0
+1
+56
+2
+47
+50
+3
+1
+11
+I
+3
+I
+0
+I
+0
+I
+0
+n
+p
+4
+x
+14
+TuplePredicate
+n
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+32
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+7
+3
+64
+56
+4
+47
+50
+5
+1
+15
+5
+7
+6
+64
+56
+7
+47
+50
+5
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+8
+x
+6
+handle
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+46
+45
+0
+1
+43
+2
+13
+71
+3
+47
+9
+23
+47
+49
+4
+0
+13
+47
+49
+5
+0
+15
+8
+26
+49
+3
+0
+44
+43
+6
+79
+49
+7
+1
+13
+7
+8
+4
+10
+49
+9
+2
+15
+49
+10
+1
+11
+I
+6
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+11
+x
+5
+Tools
+n
+x
+11
+TupleHandle
+x
+3
+new
+x
+8
+allocate
+x
+10
+initialize
+x
+4
+Hash
+x
+16
+new_from_literal
+x
+6
+status
+x
+3
+[]=
+x
+3
+set
+p
+3
+I
+0
+I
+5
+I
+2e
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+s
+6
+coerce
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+118
+5
+56
+0
+47
+50
+1
+0
+15
+5
+7
+2
+64
+56
+3
+47
+50
+4
+1
+15
+5
+7
+5
+64
+56
+6
+47
+50
+4
+1
+15
+5
+7
+7
+64
+56
+8
+47
+50
+4
+1
+15
+5
+7
+9
+64
+56
+10
+47
+50
+4
+1
+15
+5
+7
+11
+64
+56
+12
+47
+50
+4
+1
+15
+5
+7
+13
+64
+56
+14
+47
+50
+4
+1
+15
+5
+7
+15
+64
+56
+16
+47
+50
+4
+1
+15
+5
+7
+17
+64
+56
+18
+47
+50
+4
+1
+15
+5
+7
+19
+64
+56
+20
+47
+50
+4
+1
+15
+5
+7
+21
+64
+56
+22
+47
+50
+4
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+23
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+16
+45
+0
+1
+5
+48
+2
+49
+3
+1
+5
+48
+4
+49
+5
+1
+11
+I
+3
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+6
+x
+14
+TuplePredicate
+n
+x
+3
+arg
+x
+6
+coerce
+x
+6
+handle
+x
+8
+evaluate
+p
+3
+I
+0
+I
+8
+I
+10
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+7
+subject
+s
+19
+from TuplePredicate
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+18
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+56
+3
+47
+50
+4
+0
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+3
+arg
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+39
+45
+0
+1
+13
+71
+2
+47
+9
+28
+47
+49
+3
+0
+13
+5
+56
+4
+47
+50
+5
+0
+47
+49
+6
+1
+15
+8
+38
+5
+56
+7
+47
+50
+5
+0
+49
+2
+1
+11
+I
+5
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+8
+x
+14
+TuplePredicate
+n
+x
+3
+new
+x
+8
+allocate
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+8
+5
+48
+0
+4
+10
+83
+1
+11
+I
+3
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+6
+status
+x
+2
+==
+p
+3
+I
+0
+I
+b
+I
+8
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+6
+lambda
+x
+10
+initialize
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+8
+5
+48
+0
+4
+10
+83
+1
+11
+I
+3
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+6
+status
+x
+2
+==
+p
+3
+I
+0
+I
+b
+I
+8
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+p
+3
+I
+0
+I
+b
+I
+27
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+12
+5
+5
+2
+47
+49
+0
+1
+47
+49
+1
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+3
+eql
+x
+6
+should
+p
+3
+I
+0
+I
+c
+I
+c
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+2
+it
+p
+5
+I
+0
+I
+b
+I
+a
+I
+c
+I
+12
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+8
+describe
+s
+9
+from true
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+18
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+56
+3
+47
+50
+4
+0
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+3
+arg
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+2
+2
+11
+I
+2
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+0
+p
+3
+I
+0
+I
+10
+I
+2
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+12
+5
+5
+2
+47
+49
+0
+1
+47
+49
+1
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+3
+eql
+x
+6
+should
+p
+3
+I
+0
+I
+11
+I
+c
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+2
+it
+p
+5
+I
+0
+I
+10
+I
+a
+I
+11
+I
+12
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+s
+10
+from false
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+18
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+56
+3
+47
+50
+4
+0
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+3
+arg
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+2
+3
+11
+I
+2
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+0
+p
+3
+I
+0
+I
+15
+I
+2
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+12
+5
+5
+3
+47
+49
+0
+1
+47
+49
+1
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+3
+eql
+x
+6
+should
+p
+3
+I
+0
+I
+16
+I
+c
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+2
+it
+p
+5
+I
+0
+I
+15
+I
+a
+I
+16
+I
+12
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+s
+9
+from Proc
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+18
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+56
+3
+47
+50
+4
+0
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+3
+arg
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+8
+5
+56
+0
+47
+50
+1
+0
+11
+I
+3
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+8
+5
+48
+0
+4
+10
+83
+1
+11
+I
+3
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+6
+status
+x
+2
+==
+p
+3
+I
+0
+I
+1a
+I
+8
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+6
+lambda
+p
+3
+I
+0
+I
+1a
+I
+8
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+12
+5
+5
+2
+47
+49
+0
+1
+47
+49
+1
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+3
+eql
+x
+6
+should
+p
+3
+I
+0
+I
+1b
+I
+c
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+2
+it
+p
+5
+I
+0
+I
+1a
+I
+a
+I
+1b
+I
+12
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+s
+11
+from String
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+18
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+56
+3
+47
+50
+4
+0
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+3
+arg
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+4
+7
+0
+64
+11
+I
+2
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+1
+s
+12
+status == 10
+p
+3
+I
+0
+I
+1f
+I
+4
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+12
+5
+5
+2
+47
+49
+0
+1
+47
+49
+1
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+3
+eql
+x
+6
+should
+p
+3
+I
+0
+I
+20
+I
+c
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+2
+it
+p
+5
+I
+0
+I
+1f
+I
+a
+I
+20
+I
+12
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+s
+11
+from Symbol
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+18
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+56
+3
+47
+50
+4
+0
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+3
+arg
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+3
+7
+0
+11
+I
+2
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+1
+x
+6
+status
+p
+3
+I
+0
+I
+24
+I
+3
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+13
+5
+5
+4
+10
+47
+49
+0
+1
+47
+49
+1
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+3
+eql
+x
+6
+should
+p
+3
+I
+0
+I
+25
+I
+d
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+2
+it
+p
+5
+I
+0
+I
+24
+I
+a
+I
+25
+I
+12
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+s
+26
+from Hash without coercion
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+18
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+56
+3
+47
+50
+4
+0
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+3
+arg
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+17
+44
+43
+0
+79
+49
+1
+1
+13
+7
+2
+4
+10
+49
+3
+2
+15
+11
+I
+5
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+4
+x
+4
+Hash
+x
+16
+new_from_literal
+x
+6
+status
+x
+3
+[]=
+p
+3
+I
+0
+I
+29
+I
+11
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+12
+5
+5
+2
+47
+49
+0
+1
+47
+49
+1
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+3
+eql
+x
+6
+should
+p
+3
+I
+0
+I
+2a
+I
+c
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+2
+it
+p
+5
+I
+0
+I
+29
+I
+a
+I
+2a
+I
+12
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+s
+23
+from Hash with coercion
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+18
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+56
+3
+47
+50
+4
+0
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+3
+arg
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+19
+44
+43
+0
+79
+49
+1
+1
+13
+7
+2
+64
+7
+3
+64
+49
+4
+2
+15
+11
+I
+5
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+4
+Hash
+x
+16
+new_from_literal
+s
+6
+status
+s
+2
+10
+x
+3
+[]=
+p
+3
+I
+0
+I
+2e
+I
+13
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+12
+5
+5
+2
+47
+49
+0
+1
+47
+49
+1
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+3
+eql
+x
+6
+should
+p
+3
+I
+0
+I
+2f
+I
+c
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+2
+it
+p
+5
+I
+0
+I
+2e
+I
+a
+I
+2f
+I
+12
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+s
+22
+from a singleton Array
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+18
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+56
+3
+47
+50
+4
+0
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+3
+arg
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+6
+7
+0
+64
+35
+1
+11
+I
+2
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+1
+s
+12
+status == 10
+p
+3
+I
+0
+I
+33
+I
+6
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+12
+5
+5
+2
+47
+49
+0
+1
+47
+49
+1
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+3
+eql
+x
+6
+should
+p
+3
+I
+0
+I
+34
+I
+c
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+2
+it
+p
+5
+I
+0
+I
+33
+I
+a
+I
+34
+I
+12
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+s
+27
+from an Array with coercion
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+18
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+56
+3
+47
+50
+4
+0
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+3
+arg
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+9
+7
+0
+64
+7
+1
+64
+35
+2
+11
+I
+3
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+s
+6
+status
+s
+2
+10
+p
+3
+I
+0
+I
+38
+I
+9
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+12
+5
+5
+2
+47
+49
+0
+1
+47
+49
+1
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+3
+eql
+x
+6
+should
+p
+3
+I
+0
+I
+39
+I
+c
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+2
+it
+p
+5
+I
+0
+I
+38
+I
+a
+I
+39
+I
+12
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+p
+23
+I
+0
+I
+8
+I
+8
+I
+a
+I
+13
+I
+f
+I
+1e
+I
+14
+I
+29
+I
+19
+I
+34
+I
+1e
+I
+3f
+I
+23
+I
+4a
+I
+28
+I
+55
+I
+2d
+I
+60
+I
+32
+I
+6b
+I
+37
+I
+76
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+8
+describe
+s
+9
+from_argv
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+30
+5
+56
+0
+47
+50
+1
+0
+15
+5
+7
+2
+64
+56
+3
+47
+50
+4
+1
+15
+5
+7
+5
+64
+56
+6
+47
+50
+4
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+7
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+16
+45
+0
+1
+5
+48
+2
+49
+3
+1
+5
+48
+4
+49
+5
+1
+11
+I
+3
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+6
+x
+14
+TuplePredicate
+n
+x
+4
+argv
+x
+9
+from_argv
+x
+6
+handle
+x
+8
+evaluate
+p
+3
+I
+0
+I
+3f
+I
+10
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+7
+subject
+s
+22
+from a singleton Array
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+18
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+56
+3
+47
+50
+4
+0
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+4
+argv
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+6
+7
+0
+64
+35
+1
+11
+I
+2
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+1
+s
+12
+status == 10
+p
+3
+I
+0
+I
+43
+I
+6
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+12
+5
+5
+2
+47
+49
+0
+1
+47
+49
+1
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+3
+eql
+x
+6
+should
+p
+3
+I
+0
+I
+44
+I
+c
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+2
+it
+p
+5
+I
+0
+I
+43
+I
+a
+I
+44
+I
+12
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+8
+describe
+s
+27
+from an Array with coercion
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+18
+5
+7
+0
+56
+1
+47
+50
+2
+1
+15
+5
+56
+3
+47
+50
+4
+0
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+5
+x
+4
+argv
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+9
+7
+0
+64
+7
+1
+64
+35
+2
+11
+I
+3
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+s
+6
+status
+s
+2
+10
+p
+3
+I
+0
+I
+48
+I
+9
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+3
+let
+M
+1
+p
+2
+x
+9
+for_block
+t
+n
+x
+3
+Alf
+i
+12
+5
+5
+2
+47
+49
+0
+1
+47
+49
+1
+1
+11
+I
+4
+I
+0
+I
+0
+I
+0
+I
+-2
+p
+2
+x
+3
+eql
+x
+6
+should
+p
+3
+I
+0
+I
+49
+I
+c
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+2
+it
+p
+5
+I
+0
+I
+48
+I
+a
+I
+49
+I
+12
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+p
+7
+I
+0
+I
+3f
+I
+8
+I
+42
+I
+13
+I
+47
+I
+1e
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+p
+7
+I
+0
+I
+5
+I
+a
+I
+7
+I
+15
+I
+3e
+I
+20
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+8
+describe
+p
+3
+I
+2
+I
+3
+I
+d
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0
+x
+13
+attach_method
+p
+5
+I
+0
+I
+1
+I
+9
+I
+2
+I
+25
+x
+69
+/home/blambeau/work/devel/alf/spec/unit/types/test_tuple_predicate.rb
+p
+0