 lloda
|
06a44d0d67
Better way to flag bad uses of ra::len
|
7 kuukautta sitten |
|
lloda
|
bf00da4bc2
Guard against uses of ra::len in scalar conversion ops
|
7 kuukautta sitten |
|
lloda
|
7d3eba6c6b
Simplify ra::len replacement
|
7 kuukautta sitten |
|
lloda
|
d2eb06e8be
Fix handling of len in step argument to ptr()
|
1 vuosi sitten |
|
lloda
|
88308b0930
Replace flat interface with save-load interface
|
1 vuosi sitten |
|
lloda
|
ef82065e41
Start arguments to TestRecorder::test_abs, ::test_rel
|
1 vuosi sitten |
|
lloda
|
bb30995dd5
Move escape seq definitions to test.hh
|
1 vuosi sitten |
|
lloda
|
d91e22ae66
Merge ra::vector in ra::ptr
|
1 vuosi sitten |
|
lloda
|
7423eff0ec
Trying to make constant len exprs work
|
1 vuosi sitten |
|
lloda
|
b79f6f2842
Fix bug in constant iota check
|
1 vuosi sitten |
|
lloda
|
b0ba8bd442
Rearrange headers
|
1 vuosi sitten |
|
lloda
|
68a7804c51
Preserve static length through with_len
|
1 vuosi sitten |
|
lloda
|
bb8d8f063b
Remove some unused type predicates
|
1 vuosi sitten |
|
lloda
|
fab91179c5
Pattern Ptr::n after Iota::n
|
1 vuosi sitten |
|
lloda
|
caa387035b
Allow exprs with iotas having Len in their lengths
|
1 vuosi sitten |
|
lloda
|
9caac37e2e
Partial support for ra::len in View subscripts
|
1 vuosi sitten |
|
lloda
|
2f4920bc5f
Move WithLen sandbox to header
|
1 vuosi sitten |
