changeset 453:c1ae837f1a2e feature/inflated_tensormapping

Add some type inferense tests. Failing..
author Jonatan Werpers <jonatan@werpers.com>
date Tue, 20 Oct 2020 07:54:59 +0200
parents aeda2698166d
children eb4c34438e30
files test/testLazyTensors.jl
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/test/testLazyTensors.jl	Mon Oct 19 22:34:58 2020 +0200
+++ b/test/testLazyTensors.jl	Tue Oct 20 07:54:59 2020 +0200
@@ -306,6 +306,9 @@
     @inferred (I*v)[3,2]
     @inferred (I'*v)[3,2]
     @inferred range_size(I)
+
+    @inferred range_dim(I)
+    @inferred domain_dim(I)
 end
 
 @testset "InflatedTensorMapping" begin
@@ -341,6 +344,9 @@
     @tullio IAIv[a,b,c,d] := Ã[c,i]*v[a,b,i,d]
     @test tm*v ≈ IAIv rtol=1e-14
 
+    @inferred LazyTensors.split_index(tm,1,1,1,1)
+    @inferred (tm*v)[1,1,1,1]
+
 end
 
 end