Redvers Davies

Results 21 comments of Redvers Davies

I accidentally'd the stack.

Well, since this is tagged 'help wanted' and the issue isn't obvious - let's see if I can help: Minimal Crash: ``` fun flatten[A: Array[Array[A]] #read](arrayin: Array[Array[A]]) => let rv:...

```fun flatten[A: Array[A] #read, B: Array[A]](arrayin: Array[Array[A]]) =>``` Also crashes

```fun flatten[A: Array[B] #read, B: Array[Any] #read](arrayin: Array[Array[A]]) =>``` Does work when you don't do anything with it, but when you try and use it: ``` /home/red/projects/pony/pony-enum/enum/Enum.pony:71:43: Any tag is...

The more I think about this, the more that I'm thinking I'm asking the impossible. This may be something that shouldn't be able to be expressed. I'm going to think...

... because I'm saying that A is *always* an Array of something. So it's Arrays all the way down. I should probably close this.

(Basically - I'm doing a version of this: ```fun flatten[A: Array[B] #read, B: Array[A] #read](arrayin: Array[Array[A]]) =>```

I'm trying to see if I can formulate another way to create my function. I'm not sure there is.

```fun flatten[A: Array[Array[B]] #read, B: Any #read](arrayin: Array[Array[B]])``` !

Done above - also - I installed 0.32.0 too with the same result: ``` 0.32.0 [release] compiled with: llvm 7.1.0 -- gcc (GCC) 8.3.0 Defaults: pic=false ``` Red