Adds Json derive statements to all golden types in lbt-plutus

Author: bladyjoker

extras/lbf-purescript-plutus.nix

@@ -11,9 +11,10 @@ lbf: lbg-purescript: lbfPurescriptOpts: (import ./lbf-purescript.nix) lbf lbg-pu
     default = [ ];
     override = deps: deps ++ [ "lbf-prelude" "lbr-prelude" "lbf-plutus" "lbr-plutus" ];
   };
+  # TODO(https://github.com/mlabs-haskell/lambda-buffers/issues/98): Add Prelude.Json once the issue is resolved
   "classes" = {
     default = [ ];
-    override = classes: classes ++ [ "Plutus.V1.PlutusData" "Prelude.Eq" "Prelude.Json" ];
+    override = classes: classes ++ [ "Plutus.V1.PlutusData" "Prelude.Eq" ];
   };
 }
   lbfPurescriptOpts

lambda-buffers-frontend/data/run.sh

@@ -63,10 +63,9 @@ lbf-build goldens/good Rules.lbf
 lbf-form goldens/good/Rules.lbf
 lbf-build goldens/good Rules.lbf
 
-set -vox
 echo "goldens/good/LambdaBuffers.lbf"
 lbf-build goldens/good LambdaBuffers.lbf
 lbf-form goldens/good/LambdaBuffers.lbf
 lbf-build goldens/good LambdaBuffers.lbf
-unset -vox
+
 # find goldens/ -name "*.lbf" | entr -p cabal run lbf -- compile --compiler `which lbc` --debug goldens/good /_

testsuites/lbt-plutus/api/Foo.lbf

@@ -2,24 +2,28 @@ module Foo
 
 import Foo.Bar
 import Plutus.V1 (Address, Value, Datum, PlutusData)
-import Prelude (Eq)
+import Prelude (Eq, Json)
 
 prod A = (FooSum Address Value Datum)
 
 derive Eq A
+derive Json A
 derive PlutusData A
 
 prod B = (FooProd Address Value Datum)
 
 derive Eq B
+derive Json B
 derive PlutusData B
 
 prod C = (FooRec Address Value Datum)
 
 derive Eq C
+derive Json C
 derive PlutusData C
 
 prod D = (FooComplicated Address Value Datum)
 
 derive Eq D
+derive Json D
 derive PlutusData D

testsuites/lbt-plutus/api/Foo/Bar.lbf

@@ -1,21 +1,24 @@
 module Foo.Bar
 
 import Plutus.V1 (PlutusData)
-import Prelude (Eq, Integer)
+import Prelude (Eq, Json, Integer)
 
 sum FooSum a b c = Foo a b c | Bar a b | Baz b | Qax | Faz Integer
 
 derive Eq (FooSum a b c)
+derive Json (FooSum a b c)
 derive PlutusData (FooSum a b c)
 
 prod FooProd a b c = a b c Integer
 
 derive Eq (FooProd a b c)
+derive Json (FooProd a b c)
 derive PlutusData (FooProd a b c)
 
 record FooRec a b c = { fooA : a, fooB : b, fooC : c, fooInt : Integer }
 
 derive Eq (FooRec a b c)
+derive Json (FooRec a b c)
 derive PlutusData (FooRec a b c)
 
 record FooComplicated a b c = {
@@ -25,4 +28,5 @@ record FooComplicated a b c = {
  }
 
 derive Eq (FooComplicated a b c)
+derive Json (FooComplicated a b c)
 derive PlutusData (FooComplicated a b c)