2 files changed, 108 insertions, 0 deletions

diff --git a/testdata/bug/infer01.wip.lc b/testdata/bug/infer01.wip.lc
new file mode 100644
index 00000000..07c84705
--- /dev/null
+++ b/testdata/bug/infer01.wip.lc
@@ -0,0 +1,19 @@
+-- works with type signature
+--frag :: (Vec 4 Float,Vec 2 Float) -> Vec 4 Float
+frag = \(x,uv) -> x
+
+makeFrame (vertexstream :: PrimitiveStream Triangle (Vec 4 Float,Vec 2 Float))
+
+          = imageFrame (emptyDepthImage 1, emptyColorImage navy)
+  `overlay` fragments
+  where
+    fragments =
+          vertexstream
+        & mapPrimitives (\(x,uv) -> (x,x,uv))
+        & rasterizePrimitives (TriangleCtx CullNone PolygonFill NoOffset LastVertex) (Smooth,Smooth)
+        & mapFragments frag
+        & accumulateWith (DepthOp Less True, ColorOp NoBlending (V4 True True True True))
+
+main = renderFrame $
+   makeFrame (fetch_ "stream4" (Attribute "position4",Attribute "vertexUV"))
+
diff --git a/testdata/bug/infer01.wip.out b/testdata/bug/infer01.wip.out
new file mode 100644
index 00000000..1410c500
--- /dev/null
+++ b/testdata/bug/infer01.wip.out
@@ -0,0 +1,89 @@
+Pipeline
+  { info = "generated by lambdcube-compiler 0.5.0.0"
+  , backend = OpenGL33
+  , textures = []
+  , samplers = []
+  , targets =
+      [ RenderTarget
+          { renderTargets =
+              [ TargetItem
+                  { targetSemantic = Depth , targetRef = Just (Framebuffer Depth) }
+              , TargetItem
+                  { targetSemantic = Color , targetRef = Just (Framebuffer Color) }
+              ]
+          }
+      ]
+  , programs =
+      [ Program
+          { programUniforms = fromList []
+          , programStreams =
+              fromList
+                [ ( "vi1" , Parameter { name = "position4" , ty = V4F } )
+                , ( "vi2" , Parameter { name = "vertexUV" , ty = V2F } )
+                ]
+          , programInTextures = fromList []
+          , programOutput = [ Parameter { name = "f0" , ty = V4F } ]
+          , vertexShader =
+              """
+              #version 330 core
+              vec4 texture2D(sampler2D s,vec2 uv) {
+                  return texture(s,uv);
+              }
+              in vec4 vi1;
+              in vec2 vi2;
+              smooth out vec4 vo1;
+              smooth out vec2 vo2;
+              void main() {
+                  gl_Position = vi1;
+                  vo1 = vi1;
+                  vo2 = vi2;
+              }
+              """
+          , geometryShader = Nothing
+          , fragmentShader =
+              """
+              #version 330 core
+              vec4 texture2D(sampler2D s,vec2 uv) {
+                  return texture(s,uv);
+              }
+              smooth in vec4 vo1;
+              smooth in vec2 vo2;
+              out vec4 f0;
+              void main() {
+                  f0 = vo1;
+              }
+              """
+          }
+      ]
+  , slots =
+      [ Slot
+          { slotName = "stream4"
+          , slotStreams =
+              fromList [ ( "position4" , V4F ) , ( "vertexUV" , V2F ) ]
+          , slotUniforms = fromList []
+          , slotPrimitive = Triangles
+          , slotPrograms = [ 0 ]
+          }
+      ]
+  , streams = []
+  , commands =
+      [ SetRenderTarget 0
+      , ClearRenderTarget
+          [ ClearImage { imageSemantic = Depth , clearValue = VFloat 1.0 }
+          , ClearImage
+              { imageSemantic = Color , clearValue = VV4F (V4 0.0 0.0 0.5 1.0) }
+          ]
+      , SetProgram 0
+      , SetRasterContext
+          (TriangleCtx CullNone PolygonFill NoOffset LastVertex)
+      , SetAccumulationContext
+          AccumulationContext
+            { accViewportName = Nothing
+            , accOperations =
+                [ DepthOp Less True
+                , ColorOp NoBlending (VV4B (V4 True True True True))
+                ]
+            }
+      , RenderSlot 0
+      ]
+  }
\ No newline at end of file