How to reshape?

[alok]

#eval ⊞[1.0,2.0,3.0].reshape #[3,1] just gives

typeclass instance problem is stuck, it is often due to metavariables
  SciLean.IndexType ?m.11304

Is there a simple way to reshape? IndexType is not intuitive (so far anyway).

[lecopivo]

The intended way to use reshape is

#eval ⊞[1.0,2.0,3.0].reshape (Fin 3 × Fin 1) (by decide) 

Ok I understand that this is quite weird.

In the latest commit I added reshape1, reshape2, ... functions. This should work now

#check ⊞[1.0,2.0,3.0,4.0].reshape2 2 2 -- Float^[2, 2]
#check ⊞[1.0,2.0,3.0,4.0].reshape2 1 4 -- Float^[1,4]
#check ⊞[1.0,2.0,3.0,4.0].reshape3 2 1 2 -- Float^[2,1,2]