on dev help sign in
nevermind, better inference with less general types
693085aEitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/Expression/Comparison.hs+4−4
@@ -88,10 +88,10 @@ least :: FunctionVar ty ty ty
88least = unsafeFunctionVar "LEAST"
88least = unsafeFunctionVar "LEAST"
89
89
90type BetweenExpr
90type BetweenExpr
91− = forall outer commons grp schemas params from null0 null1 ty
91+ = forall outer commons grp schemas params from ty
92− . Expression outer commons grp schemas params from (null0 ty)
92+ . Expression outer commons grp schemas params from ty
93− -> ( Expression outer commons grp schemas params from (null1 ty)
93+ -> ( Expression outer commons grp schemas params from ty
94− , Expression outer commons grp schemas params from (null1 ty) ) -- ^ bounds
94+ , Expression outer commons grp schemas params from ty ) -- ^ bounds
95 -> Condition outer commons grp schemas params from
95 -> Condition outer commons grp schemas params from
96
96
97{- | >>> printSQL $ true `between` (null_, false)
97{- | >>> printSQL $ true `between` (null_, false)