Skip to content

Commit

Permalink
[Costing] Remove the 'ExMemoryUsage' instance for 'SomeTypeIn' (#6318)
Browse files Browse the repository at this point in the history
  • Loading branch information
effectfully authored Jul 19, 2024
1 parent 0da4c4b commit 514d521
Showing 1 changed file with 0 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -156,10 +156,6 @@ instance (ExMemoryUsage a, ExMemoryUsage b) => ExMemoryUsage (a, b) where
memoryUsage (a, b) = CostRose 1 [memoryUsage a, memoryUsage b]
{-# INLINE memoryUsage #-}

instance ExMemoryUsage (SomeTypeIn uni) where
memoryUsage _ = singletonRose 1
{-# INLINE memoryUsage #-}

instance (Closed uni, uni `Everywhere` ExMemoryUsage) => ExMemoryUsage (Some (ValueOf uni)) where
memoryUsage (Some (ValueOf uni x)) = bring (Proxy @ExMemoryUsage) uni (memoryUsage x)
{-# INLINE memoryUsage #-}
Expand Down

0 comments on commit 514d521

Please sign in to comment.