From bf1434542fcf411f7bf54115e2d779989f7d6cf1 Mon Sep 17 00:00:00 2001
From: ndwarshuis <ndwar@yavin4.ch>
Date: Sat, 8 Jul 2023 19:05:34 -0400
Subject: [PATCH] ENH remove useless field

---
 dhall/Types.dhall           | 7 +------
 lib/Internal/Types/Dhall.hs | 3 ---
 2 files changed, 1 insertion(+), 9 deletions(-)

diff --git a/dhall/Types.dhall b/dhall/Types.dhall
index 606e5d4..f0b1190 100644
--- a/dhall/Types.dhall
+++ b/dhall/Types.dhall
@@ -778,12 +778,7 @@ let Allocation =
     -}
       \(w : Type) ->
       \(v : Type) ->
-        { alloTo : TaggedAcnt.Type
-        , alloAmts : List (Amount w v).Type
-        , alloCur :
-            {-TODO allow exchanges here-}
-            CurID
-        }
+        { alloTo : TaggedAcnt.Type, alloAmts : List (Amount w v).Type }
 
 let PretaxValue =
     {-
diff --git a/lib/Internal/Types/Dhall.hs b/lib/Internal/Types/Dhall.hs
index b2ca0c6..6a060a2 100644
--- a/lib/Internal/Types/Dhall.hs
+++ b/lib/Internal/Types/Dhall.hs
@@ -262,8 +262,6 @@ deriving instance (FromDhall v, FromDhall w) => FromDhall (Amount w v)
 
 deriving instance (Hashable v, Hashable w) => Hashable (Amount w v)
 
--- deriving instance (Generic w, Generic v, FromDhall w, FromDhall v) => FromDhall (Amount w v)
-
 deriving instance (Show w, Show v) => Show (Amount w v)
 
 deriving instance (Eq w, Eq v) => Eq (Amount w v)
@@ -271,7 +269,6 @@ deriving instance (Eq w, Eq v) => Eq (Amount w v)
 data Allocation w v = Allocation
   { alloTo :: TaggedAcnt
   , alloAmts :: [Amount w v]
-  , alloCur :: CurID
   }
   deriving (Eq, Show, Generic, Hashable)