repo.or.cz
/
sqlgg.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
types: take into account arguments number when resolving functions
2018-04-25
yg
r
ek
types: take into
account
arg
u
m
e
nts
number when reso
l
ving
.
.
.
commit
|
commitdiff
|
tree
2018-04-25
ygrek
tes
t
s: actually
exit with error
c
ode on failure
commit
|
commitdiff
|
tree
2018-04-23
ygrek
t
e
s
t
s: sepa
r
a
t
e test c
a
s
e
s
f
o
r
bet
t
e
r
resul
t
s o
v
ervi
e
w
commit
|
commitdiff
|
tree
2018-04-23
ygrek
fix single-row detection
commit
|
commitdiff
|
tree
2018-04-19
ygre
k
impl/ocam
l
/mysql: fix exam
p
le
commit
|
commitdiff
|
tree
2018-04-18
ygrek
im
p
l/ocaml/mysql: a
l
low override value
t
ypes (
f
i
x
#49)
commit
|
commitdiff
|
tree
2018-04-18
yg
r
e
k
s
ql:
+ from_unixtime (close #50)
commit
|
commitdiff
|
tree
2018-04-18
yg
r
ek
c
a
m
l
:
do not generate
duplicate code
i
n Fold
(close
.
.
.
commit
|
commitdiff
|
tree
2018-04-18
ygrek
+
.
/
r
u
n
_te
s
t init
commit
|
commitdiff
|
tree
2018-04-17
y
g
r
e
k
t
y
pe
s
:
m
ore precise types for vararg func
t
ions (finish
.
.
.
commit
|
commitdiff
|
tree
2018-04-17
y
g
r
e
k
sql:
+
IFNULL,
N
ULLI
F
; type
promotion w
h
en match
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2018-04-17
ygrek
gen: unif
y
param
e
ters
:facepalm: (fix #45)
commit
|
commitdiff
|
tree
2018-04-17
ygr
e
k
type
s
:
i
mprove type for numeric expressio
n
s a
b
it
commit
|
commitdiff
|
tree
2018-04-17
yg
r
ek
cli: bett
e
r debug
commit
|
commitdiff
|
tree
2018-04-17
y
grek
s
q
l: improve single-row de
t
ection (fi
x
#
4
7)
commit
|
commitdiff
|
tree
2018-04-17
y
grek
sql: sup
p
or
t
mul
t
i-value I
N
SERT
(fix #46)
commit
|
commitdiff
|
tree
2018-04-17
y
gr
e
k
tests: ab
o
rt on
failure
commit
|
commitdiff
|
tree
2018-04-14
ygre
k
update oa
s
is
commit
|
commitdiff
|
tree
2018-03-10
ygr
e
k
prep
a
re
release
0
.
4
.
4
commit
|
commitdiff
|
tree
2018-03-10
ygrek
update
REA
D
ME
commit
|
commitdiff
|
tree
2018-03-10
ygrek
rend
e
r README and add CI bad
g
es
commit
|
commitdiff
|
tree
2018-03-10
yg
r
ek
add
C
I
scripts and opam
fi
l
e
commit
|
commitdiff
|
tree
2018-03-10
ygre
k
build:
s
top generating old annot fi
l
es
commit
|
commitdiff
|
tree
2017-12-11
ygrek
dr
o
p d
e
rivi
n
g, switch to p
p
x_deriving
commit
|
commitdiff
|
tree
2017-10-01
ygrek
prep
a
r
e
release
0
.
4
.
3
commit
|
commitdiff
|
tree
2017-10-01
ygrek
build:
real
l
y
d
o
not r
e
q
u
ire mys
q
l an
d
sqlite3
commit
|
commitdiff
|
tree
2017-10-01
ygrek
prepare release 0
.
4
.
2
commit
|
commitdiff
|
tree
2017-10-01
ygrek
use static oasis
setup
commit
|
commitdiff
|
tree
2017-10-01
ygre
k
prepare release
0
.
4
.
1
commit
|
commitdiff
|
tree
2017-10-01
ygrek
do not require mysql and
s
qlite3
commit
|
commitdiff
|
tree
2017-10-01
yg
r
ek
prepar
e
relea
s
e 0
.
4
.
0
commit
|
commitdiff
|
tree
2017-07-13
ygr
e
k
make oas
i
s
commit
|
commitdiff
|
tree
2017-07-13
ygr
e
k
do n
o
t identify build u
s
er in ver
s
ion
commit
|
commitdiff
|
tree
2016-07-17
y
gr
e
k
sql: s
u
pport IF in SELECT (fix #39)
commit
|
commitdiff
|
tree
2015-12-15
ygrek
sql:
d
yn
a
m
i
c
ally
add
func
t
i
ons
commit
|
commitdiff
|
tree
2015-12-14
yg
r
ek
s
q
l: parse store
d
f
u
nction definitions (c
l
o
ses #37)
commit
|
commitdiff
|
tree
2015-12-14
y
gr
e
k
sql:
a
ccept dollar-qu
o
ted string literals (pgsql)
commit
|
commitdiff
|
tree
2015-12-08
yg
r
ek
sql:
a
ccept postgres UUID type (
c
loses
#
3
6)
commit
|
commitdiff
|
tree
2015-11-01
ygre
k
sql: support VALUES function
commit
|
commitdiff
|
tree
2015-10-26
yg
r
ek
move joined_schema into e
n
vironment
commit
|
commitdiff
|
tree
2015-10-12
ygr
e
k
mi
n
or
commit
|
commitdiff
|
tree
2015-10-12
y
g
rek
sql
:
+ ON DU
P
LIC
A
TE KEY UPDATE (c
l
oses #33)
commit
|
commitdiff
|
tree
2015-10-11
ygrek
f
ix typing for INSERT
.
.
SELECT (cl
o
ses #1
4
)
commit
|
commitdiff
|
tree
2015-10-11
y
grek
testcase for
i
ssue #14
commit
|
commitdiff
|
tree
2015-10-08
y
g
rek
caml: support multiple subst
commit
|
commitdiff
|
tree
2015-10-03
y
g
re
k
r
esolve_colum
n
commit
|
commitdiff
|
tree
2015-10-03
yg
r
e
k
make m
o
re internal types
r
ecords
commit
|
commitdiff
|
tree
2015-10-02
yg
r
ek
save more precise
t
ype fo
r
poly
m
orph
i
c paramete
r
s
commit
|
commitdiff
|
tree
2015-10-02
ygrek
add fa
i
l
i
ng test c
a
se (o
r
der
dependency)
commit
|
commitdiff
|
tree
2015-10-02
y
g
rek
F sub
s
ume
s
Fixed
commit
|
commitdiff
|
tree
2015-10-02
ygrek
mo
r
e
p
re
c
i
se typing
of
CASE wi
t
ho
u
t
selector
commit
|
commitdiff
|
tree
2015-09-26
ygrek
fix t
y
p
i
ng of CASE
commit
|
commitdiff
|
tree
2015-08-30
ygrek
pretty-pr
i
nt functio
n
types
commit
|
commitdiff
|
tree
2015-08-30
ygrek
add sqlgg
.
* s
u
bpackages
commit
|
commitdiff
|
tree
2015-08-30
y
grek
noop
commit
|
commitdiff
|
tree
2015-08-30
y
grek
Merge
branch 'typing'
commit
|
commitdiff
|
tree
2015-08-30
ygrek
fix typing for INTERVAL (clos
e
s
#
32)
commit
|
commitdiff
|
tree
2015-08-30
ygrek
testcase for issue #32
commit
|
commitdiff
|
tree
2015-08-24
ygrek
f
ix version
commit
|
commitdiff
|
tree
2015-08-10
yg
r
ek
sql
:
parse i
n
dex definition in CREATE
TAB
L
E
commit
|
commitdiff
|
tree
2015-08-09
ygrek
sql: parse TRUE F
A
L
S
E (mysql)
commit
|
commitdiff
|
tree
2015-08-07
ygrek
minor
commit
|
commitdiff
|
tree
2015-08-07
ygrek
fix COUN
T
(*)
commit
|
commitdiff
|
tree
2015-08-07
y
g
r
ek
fix t
y
ping of SELECT
i
n expression
commit
|
commitdiff
|
tree
2015-08-07
ygrek
m
ore
precise typing
for functions
commit
|
commitdiff
|
tree
2015-08-01
y
g
rek
sql
:
AVG r
e
turns
f
lo
a
t (
c
lose
s
#26)
commit
|
commitdiff
|
tree
2015-07-28
ygre
k
s
ql: CREATE
INDEX on a prefix of
colu
m
n
commit
|
commitdiff
|
tree
2015-07-23
ygrek
d
rop ocaml < 4
.
01
.
0
compatibility
commit
|
commitdiff
|
tree
2015-07-23
y
g
rek
oasis:
u
se
XO
C
amlbuildPluginTags
commit
|
commitdiff
|
tree
2015-07-20
ygrek
s
q
l: s
u
p
port IS
N
OT? NULL pr
e
dic
a
te (closes #20)
commit
|
commitdiff
|
tree
2015-07-20
ygrek
pass environment fo
r
table
n
ame resolution, quick hack
.
.
.
commit
|
commitdiff
|
tree
2015-07-15
ygr
e
k
oasis:
f
ix
b
ui
l
d - drop mybu
i
ld from BuildTool
s
commit
|
commitdiff
|
tree
2015-07-09
ygrek
im
p
l/ocam
l
: add Bool
commit
|
commitdiff
|
tree
2015-07-09
ygrek
c
a
ml: fix tr
a
iling whitespac
e
i
n
gene
r
ate
d
co
d
e
commit
|
commitdiff
|
tree
2015-07-05
ygrek
use my
b
ui
l
d
commit
|
commitdiff
|
tree
2015-07-05
y
g
rek
start sep
a
rat
e
syntax tre
e
commit
|
commitdiff
|
tree
2015-07-05
ygrek
imp
l
: mi
n
or
commit
|
commitdiff
|
tree
2015-04-14
ygrek
p
repare release 0
.
3
.
0
commit
|
commitdiff
|
tree
2015-04-14
ygrek
fix release
commit
|
commitdiff
|
tree
2015-04-14
ygrek
make oasis
commit
|
commitdiff
|
tree
2015-04-05
ygrek
move R
A
.
Schema to Sql
commit
|
commitdiff
|
tree
2015-04-03
ygrek
stay compatible
w
ith
o
c
aml >= 3
.
12
.
1
commit
|
commitdiff
|
tree
2015-03-29
y
grek
fi
x
white
s
pa
c
e
commit
|
commitdiff
|
tree
2015-03-29
y
grek
fix
build
w
a
r
n
ings
commit
|
commitdiff
|
tree
2015-03-29
ygrek
m
o
dernize Prelude
commit
|
commitdiff
|
tree
2015-01-31
ygrek
+ test/misc
commit
|
commitdiff
|
tree
2015-01-31
ygr
e
k
+ m
e
rlin
commit
|
commitdiff
|
tree
2015-01-31
y
g
r
ek
pack
commit
|
commitdiff
|
tree
2015-01-26
ygrek
sq
l
: allow
SELEC
T
wi
t
hout
FROM
commit
|
commitdiff
|
tree
2015-01-26
ygr
e
k
s
ql: + strftime
commit
|
commitdiff
|
tree
2015-01-25
ygrek
s
t
art split l
i
brary
commit
|
commitdiff
|
tree
2015-01-25
ygrek
get rid of ListMor
e
commit
|
commitdiff
|
tree
2015-01-21
y
grek
+ tes
t
/
f
l
oat
commit
|
commitdiff
|
tree
2015-01-21
ygrek
actua
l
ly allow to infer float types
commit
|
commitdiff
|
tree
2015-01-21
y
g
rek
imp
l
/ocaml: add
traits
f
or float and datetime types
.
.
.
commit
|
commitdiff
|
tree
2015-01-21
ygrek
+ t
e
s
t
/
mon
e
y
commit
|
commitdiff
|
tree
2015-01-21
ygrek
example:
use oc
a
mlfin
d
commit
|
commitdiff
|
tree
2014-10-19
ygrek
add
regressio
n
test for issue #7
commit
|
commitdiff
|
tree
2014-10-19
ygr
e
k
+
-no-
h
e
ader option
commit
|
commitdiff
|
tree
2014-10-19
ygrek
update README
commit
|
commitdiff
|
tree
next