<thelema>
If I felt really reductionist, there's only (fun patt1 -> expr), with multiple arguments just as syntactic sugar.
AxleLonghorn has left #ocaml []
hkBst has joined #ocaml
pants2 has joined #ocaml
pants1 has quit [Read error: 110 (Connection timed out)]
mwc has quit [Remote closed the connection]
Mr_Awesome has joined #ocaml
hkBst has quit [brown.freenode.net irc.freenode.net]
cbrannon has quit [brown.freenode.net irc.freenode.net]
dibblego has quit [brown.freenode.net irc.freenode.net]
yminsky_ has quit [brown.freenode.net irc.freenode.net]
jdev has quit [brown.freenode.net irc.freenode.net]
ikatz has quit [brown.freenode.net irc.freenode.net]
szell has quit [brown.freenode.net irc.freenode.net]
neale has quit [brown.freenode.net irc.freenode.net]
zmdkrbou has quit [brown.freenode.net irc.freenode.net]
petchema has quit [brown.freenode.net irc.freenode.net]
pattern has quit [brown.freenode.net irc.freenode.net]
authentic has quit [brown.freenode.net irc.freenode.net]
ozzloy_ has quit [brown.freenode.net irc.freenode.net]
evn_ has quit [brown.freenode.net irc.freenode.net]
evn has quit [brown.freenode.net irc.freenode.net]
palomer has quit [brown.freenode.net irc.freenode.net]
rwmjones has quit [brown.freenode.net irc.freenode.net]
mattam has quit [brown.freenode.net irc.freenode.net]
fremo has quit [brown.freenode.net irc.freenode.net]
jeremiah has quit [brown.freenode.net irc.freenode.net]
cmeme has quit [brown.freenode.net irc.freenode.net]
Oatschool has quit [brown.freenode.net irc.freenode.net]
bla has quit [brown.freenode.net irc.freenode.net]
unfo- has quit [brown.freenode.net irc.freenode.net]
vincenz has quit [brown.freenode.net irc.freenode.net]
mbishop has quit [brown.freenode.net irc.freenode.net]
donny__ has quit [brown.freenode.net irc.freenode.net]
gim has quit [brown.freenode.net irc.freenode.net]
netx has quit [brown.freenode.net irc.freenode.net]
ulfdoz has quit [brown.freenode.net irc.freenode.net]
thelema has quit [brown.freenode.net irc.freenode.net]
r0bby has quit [brown.freenode.net irc.freenode.net]
__suri_ has quit [brown.freenode.net irc.freenode.net]
det has quit [brown.freenode.net irc.freenode.net]
seafood has quit [brown.freenode.net irc.freenode.net]
Dazhbog has quit [brown.freenode.net irc.freenode.net]
Naked has quit [brown.freenode.net irc.freenode.net]
qwr has quit [brown.freenode.net irc.freenode.net]
flux has quit [brown.freenode.net irc.freenode.net]
|Catch22| has quit [brown.freenode.net irc.freenode.net]
shortcircuit has quit [brown.freenode.net irc.freenode.net]
ertai has quit [brown.freenode.net irc.freenode.net]
romanoffi has quit [brown.freenode.net irc.freenode.net]
svenl has quit [brown.freenode.net irc.freenode.net]
guyzmo has quit [brown.freenode.net irc.freenode.net]
dwmw2_gone has quit [brown.freenode.net irc.freenode.net]
Ugarte has quit [brown.freenode.net irc.freenode.net]
goalieca has quit [brown.freenode.net irc.freenode.net]
pango_ has quit [brown.freenode.net irc.freenode.net]
Jedai has quit [brown.freenode.net irc.freenode.net]
TaXules has quit [brown.freenode.net irc.freenode.net]
hcarty has quit [brown.freenode.net irc.freenode.net]
acatout has quit [brown.freenode.net irc.freenode.net]
bebui has quit [brown.freenode.net irc.freenode.net]
ahf has quit [brown.freenode.net irc.freenode.net]
pants2 has quit [brown.freenode.net irc.freenode.net]
rey_ has quit [brown.freenode.net irc.freenode.net]
tsuyoshi has quit [brown.freenode.net irc.freenode.net]
huh_ has quit [brown.freenode.net irc.freenode.net]
pants2 has joined #ocaml
hkBst has joined #ocaml
cbrannon has joined #ocaml
thelema has joined #ocaml
ikatz has joined #ocaml
authentic has joined #ocaml
goalieca has joined #ocaml
Oatschool has joined #ocaml
unfo- has joined #ocaml
bla has joined #ocaml
mbishop has joined #ocaml
ozzloy_ has joined #ocaml
evn_ has joined #ocaml
evn has joined #ocaml
pango_ has joined #ocaml
r0bby has joined #ocaml
Jedai has joined #ocaml
szell has joined #ocaml
palomer has joined #ocaml
ulfdoz has joined #ocaml
rwmjones has joined #ocaml
donny__ has joined #ocaml
dibblego has joined #ocaml
Naked has joined #ocaml
gim has joined #ocaml
vincenz has joined #ocaml
yminsky_ has joined #ocaml
rey_ has joined #ocaml
neale has joined #ocaml
shortcircuit has joined #ocaml
__suri_ has joined #ocaml
ertai has joined #ocaml
jdev has joined #ocaml
det has joined #ocaml
mattam has joined #ocaml
fremo has joined #ocaml
zmdkrbou has joined #ocaml
jeremiah has joined #ocaml
netx has joined #ocaml
pattern has joined #ocaml
petchema has joined #ocaml
ahf has joined #ocaml
cmeme has joined #ocaml
qwr has joined #ocaml
seafood has joined #ocaml
Dazhbog has joined #ocaml
Ugarte has joined #ocaml
svenl has joined #ocaml
dwmw2_gone has joined #ocaml
romanoffi has joined #ocaml
flux has joined #ocaml
guyzmo has joined #ocaml
bebui has joined #ocaml
hcarty has joined #ocaml
huh_ has joined #ocaml
acatout has joined #ocaml
TaXules has joined #ocaml
tsuyoshi has joined #ocaml
kelaouchi has quit [Connection reset by peer]
l_a_m has joined #ocaml
kelaouchi has joined #ocaml
det has quit ["Leaving"]
ikaros has joined #ocaml
cbrannon has quit ["leaving"]
jsk has joined #ocaml
<rwmjones>
is there a way to assert *at compile time* that the code must be compiled on a 64 bit arch?
<rwmjones>
best I've come up with is to add a 16M+1 length string constant, which is obviously not ideal
evn_ has quit []
<rwmjones>
hcarty, thanks for those bug reports, I'll take a look at them later today
Oatschool has quit [brown.freenode.net irc.freenode.net]
bla has quit [brown.freenode.net irc.freenode.net]
unfo- has quit [brown.freenode.net irc.freenode.net]
ttamttam has joined #ocaml
unfo- has joined #ocaml
bla has joined #ocaml
Oatschool has joined #ocaml
coucou747 has joined #ocaml
Oatschool has quit [brown.freenode.net irc.freenode.net]
bla has quit [brown.freenode.net irc.freenode.net]
bla has joined #ocaml
Oatschool has joined #ocaml
ygrek has joined #ocaml
OChameau has joined #ocaml
goalieca has quit [Remote closed the connection]
mqtt has joined #ocaml
pants2 has quit [Read error: 110 (Connection timed out)]
pants1 has joined #ocaml
Yoric[DT] has joined #ocaml
donny has joined #ocaml
middayc has joined #ocaml
donny__ has quit [Read error: 110 (Connection timed out)]
Tetsuo has joined #ocaml
ikaros_ has joined #ocaml
det has joined #ocaml
ikaros has quit [Read error: 110 (Connection timed out)]
ikaros_ has quit [Remote closed the connection]
kelaouch1 has joined #ocaml
prince has joined #ocaml
kelaouch1 has quit [Read error: 110 (Connection timed out)]
jlouis has joined #ocaml
<petchema>
rwmjones: Sys.word_size would be slightly better, otherwise I'd use `ocamlc -where`/caml/config.h
<rwmjones>
i want the compile to fail though
<petchema>
Makefile could involve compiling then running some C program to check if ARCH_SIXTYFOUR is defined... I can't think of a better way atm
Smerdyakov has joined #ocaml
bongy has joined #ocaml
bongy has quit [Client Quit]
<flux>
rwmjones, how about a simple 60-bit integer literal?
<flux>
shouldn't the compiler say that integer literal exceeds platform precision or something to that effect..
<rwmjones>
hmmm yes that might work
Smerdyakov has quit ["Leaving"]
ttamtta1 has joined #ocaml
ttamttam has quit [Read error: 110 (Connection timed out)]
<rwmjones>
flux yes that works, thanks!
<rwmjones>
let test = 5_000_000_000;;
<rwmjones>
on 32 bit: Integer literal exceeds the range of representable integers of type int
middayc_ has joined #ocaml
middayc has quit [Read error: 110 (Connection timed out)]
bongy has joined #ocaml
ikaros has joined #ocaml
<hcarty>
rwmjones: You are welcome re: the bug reports. Thanks for the quick replies/fixes.
<rwmjones>
hcarty, no problem, but I think the CIL report needs to go upstream. OTOH it requires fixing their build system which is going to be a major effort for anyone who undertakes it
<rwmjones>
so maybe best just to leave it :-)
bluestorm has joined #ocaml
ttamtta1 has left #ocaml []
pango_ has quit [Remote closed the connection]
jlouis has quit ["brb, new kernel"]
pango_ has joined #ocaml
jlouis has joined #ocaml
ygrek has quit [Remote closed the connection]
thelema has quit [Read error: 110 (Connection timed out)]
ygrek has joined #ocaml
marmottine has joined #ocaml
bongy has quit ["Leaving"]
mqtt has quit ["Leaving."]
^authentic has joined #ocaml
authentic has quit [Read error: 110 (Connection timed out)]
^authentic is now known as authentic
jonafan has joined #ocaml
bongy has joined #ocaml
zkincai1 has joined #ocaml
middayc_ has quit []
<zkincai1>
yminksy_: Hi, are you around?
thelema has joined #ocaml
postalchris has joined #ocaml
<rwmjones>
No level labelled ";" in entry "expr"
<rwmjones>
expr: LEVEL ";" [ ... ]
<rwmjones>
first is an error message, second is a camlp4 fragment
<rwmjones>
any idea how to list the levels?
<bluestorm>
don't you need an additionnal bracket level ?
<flux>
as a part of a school assignment I'm writing a smallish (common) lisp program.. and I must say its macro facilities are quite a bit more easy to use than ocaml's
<flux>
the syntax explains it, naturally
<bluestorm>
of course
<bluestorm>
as caml syntax has lot of structure, it is heavier to manipulate
<bluestorm>
flux: on the other hand, it's "safer" in some sense
<bluestorm>
because some part of the information is encoded through the syntax, and checked (eg. that what your macro put there is a correct pattern, and not an expression)
evn has left #ocaml []
<bluestorm>
flux: there is a camlp5 lisp/scheme syntax
<bluestorm>
it may be possible to create lispish macros for these syntax
<bluestorm>
(iirc the Liskell guys managed to add macros)
r0bby has quit [Read error: 104 (Connection reset by peer)]
bongy has quit ["Leaving"]
goalieca has joined #ocaml
OChameau has quit [Read error: 113 (No route to host)]
<rwmjones>
ok, here's another camlp4 question ...
<rwmjones>
qualifiers: [
<rwmjones>
[ LIST0 [ q = LIDENT -> q ] SEP "," ]
<rwmjones>
];
<rwmjones>
field: [
<rwmjones>
[ name = LIDENT; ":"; len = expr LEVEL "top";
<rwmjones>
qs = OPT [ ","; qualifiers ] ->
<rwmjones>
output_field _loc name len qs
<rwmjones>
]
<rwmjones>
];
<rwmjones>
in the above, 'qs' has type unit option
<rwmjones>
(according to the compiler)
<rwmjones>
how do I extract the list of identifiers?