use and require released implicit 0.4

Author: sorki

cabal.project.local.ci

@@ -1,11 +1,10 @@
 -- NOTE: having implicit listed here breaks hint
 -- see https://github.com/Haskell-Things/implicitpipe/issues/2
--- but it is required for CI now
--- until 0.4
-source-repository-package
-    type: git
-    location: https://github.com/Haskell-Things/ImplicitCAD
-    tag: ae794b901e9677593815fad741d87ff56846562d
+--
+-- source-repository-package
+--     type: git
+--     location: https://github.com/Haskell-Things/ImplicitCAD
+--     tag: ae794b901e9677593815fad741d87ff56846562d
 
 -- fork due to resizeBuffer PR https://github.com/tobbebex/GPipe-Core/pull/76
 source-repository-package

default.nix

@@ -1,4 +1,4 @@
-{ rev ? "c542baa0c894796c92a8173dead027f3b952c22e"
+{ rev ? "7c6985653708c5fade76d2014824ff333b0a07b2"
 , overlays ? [ (import ./overlay.nix) ]
 , pkgs ?
     if ((rev == "") || (rev == "default") || (rev == "local"))

implicitpipe.cabal

@@ -20,11 +20,11 @@ library
                      , directory
                      , filepath
                      , fsnotify
-                     , GPipe >=2.2
-                     , GPipe-GLFW >=1.4
+                     , GPipe >= 2.2
+                     , GPipe-GLFW >= 1.4
                      , GLFW-b
                      , hint
-                     , implicit
+                     , implicit >= 0.4
                      , linear
                      , optparse-applicative
                      , stm

overlay.nix

@@ -25,13 +25,13 @@ in
            GPipe = hsuper.callCabal2nix "GPipe" "${gpipeSrc}/GPipe-Core" {};
            GPipe-GLFW = hsuper.callCabal2nix "GPipe-GLFW" ("${gpipeGlfwSrc}/GPipe-GLFW") {};
 
-           # until > 4.0.0 is out
-           implicit = hsuper.callCabal2nix "implicit" (super.fetchFromGitHub {
-              owner = "Haskell-Things";
-              repo = "ImplicitCAD";
-              rev = "ae794b901e9677593815fad741d87ff56846562d";
-              sha256 = "0q8bj3jysgl7kfivrag8g6yx58n5rxf69qsc3lw43941lamaxpda";
-           }) {};
+           # for development
+           # implicit = hsuper.callCabal2nix "implicit" (super.fetchFromGitHub {
+           #    owner = "Haskell-Things";
+           #    repo = "ImplicitCAD";
+           #    rev = "ae794b901e9677593815fad741d87ff56846562d";
+           #    sha256 = "0q8bj3jysgl7kfivrag8g6yx58n5rxf69qsc3lw43941lamaxpda";
+           # }) {};
         });
       });
   })

src/Graphics/Implicit/Viewer/Demos.hs

@@ -1,4 +1,5 @@
 {-# OPTIONS_GHC -fno-warn-type-defaults #-}
+{-# LANGUAGE FlexibleContexts #-}
 module Graphics.Implicit.Viewer.Demos where
 
 import Linear
@@ -95,7 +96,7 @@ sph = implicit (\(V2 x y) -> 10*x^(2 :: Int) + y^(2 :: Int) - 1) (pure (-10), (p
 --    (sphere (sqrt (3 * (n/2) ^2) ))
 -- @
 mixed
-  :: (Object obj vec, Semigroup obj)
+  :: (Object obj f Double, Semigroup obj)
   => ℝ
   -> obj
   -> obj