Build with GHC 8.2

circuithub · Oct 10, 2017 · a1ccd1c · a1ccd1c
1 parent ca72d82
commit a1ccd1c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Rel8/Internal/Table.hs b/Rel8/Internal/Table.hs
@@ -404,8 +404,8 @@ class AggregateTable columns result | columns -> result, result -> columns where
 
   default
     aggregations
-      :: (GTraverseAggregator (Rep columns) (Rep result), Generic columns)
-      => Iso' columns (MkRowF (Rep result) (Limit Aggregate))
+      :: (GTraverseAggregator (Rep columns) (Rep result), Generic columns, MkRowF (Rep result) (Limit Aggregate) ~ RowF result (Limit Aggregate))
+      => Iso' columns (RowF result (Limit Aggregate))
   aggregations = generic . gaggregations
 
 -- | A single column aggregates to a single expression.