Setup project in VS Code (#31)

* VS Code integration
* Update flake-compat
* Add documentation how to setup project in vs code

.envrc

@@ -0,0 +1 @@
+use flake

README.md

@@ -22,3 +22,49 @@ locally
 ```
 nix run -L .#fida-contracts:exe:fida-contracts-serialise -- -o ~/now/fida-purs-module/
 ```
+
+### VS Code Setup
+
+- Install direnv
+
+```
+nix profile install nixpkgs#direnv
+```
+
+and add following line
+
+for zsh -> to the `~/.zshrc`
+
+```
+eval "$(direnv hook zsh)"
+```
+
+for bash -> `~/.bashrc`
+
+```
+eval "$(direnv hook bash)"
+```
+
+- Install https://github.com/nix-community/nix-direnv
+
+```
+nix profile install nixpkgs#nix-direnv
+```
+
+and add following to the `~/.zshrc` (`~/.bashrc`) file
+
+```
+source $HOME/.nix-profile/share/nix-direnv/direnvrc
+```
+
+- Allow .envrc to be loaded
+
+```
+cd fida-contracts
+direnv allow
+```
+
+- Install VS Code extensions
+
+* direnv
+* Haskell

fida-contracts.code-workspace

@@ -0,0 +1,10 @@
+{
+	"folders": [
+		{
+			"path": "."
+		}
+	],
+	"settings": {
+		"haskell.manageHLS": "PATH"
+	}
+}

flake.nix

@@ -22,10 +22,7 @@
     CHaP.follows = "cardano-transaction-lib/plutip/CHaP";
     plutip.follows = "cardano-transaction-lib/plutip";
 
-    flake-compat = {
-      url = "github:edolstra/flake-compat";
-      flake = false;
-    };
+    flake-compat.url = "https://flakehub.com/f/edolstra/flake-compat/1.tar.gz";
   };
 
   outputs = { self, nixpkgs, haskell-nix, iohk-nix, CHaP, plutip, ... }:

src/Fida/Contract/Insurance/PiggyBank.hs

@@ -316,7 +316,8 @@ mkPiggyBankValidator (InsuranceId cs) (FidaCardId n) (PBankFidaCard {pbfcPaidCla
   isFidaCardOwner = valueOf (valueSpent txInfo) cs (fidaCardTokenName n) == 1
   isClaimPaid = fromMaybe True (((`elem` pbfcPaidClaims) . claimId) <$> mClaim)
 
-mkPiggyBankValidator _ _ _ _ _ = False
+mkPiggyBankValidator _ _ _ _ _ =
+  traceError "ERROR-PIGGY-BANK-VALIDATOR-32"
 
 {-# INLINEABLE mkPiggyBankValidatorUntyped #-}
 mkPiggyBankValidatorUntyped ::