From d143ec87b54338fbf7567b6348e096395e942bb1 Mon Sep 17 00:00:00 2001
From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com>
Date: Wed, 2 Mar 2022 16:46:09 +0000
Subject: [PATCH] Began applying Emily's suggestions

---
 Makefile              |  2 +-
 agora.cabal           |  1 -
 src/Agora/Treasury.hs | 15 +++++----------
 3 files changed, 6 insertions(+), 12 deletions(-)

diff --git a/Makefile b/Makefile
index 38026f3..feb2a3d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 SHELL := /usr/bin/env bash
 
-.PHONY: hoogle format usage
+.PHONY: hoogle format haddock usage
 
 usage:
 	@echo "usage: make <command> [OPTIONS]"
diff --git a/agora.cabal b/agora.cabal
index 53d3ed8..103c47a 100644
--- a/agora.cabal
+++ b/agora.cabal
@@ -76,7 +76,6 @@ common lang
     TypeOperators
     TypeSynonymInstances
     UndecidableInstances
-    UndecidableInstances
     ViewPatterns
     OverloadedRecordDot
     QualifiedDo
diff --git a/src/Agora/Treasury.hs b/src/Agora/Treasury.hs
index bff49c5..729d0b4 100644
--- a/src/Agora/Treasury.hs
+++ b/src/Agora/Treasury.hs
@@ -1,5 +1,3 @@
-{-# OPTIONS_GHC -Wwarn #-}
-
 {- |
 Module: Agora.Treasury
 Maintainer: jack@mlabs.city
@@ -8,7 +6,7 @@ Description: Treasury scripts.
 Contains the datum, redeemer and validator for a template DAO
 treasury.
 -}
-module Agora.Treasury where
+module Agora.Treasury (treasuryV) where
 
 import GHC.Generics qualified as GHC
 import Generics.SOP
@@ -20,8 +18,8 @@ import Plutarch.Api.V1.Contexts (
 import Plutarch.Api.V1.Maybe (PMaybeData (PDJust))
 import Plutarch.Api.V1.Scripts (PDatum, PDatumHash)
 import Plutarch.Api.V1.Tx (
-  PTxInInfo (PTxInInfo),
-  PTxOut (PTxOut),
+  PTxInInfo,
+  PTxOut,
  )
 import Plutarch.Api.V1.Value (PCurrencySymbol, PValue)
 import Plutarch.Builtin (pforgetData)
@@ -107,7 +105,7 @@ getTrDatumHash = plam $ \d l -> P.do
         )
     matchDatums = plam $ \d t' ->
       let t = pfield @"_1" # t'
-       in (pforgetData d) #== (pforgetData t)
+       in pforgetData d #== pforgetData t
 
 -- | Get the "resolved" field of a TxInInfo.
 toResolved :: Term s (PAsData PTxInInfo :--> PAsData PTxOut)
@@ -133,8 +131,6 @@ getValAtDHash = plam $ \dh outs -> P.do
 {- | Plutarch level type representing datum of the treasury.
      Contains:
 
-       - @reserves@ representing the current value kept in the
-         treasury.
        - @stateThread@ representing the asset class of the
          treasury's state thread token.
 -}
@@ -143,8 +139,7 @@ newtype PTreasuryDatum (s :: S)
       ( Term
           s
           ( PDataRecord
-              '[ "reserves" ':= PValue
-               , "stateThread" ':= PCurrencySymbol
+              '[ "stateThread" ':= PCurrencySymbol
                ]
           )
       )