tweak hnf handling

3 files changed, 8 insertions, 16 deletions

diff --git a/testdata/editor-examples/Heartbeat.lc b/testdata/editor-examples/Heartbeat.lc
index 920c9097..29a0464e 100644
--- a/testdata/editor-examples/Heartbeat.lc
+++ b/testdata/editor-examples/Heartbeat.lc
@@ -7,8 +7,6 @@ triangleRasterCtx = TriangleCtx CullNone PolygonFill NoOffset LastVertex
 triangles = triangleRasterCtx
 colorFragmentCtx = (DepthOp Less True, ColorOp NoBlending (V4 True True True True))
 
-rasterizeWith s = rasterizePrimitives triangles ((Smooth)) s
-
 cubeVertexStream = fetch "stream4" (Attribute "position4" :: Vec 4 Float, Attribute "vertexUV" :: Vec 2 Float)
 mapFragments2 s fs = accumulate colorFragmentCtx (\((a)) -> ((fs a))) s clear
 
@@ -22,7 +20,7 @@ rotate' v = projmat *. v
 texImage = PrjImageColor $
             cubeVertexStream         -- cube vertices
      &      mapPrimitives (\(x, y) -> (scale 1.0 x, V2 y%x (1-y%y)))
-     &      rasterizeWith  -- rasterize
+     &      rasterizePrimitives triangles ((Smooth))  -- rasterize
     `mapFragments2`
     (\xy -> let
                 x = ((xy :: Vec 2 Float)%x :: Float) -! 0.85
@@ -39,7 +37,7 @@ texImage = PrjImageColor $
 sampler = Sampler LinearFilter MirroredRepeat $ Texture2D (V2 128 128) texImage
 
 main =             cubeVertexStream         -- cube vertices
-     &      mapPrimitives (\(x, y) -> (scale 0.5 . rotate' $ x, y))
-     &             rasterizeWith -- rasterize
+     &             mapPrimitives (\(x, y) -> (scale 0.5 . rotate' $ x, y))
+     &             rasterizePrimitives triangles ((Smooth)) -- rasterize
     `mapFragments2` (texture2D sampler)
      &             ScreenOut                --  draw into screen
diff --git a/testdata/editor-examples/Heartbeat.out b/testdata/editor-examples/Heartbeat.out
index 6c435c7e..56f659dc 100644
--- a/testdata/editor-examples/Heartbeat.out
+++ b/testdata/editor-examples/Heartbeat.out
@@ -103,20 +103,17 @@ Pipeline
               uniform float Time;
               smooth in vec2 vo1;
               out vec4 f0;
-              vec4 rgb(float z0,float z1,float z2) {
-                  return vec4 (z0,z1,z2,1.0);
-              }
               vec4 blue;
               vec4 navy;
               float ti;
               vec4 white;
               vec4 yellow;
               void main() {
-                  blue = rgb (0.0,0.0,1.0);
-                  navy = rgb (0.0,0.0,0.5);
+                  blue = vec4 (0.0,0.0,1.0,1.0);
+                  navy = vec4 (0.0,0.0,0.5,1.0);
                   ti = abs ((sin ((Time) * (4.0))) - (0.37));
-                  white = rgb (1.0,1.0,1.0);
-                  yellow = rgb (1.0,1.0,0.0);
+                  white = vec4 (1.0,1.0,1.0,1.0);
+                  yellow = vec4 (1.0,1.0,0.0,1.0);
                   f0 =
                       ((((((vo1).x) - (0.85)) * (((vo1).x) - (0.85))) + ((((vo1).y) - (0.85)) * (((vo1).y) - (0.85)))) + ((5.0e-4) * (sin
                       (((3.0) * (atan (((vo1).x) - (0.85)
diff --git a/testdata/editor-examples/LambdaCube.out b/testdata/editor-examples/LambdaCube.out
index 68796786..fa7afdb9 100644
--- a/testdata/editor-examples/LambdaCube.out
+++ b/testdata/editor-examples/LambdaCube.out
@@ -65,9 +65,6 @@ Pipeline
               }
               smooth in vec4 vo1;
               out vec4 f0;
-              vec4 rgb(float z0,float z1,float z2) {
-                  return vec4 (z0,z1,z2,1.0);
-              }
               vec4 black;
               vec4 leftSide(vec2 z0) {
                   return vec4 (0.0
@@ -89,7 +86,7 @@ Pipeline
                                                                                ,vec2 (1.0,-1.0))) < (0.0)) ? 0.0 : 1.0);
               }
               void main() {
-                  black = rgb (0.0,0.0,0.0);
+                  black = vec4 (0.0,0.0,0.0,1.0);
                   f0 = (abs ((vo1).x)) > (0.99999) ? rightSide_2 (((((vo1).yz) * (sign
                       ((vo1).x))) * (0.5)) + (0.5)) : (abs ((vo1).y)) > (0.99999) ? topSide
                       (((((vo1).zx) * (sign ((vo1).y))) * (0.5)) + (0.5)) : (abs