DU Option<Option<RecordOfIntInt64>>

**Describe the bug**

```
Failed All tests.Execution tests.Tests on composite types on gfx90c.Union tests.Simple test on `Option<Option<RecordOfIntInt64>>` [49 ms]
  Error Message:

Failed after 1 test. Parameters:
        [|Some (Some { X = 0
               Y = 0L }); Some (Some { X = 0
                                       Y = 0L })|]
Shrunk 2 times to:
        [|None|]
Result:
        Exception
  System.ArgumentException: Incorrect instance type (Parameter 'obj')
   at Microsoft.FSharp.Quotations.PatternsModule.checkObj(MemberInfo membInfo, FSharpExpr obj) in D:\a\_work\1\s\src\FSharp.Core\quotations.fs:line 1019
   at Microsoft.FSharp.Quotations.PatternsModule.mkInstancePropGet(FSharpExpr obj, PropertyInfo pinfo, FSharpList`1 args) in D:\a\_work\1\s\src\FSharp.Core\quotations.fs:line 1267
   at Microsoft.FSharp.Quotations.ExprShapeModule.RebuildShapeCombination(Object shape, FSharpList`1 arguments) in D:\a\_work\1\s\src\FSharp.Core\quotations.fs:line 3047
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 16
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 14
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf@16.Invoke(FSharpExpr expr)
   at Microsoft.FSharp.Primitives.Basics.List.mapToFreshConsTail[a,b](FSharpList`1 cons, FSharpFunc`2 f, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 238
   at Microsoft.FSharp.Primitives.Basics.List.map[T,TResult](FSharpFunc`2 mapping, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 247
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 16
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf@16.Invoke(FSharpExpr expr)
   at Microsoft.FSharp.Primitives.Basics.List.map[T,TResult](FSharpFunc`2 mapping, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 247
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 16
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 14
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf@16.Invoke(FSharpExpr expr)
   at Microsoft.FSharp.Primitives.Basics.List.mapToFreshConsTail[a,b](FSharpList`1 cons, FSharpFunc`2 f, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 238
   at Microsoft.FSharp.Primitives.Basics.List.map[T,TResult](FSharpFunc`2 mapping, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 247
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 16
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf@16.Invoke(FSharpExpr expr)
   at Microsoft.FSharp.Primitives.Basics.List.mapToFreshConsTail[a,b](FSharpList`1 cons, FSharpFunc`2 f, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 238
   at Microsoft.FSharp.Primitives.Basics.List.map[T,TResult](FSharpFunc`2 mapping, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 247
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 16
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf@16.Invoke(FSharpExpr expr)
   at Microsoft.FSharp.Primitives.Basics.List.mapToFreshConsTail[a,b](FSharpList`1 cons, FSharpFunc`2 f, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 238
   at Microsoft.FSharp.Primitives.Basics.List.map[T,TResult](FSharpFunc`2 mapping, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 247
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 16
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 14
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf@16.Invoke(FSharpExpr expr)
   at Microsoft.FSharp.Primitives.Basics.List.mapToFreshConsTail[a,b](FSharpList`1 cons, FSharpFunc`2 f, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 238
   at Microsoft.FSharp.Primitives.Basics.List.map[T,TResult](FSharpFunc`2 mapping, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 247
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 16
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf@16.Invoke(FSharpExpr expr)
   at Microsoft.FSharp.Primitives.Basics.List.mapToFreshConsTail[a,b](FSharpList`1 cons, FSharpFunc`2 f, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 238
   at Microsoft.FSharp.Primitives.Basics.List.map[T,TResult](FSharpFunc`2 mapping, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 247
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 16
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf@16.Invoke(FSharpExpr expr)
   at Microsoft.FSharp.Primitives.Basics.List.mapToFreshConsTail[a,b](FSharpList`1 cons, FSharpFunc`2 f, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 238
   at Microsoft.FSharp.Primitives.Basics.List.map[T,TResult](FSharpFunc`2 mapping, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 247
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 16
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 14
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf@16.Invoke(FSharpExpr expr)
   at Microsoft.FSharp.Primitives.Basics.List.mapToFreshConsTail[a,b](FSharpList`1 cons, FSharpFunc`2 f, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 238
   at Microsoft.FSharp.Primitives.Basics.List.map[T,TResult](FSharpFunc`2 mapping, FSharpList`1 x) in D:\a\_work\1\s\src\FSharp.Core\local.fs:line 247
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 16
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 14
   at Brahma.FSharp.OpenCL.Translator.QuotationTransformers.PrintfReplacer.replacePrintf(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\QuotationTransformers\Prin
tfTransformer.fs:line 14
   at Brahma.FSharp.OpenCL.Translator.FSQuotationToOpenCLTranslator.transformQuotation(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\Translator.fs:line 89
   at Brahma.FSharp.OpenCL.Translator.FSQuotationToOpenCLTranslator.translate(FSharpExpr expr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\Translator.fs:line 102
   at <StartupCode$Brahma-FSharp-OpenCL-Translator>.$Translator.Translate@143-17.Invoke(Unit unitVar0) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\Translator.fs:line 143
   at Brahma.FSharp.OpenCL.Translator.FSQuotationToOpenCLTranslator.Translate(FSharpExpr qExpr) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Translator\Translator.fs:line 143
   at Brahma.FSharp.ClProgram`2..ctor(ClContext ctx, FSharpExpr`1 srcLambda) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Core\ClProgram.fs:line 22
   at Brahma.FSharp.ClTaskOpened.runCommand@148-1.Invoke(RuntimeContext _arg1) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Core\ClTask.fs:line 148
   at Brahma.FSharp.ClTaskOpened.runCommand@146-5.Invoke(RuntimeContext env)
   at Brahma.FSharp.ClTaskOpened.runCommand@145-8.Invoke(RuntimeContext env)
   at CompositeTypesTests.Helpers.Pipe #1 input at line 19@22-5.Invoke(RuntimeContext env)
   at <StartupCode$Brahma-FSharp-OpenCL-Core>.$ClTask.Using@54-4.Invoke(RuntimeContext env)
   at <StartupCode$Brahma-FSharp-OpenCL-Core>.$ClTask.Using@52.Invoke(RuntimeContext env) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Core\ClTask.fs:line 54
   at CompositeTypesTests.Helpers.Pipe #1 input at line 19@20-6.Invoke(RuntimeContext env)
   at CompositeTypesTests.Helpers.Pipe #1 input at line 19@19-9.Invoke(RuntimeContext env)
   at Brahma.FSharp.ClTask.runSync[a](RuntimeContext context, ClTask`1 _arg1) in C:\Projects\Brahma.FSharp\src\Brahma.FSharp.OpenCL.Core\ClTask.fs:line 92
   at CompositeTypesTests.Helpers.check[a](RuntimeContext context, a[] data, FSharpFunc`2 command) in C:\Projects\Brahma.FSharp\tests\Brahma.FSharp.Tests\ExecutionTests\CompositeTypesTests.fs:line
14
   at CompositeTypesTests.unionTests@322-2.Invoke(FSharpOption`1[] data) in C:\Projects\Brahma.FSharp\tests\Brahma.FSharp.Tests\ExecutionTests\CompositeTypesTests.fs:line 324
   at FsCheck.Testable.evaluate[a,b](FSharpFunc`2 body, a a)
Focus on error:
        etestProperty (306613076, 297204988) "Simple test on `Option<Option<RecordOfIntInt64>>`"
```


**To Reproduce**
run [test](https://github.com/YaccConstructor/Brahma.FSharp/blob/fdff43c700b31707439fa50983fb43b2416a0684/tests/Brahma.FSharp.Tests/ExecutionTests/CompositeTypesTests.fs#L283).
```
[<Struct>]
type RecordOfIntInt64 = { X: int; Y: int64 }

testProperty (message "Option<Option<RecordOfIntInt64>>")
      <| fun (data: Option<Option<RecordOfIntInt64>>[]) ->
          if data.Length <> 0 then
              check data
              <| fun length ->
                  <@
                      fun (range: Range1D) (buffer: ClArray<_>) ->
                          let gid = range.GlobalID0

                          if gid < length then
                              buffer.[gid] <-
                                  match buffer.[gid] with
                                  | Some (Some { X = x; Y = y }) -> Some (Some { X = x; Y = y })
                                  | Some None -> Some None
                                  | None -> None

                  @>
```

**Desktop (please complete the following information):**
 - OS: Win 11


Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

DU Option<Option<RecordOfIntInt64>> #153

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

DU Option<Option<RecordOfIntInt64>> #153

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions