ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
emmanuel__ has quit [Remote host closed the connection]
lopex has quit [Ping timeout: 252 seconds]
lopex has joined #ocaml
letrec has quit [Ping timeout: 260 seconds]
lopex has quit [Ping timeout: 252 seconds]
lopex has joined #ocaml
JoeyA has joined #ocaml
oriba_ has quit [Quit: oriba_]
iago has quit [Quit: Leaving]
<JoeyA>
val my_scanf : ('_a, '_b, '_c, '_d) Scanf.scanner = <fun> . Do the '_ prefixes mean the type variable is monomorphic, waiting to be "filled in" ?
lihaitao has joined #ocaml
<thelema_>
yes
<thelema_>
<thelema_>
<JoeyA>
Thanks. (FYI, you posted two empty lines after the yes)
<JoeyA>
Is there a syntax for selectively opening a module, similar to this syntax in Haskell? import Module.Name (a, b, c);;
<JoeyA>
Something like open Scanf (scanf);; (so I don't dump the other stuff into the namespace).
<JoeyA>
Err, import Module.Name (a, b, c) {- no ;; at the end -}
<thelema_>
let a,b,c = Module.(a,b,c)
<JoeyA>
Ah, cool.
<JoeyA>
Also, is there a way to give a function a type signature without giving up the ability to give arguments inline? Something like let id : 'a -> 'a; f x = x ;;
BiDOrD has joined #ocaml
<JoeyA>
Or am I forced to say let id : 'a -> 'a = fun x -> x;; instead?
<JoeyA>
I'm coming from Haskell, and like to give every top-level function a type signature. I know I could create a .mli file, but I was wondering if there was a nicer way to do it alongside the definition.
BiDOrD_ has quit [Ping timeout: 252 seconds]
smerz has quit [Remote host closed the connection]
sivoais has quit [Quit: Lost terminal]
sivoais has joined #ocaml
<thelema_>
JoeyA: nope, just what you wrote.
<JoeyA>
thelema_: Thanks
<JoeyA>
Why doesn't this produce a type error? let id : 'a -> 'b = fun x -> x;;
<JoeyA>
Apparently, I can use any generalization of 'a -> 'a as the type signature of id, and OCaml will silently use the correct type.
<thelema_>
JoeyA: because the type signatures you provide there are specified to the right type by the compiler
<thelema_>
3.12 added a way to insist on a specific polymorphic signature
<Ptival>
I've just been bitten by wrongly thinking that if !foo was meaning "if not foo" :d
<mackwic>
oh yeah, so true
Kakadu has quit [Client Quit]
Kakadu has joined #ocaml
mort___ has joined #ocaml
Tobu has quit [Ping timeout: 272 seconds]
Tobu has joined #ocaml
silver has joined #ocaml
milosn has quit [Ping timeout: 260 seconds]
mort___ has quit [Quit: Leaving.]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
ankit9 has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
hcarty has quit [Ping timeout: 240 seconds]
hcarty has joined #ocaml
dsheets has joined #ocaml
Xizor has joined #ocaml
bkheops has joined #ocaml
<djcoin>
:)
Cyanure has joined #ocaml
<mackwic>
it's calm, here
<mackwic>
maybe it's time for a little troll ?
<adrien>
no?
<Ptival>
calm is an anagram for caml
<reynir_>
lol
<mackwic>
yeah, it's caml here
Hussaind has joined #ocaml
tufisi has joined #ocaml
<Ptival>
if you mention other languages, it should become less caml
mort___ has joined #ocaml
<companion_cube>
so I just discovered visual basic, and wonder why I bothered using types?
<adrien>
hahahaha :P
<adrien>
try vb3 ;-)
iago has joined #ocaml
<reynir_>
I discovered the dcpu and wonder why I bothered using high level languages
<companion_cube>
I discovered what a pen is, and wonder why I bothered with stupid computers?
<reynir_>
heh
mackwic has quit [Quit: _o/]
jamii has joined #ocaml
mackwic has joined #ocaml
eni has joined #ocaml
lihaitao has quit [Quit: Ex-Chat]
eni has quit [Ping timeout: 246 seconds]
_andre has joined #ocaml
jamii has quit [Ping timeout: 260 seconds]
emmanuel__ has joined #ocaml
eni has joined #ocaml
thomasga has joined #ocaml
eni has quit [Ping timeout: 245 seconds]
mehdid_ has quit [Quit: leaving]
mehdid has joined #ocaml
iago has quit [Ping timeout: 245 seconds]
tmaedaZ is now known as tmaeda
larhat has joined #ocaml
letrec has joined #ocaml
jamii has joined #ocaml
mehdid has quit [Quit: leaving]
skchrko has joined #ocaml
mackwic has quit [Quit: _o/]
s_p has quit [Ping timeout: 246 seconds]
mehdid has joined #ocaml
bkheops has quit [Ping timeout: 264 seconds]
skchrko_ has joined #ocaml
skchrko has quit [Ping timeout: 264 seconds]
skchrko_ is now known as skchrko
Cyanure has quit [Ping timeout: 246 seconds]
cdidd has quit [Ping timeout: 246 seconds]
tomprince has quit [Ping timeout: 245 seconds]
err404 has joined #ocaml
emmanuel__ has quit [Remote host closed the connection]
emmanuelux has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
tomprince has joined #ocaml
Cyanure has joined #ocaml
emmanuel__ has joined #ocaml
iago has joined #ocaml
<f[x]>
is it possible to make oasis build bytecode by default, and have a simple command to build everything in native code? i.e. to have fast build for development and optimised build for release
<adrien>
doesn't oasis always build bytecode?
<f[x]>
no
<pippijn>
by default, it does, I think
<adrien>
I'm sed'ing its output in order to build only native here
<pippijn>
adrien: you can make it build native
<pippijn>
and for libs, it builds both
<adrien>
well, I'm running on an older version but even when asked for native, it builds bytecode too
<reynir_>
bacon?
<reynir_>
woops
<reynir_>
wrong channel
<mrvn>
reynir_: now I'm hungry
<djcoin>
lol
<reynir_>
Sorry :)
<mrvn>
If you are sorry go into the citchen and fry me some bacon.
<djcoin>
I will have two eggs and a coffee
<mrvn>
kitchen even
smerz has joined #ocaml
<reynir_>
I want coffee too
<djcoin>
great, lets meet up there in 10 minutes
<reynir_>
I can't I have to pick up a router
ankit9 has quit [Quit: Leaving]
<gildor>
f[x]: are you considering library only or lib + exec ?
<gildor>
f[x]: maybe a configure options/flags for build would be enough and not that hard to implement
<f[x]>
gildor, any oasis project ideally
<f[x]>
why special case?
<f[x]>
why CompiledObject doesn't accept a variable?
<f[x]>
or set CompiledObject on global level?
<gildor>
f[x]: ultra simple option you can use right now, replace the default setup_t by something that remap everything to Byte
<f[x]>
heh
<f[x]>
ok
<gildor>
that is a 10min work, 99% of the Byte/Best are encoded in BuildSection, which is only contained in Library/Executable (in field setup_t.package)
<gildor>
I think this solution is a 10s solution ;-)
<gildor>
but it will prevent exec that are native only
* gildor
at work, can stay long, send me an email with the result of your test
skchrko has quit [Quit: ChatZilla 0.9.88.2 [Firefox 11.0/20120401163544]]
<gildor>
f[x]: have you choose 1st or 2nd solution ?
<f[x]>
I am looking at build-time solution
<f[x]>
i.e. invoke ocamlbuild with .byte or .native
Tobu has quit [Ping timeout: 260 seconds]
<f[x]>
and it boils down to your first solution
<f[x]>
I think
<gildor>
the is_native solution (2nd) will probably do that also
<gildor>
just edited setup.data of my oasis project to set is_native to false -> only .byte/.cma target
<gildor>
for ocamlbuild
Tobu has joined #ocaml
<f[x]>
indeed, it works, though it requires -configure
<f[x]>
but not a nig problem
<f[x]>
hack hack hack
<gildor>
f[x]: the best solution is that I implement a Sys.getenv "oasis_is_native" after loading setup.data to temporarly override this kind of variable...
Submarine has quit [Quit: Leaving]
<f[x]>
yes!
iago has quit [Ping timeout: 240 seconds]
ulfdoz has joined #ocaml
wicko3 has joined #ocaml
<wicko3>
Hi. I know how to direct an out_channel to a file. I know how to direct an out_channel to stdout. Is it possible to direct an out_channel to a string buffer? Thanks.
<mrvn>
you mean make an out_channel that actually just is a buffer?
<wicko3>
exactly
<wicko3>
or just a string, even
<mrvn>
not that I know. Use Printf.sprintf
cago has quit [Quit: Leaving.]
mika2 has quit [Quit: Leaving.]
larhat has quit [Quit: Leaving.]
<wicko3>
hm. the thing is, i want to build a text file that has two parts. As I recurse over my datatype, i generate some text that should be placed in the first part and some that should go in the second part. The text for the first part can be outputted directly, but the text for the second part has to wait until the first part is finished. It would be nice to have a channel for both parts. But I guess I'll just have to stick with a buffer f
jpw48 has joined #ocaml
<sgnb>
wicko3: cannot use a Format.formatter ?
<jpw48>
er, maybe... could you say a little more about what that would entail?
<wicko3>
er, maybe... could you say a little more about what that would entail?
jpw48 has left #ocaml []
wicko3 has quit [Quit: Page closed]
wicko3 has joined #ocaml
<sgnb>
wicko3: replace all your output functions by functions from the Format module; they take a "formatter" instead of an "out_channel", and you can build a formatter from a Buffer.t (or any arbitrary function)
<sgnb>
out_channel is really a concrete type bound to system IO...
<wicko3>
i see. so all the cool kids are using formatters rather than out_channels these days?
<mehdid>
no
wicko3 has left #ocaml []
<hcarty>
wicko3: Batteries provides outputs and inputs to/from various locations
iago has joined #ocaml
<hcarty>
All the cool kids are using BatIO.input and BatIO.output, clearly.
reynir_ has quit [Ping timeout: 240 seconds]
Tobu has quit [Ping timeout: 260 seconds]
reynir has joined #ocaml
Tobu has joined #ocaml
<adrien>
taa3aa~.
<adrien>
bah
ftrvxmtrx has quit [Quit: Leaving]
zerbob has joined #ocaml
<zerbob>
hello
<zerbob>
did anyone manage to get a working mingw/ocaml installation under cygwin ?
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<Kakadu>
zerbob: What doesn't work for you?
Anarchos has joined #ocaml
<reynir>
Is there a good example on how to use ocamlyacc?
<zerbob>
I get linking errors
<Kakadu>
zerbob: show them
<zerbob>
when I use "gcc" as compiler command (-cc option) I get b/ocaml/libunix.a(termios.o): bad reloc address 0x4 in section `.data' /usr/lib/gcc/i686-w64-mingw32/4.5.3/../../../../i686-w64-mingw32/bin/ld: final link failed: Invalid operation
<Kakadu>
never seen this
<zerbob>
that's not "gcc", that's the 64 bit version
<zerbob>
with "gcc" I have undefined references to flexdll
<zerbob>
plus a couple other functions
<zerbob>
I get : /usr/lib/ocaml/libasmrun.a(unix.o):unix.c:(.text+0x4a2): undefined reference to `_flexdll_dlerror'
<zerbob>
(if anyone has a way to get mingw/ocaml woking without cygwin I'd also like that)
<zerbob>
when I use the mingw/msys distribution I can't compile anything either because of unrecognized "-mno-cygwin" flags
<Kakadu>
problems with flexlink are famous, but I cant remember ehere to read solution
silver has quit [Remote host closed the connection]
<reynir>
Thank you, thomasga. I will give it a read :-)
<zerbob>
I think I'll try to use a cross-compiler from Linux
* zerbob
regrets win32 even exists...
ftrvxmtrx has joined #ocaml
<pippijn>
what's asmrun?
djcoin has quit [Quit: WeeChat 0.3.2]
<adrien>
some low-level code for the ocaml environment
mort___ has quit [Ping timeout: 245 seconds]
pangoafk is now known as pango
letrec has quit [Ping timeout: 272 seconds]
Cyanure has quit [Read error: Operation timed out]
Kakadu has quit [Quit: Konversation terminated!]
Tobu has quit [Ping timeout: 272 seconds]
Tobu has joined #ocaml
Tobu has quit [Changing host]
Tobu has joined #ocaml
mort___ has joined #ocaml
cdidd has joined #ocaml
iago has quit [Ping timeout: 260 seconds]
Drakken has left #ocaml []
sivoais is now known as sivoais_
sivoais_ is now known as sivoais
jamii has quit [Read error: Connection reset by peer]
Hussaind has quit [Remote host closed the connection]
hiptobecubic has joined #ocaml
<hiptobecubic>
Is there anyone from janestreet hanging around? Or anyone that's worked with them?
<adrien>
quite proabably but I think they're very shy :P
<hiptobecubic>
adrien, you again.
<hiptobecubic>
:D
<adrien>
I'm everywhere =)
<hiptobecubic>
I'm wondering what their internships are like, if it's possible to do thesis style work with them, etc. If anyone can comment, from there or not, it's better than nothing.
iago has joined #ocaml
tomprince is now known as buildbot|tomprin
buildbot|tomprin is now known as buildbot|tom
buildbot|tom is now known as bbot|tomprince
err404 has quit [Remote host closed the connection]
eni has quit [Ping timeout: 260 seconds]
milosn has joined #ocaml
tmaeda is now known as tmaedaZ
bbot|tomprince is now known as tomprince
Tobu has quit [Ping timeout: 272 seconds]
<pippijn>
adrien: you really are everywhere
<adrien>
:-)
Tobu has joined #ocaml
tmaedaZ is now known as tmaeda
Zedrikov has joined #ocaml
Submarine has quit [Ping timeout: 252 seconds]
_andre has quit [Quit: leaving]
Tobu_ has joined #ocaml
larhat has joined #ocaml
Tobu has quit [Read error: Connection reset by peer]
mort___ has quit [Quit: Leaving.]
<hiptobecubic>
Well, I filled out their little web form. We'll see what happens.
<pippijn>
jane street looks like an awesome company
err404 has joined #ocaml
<pippijn>
hiptobecubic: are you in new york?
<hiptobecubic>
pippijn, yes. they do look very awesome.
<hiptobecubic>
I'm in amsterdam, but US/EU dual citizen.
<pippijn>
ah
<pippijn>
you're in my hometown
<hiptobecubic>
pippijn, yeah? Which part
<pippijn>
czaar peterstraat
<pippijn>
in the centre (
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
<mrvn>
pippijn: just give us the MAC of your router so we can google streetwalk
<hiptobecubic>
:D
<hiptobecubic>
pippijn, ah ok. I'm in the south, by the WTC.
<pippijn>
mrvn: doesn't work there
Zedrikov has quit [Ping timeout: 272 seconds]
Lor has quit [Ping timeout: 260 seconds]
reynir_ has joined #ocaml
zerbob has quit [Quit: Page closed]
reynir has quit [Ping timeout: 265 seconds]
hiptobecubic has quit [Ping timeout: 248 seconds]
cdidd has quit [Remote host closed the connection]