faster build perhaps
This commit is contained in:
parent
51c546aed3
commit
99f9231e49
2
.github/workflows/haskell.yml
vendored
2
.github/workflows/haskell.yml
vendored
@ -35,7 +35,7 @@ jobs:
|
|||||||
cabal: ["3.2"]
|
cabal: ["3.2"]
|
||||||
ghc: ["8.6.5", "8.8.3", "8.10.1"]
|
ghc: ["8.6.5", "8.8.3", "8.10.1"]
|
||||||
env:
|
env:
|
||||||
CONFIG: "--enable-tests --enable-benchmarks"
|
CONFIG: "--enable-tests --enable-benchmarks --disable-optimizations -j"
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@v2
|
- uses: actions/checkout@v2
|
||||||
- uses: actions/setup-haskell@v1.1.2
|
- uses: actions/setup-haskell@v1.1.2
|
||||||
|
|||||||
@ -838,15 +838,19 @@ instance (ToFrom a, ToFromT a ~ a', ToFrom b, ToFromT b ~ b')
|
|||||||
=> ToInnerJoin NotLateral a b (a' :& b') where
|
=> ToInnerJoin NotLateral a b (a' :& b') where
|
||||||
toInnerJoin _ lhs rhs on' = InnerJoinFrom (toFrom lhs) (toFrom rhs, on')
|
toInnerJoin _ lhs rhs on' = InnerJoinFrom (toFrom lhs) (toFrom rhs, on')
|
||||||
|
|
||||||
instance ( ToFrom a
|
instance
|
||||||
, ToFromT a ~ a'
|
( ToFrom a
|
||||||
, ToInnerJoin (IsLateral b) a b b'
|
, ToFromT a ~ a'
|
||||||
) => ToFrom (InnerJoin a (b, b' -> SqlExpr (Value Bool))) where
|
, ToInnerJoin (IsLateral b) a b b'
|
||||||
toFrom (InnerJoin lhs (rhs, on')) =
|
)
|
||||||
let
|
=>
|
||||||
toProxy :: b -> Proxy (IsLateral b)
|
ToFrom (InnerJoin a (b, b' -> SqlExpr (Value Bool)))
|
||||||
|
where
|
||||||
|
toFrom (InnerJoin lhs (rhs, on')) =
|
||||||
|
let toProxy :: b -> Proxy (IsLateral b)
|
||||||
toProxy _ = Proxy
|
toProxy _ = Proxy
|
||||||
in toInnerJoin (toProxy rhs) lhs rhs on'
|
in
|
||||||
|
toInnerJoin (toProxy rhs) lhs rhs on'
|
||||||
|
|
||||||
instance
|
instance
|
||||||
( ToFrom a
|
( ToFrom a
|
||||||
@ -1168,8 +1172,8 @@ from parts = do
|
|||||||
let ret = (toMaybe leftVal) :& (toMaybe rightVal)
|
let ret = (toMaybe leftVal) :& (toMaybe rightVal)
|
||||||
pure $ (ret, FromJoin leftFrom FullOuterJoinKind rightFrom (Just (on' ret)))
|
pure $ (ret, FromJoin leftFrom FullOuterJoinKind rightFrom (Just (on' ret)))
|
||||||
|
|
||||||
fromSubQuery
|
fromSubQuery
|
||||||
::
|
::
|
||||||
( SqlSelect a r
|
( SqlSelect a r
|
||||||
, ToAlias a
|
, ToAlias a
|
||||||
, ToAliasReference a
|
, ToAliasReference a
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user