Generic wellformedness precondition (#345)

cabal.project

@@ -81,7 +81,7 @@ source-repository-package
 source-repository-package
   type: git
   location: https://github.com/input-output-hk/plutus
-  tag: cc72a56eafb02333c96f662581b57504f8f8992f
+  tag: 4127e9cd6e889824d724c30eae55033cb50cbf3e
   subdir:
     plutus-core
     plutus-ledger-api

doc/plutus/tutorials/GameModel.hs

@@ -1,4 +1,5 @@
 {-# LANGUAGE DataKinds          #-}
+{-# LANGUAGE DeriveDataTypeable #-}
 {-# LANGUAGE DeriveFunctor      #-}
 {-# LANGUAGE FlexibleContexts   #-}
 {-# LANGUAGE FlexibleInstances  #-}
@@ -17,6 +18,7 @@ module GameModel where
 import Control.Applicative
 import Control.Lens hiding (elements)
 import Control.Monad
+import Data.Data
 import System.Random
 
 -- START import Log
@@ -78,7 +80,7 @@ data GameModel = GameModel
     { _gameValue     :: Integer
     , _hasToken      :: Maybe Wallet
     , _currentSecret :: String }
-  deriving (Show)
+  deriving (Show, Data)
 
 makeLenses 'GameModel
 -- END GameModel
@@ -92,7 +94,7 @@ instance ContractModel GameModel where
     data Action GameModel = Lock      Wallet String Integer
                           | Guess     Wallet String String Integer
                           | GiveToken Wallet
-        deriving (Eq, Show)
+        deriving (Eq, Show, Data)
 -- END instance ContractModel and Action type
 
 -- START ContractInstanceKey

nix/pkgs/haskell/haskell.nix

@@ -39,7 +39,7 @@ let
     inherit checkMaterialization;
     sha256map = {
       "https://github.com/input-output-hk/iohk-monitoring-framework"."46f994e216a1f8b36fe4669b47b2a7011b0e153c" = "1il8fx3misp3650ryj368b3x95ksz01zz3x0z9k00807j93d0ka0";
-      "https://github.com/input-output-hk/plutus"."cc72a56eafb02333c96f662581b57504f8f8992f" = "1w89ikv3jsg5x9xf7qpcjnix3nf016z0xpf48q5238h4ngvcqp9y";
+      "https://github.com/input-output-hk/plutus"."4127e9cd6e889824d724c30eae55033cb50cbf3e" = "186w0x7vk8m8npmsfg9pdkxds0rlj6bmhr8nkgn96rkvaz5azjsb";
       "https://github.com/Quid2/flat"."ee59880f47ab835dbd73bea0847dab7869fc20d8" = "1lrzknw765pz2j97nvv9ip3l1mcpf2zr4n56hwlz0rk7wq7ls4cm";
       "https://github.com/input-output-hk/servant-purescript"."44e7cacf109f84984cd99cd3faf185d161826963" = "10pb0yfp80jhb9ryn65a4rha2lxzsn2vlhcc6xphrrkf4x5lhzqc";
       "https://github.com/input-output-hk/purescript-bridge"."47a1f11825a0f9445e0f98792f79172efef66c00" = "0da1vn2l6iyfxcjk58qal1l4755v92zi6yppmjmqvxf1gacyf9px";