on dev help sign in
nevermind, better inference with less general types
commit693085ab81acafbb9679a7e865bbb705efdb4f59 authorEitan Chatav <eitan@Eitans-MacBook-Pro.local> dateFri 12 Apr 2019, 10:20 (8 years ago) parent486225f
1 file changed+4−4
squeal-postgresql/src/Squeal/PostgreSQL/Expression/Comparison.hs+4−4
squeal-postgresql/src/Squeal/PostgreSQL/Expression/Comparison.hs+4−4
@@ -88,10 +88,10 @@ least :: FunctionVar ty ty ty
8888least = unsafeFunctionVar "LEAST"
8989
9090type BetweenExpr
91− = forall outer commons grp schemas params from null0 null1 ty
92− . Expression outer commons grp schemas params from (null0 ty)
93− -> ( Expression outer commons grp schemas params from (null1 ty)
94− , Expression outer commons grp schemas params from (null1 ty) ) -- ^ bounds
91+ = forall outer commons grp schemas params from ty
92+ . Expression outer commons grp schemas params from ty
93+ -> ( Expression outer commons grp schemas params from ty
94+ , Expression outer commons grp schemas params from ty ) -- ^ bounds
9595 -> Condition outer commons grp schemas params from
9696
9797{- | >>> printSQL $ true `between` (null_, false)