ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 246 seconds]
rand000 has quit [Quit: leaving]
ollehar has quit [Read error: Connection reset by peer]
leafac has joined #ocaml
ollehar has joined #ocaml
AltGr has joined #ocaml
Denommus` has quit [Ping timeout: 256 seconds]
Algebr has joined #ocaml
<Algebr> What's the flag to ocamlc so that it doesn't give a warning for "this expression should have type unit".
pyon has joined #ocaml
pyon is now known as inf-gropeoid
thomasga has quit [Quit: Leaving.]
wraithm has quit [Quit: leaving]
<apache2> in the code you can use 'ignore'
<apache2> as a keyword
sepp2k has quit [Quit: Leaving.]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
<Algebr> I knew that one, but I want it from ocamlc as a flag
<Algebr> and its not a keyword, I believe that's a function
sdothum has joined #ocaml
robink has quit [Ping timeout: 255 seconds]
leafac has quit [Ping timeout: 256 seconds]
robink_ has joined #ocaml
Algebr has quit [Remote host closed the connection]
<Drup> not sure you can disable that one.
badkins has quit [Read error: Connection reset by peer]
<Drup> (and that would be a bad idea anyway)
darkf has joined #ocaml
struk|work has quit [Ping timeout: 246 seconds]
hilquias has joined #ocaml
robink_ is now known as robink
adc90 has quit [Read error: Connection reset by peer]
adc90 has joined #ocaml
<struktured> pure ocaml gzip / bzip2 suggestions, anyone?
<struktured> or semi pure even
mcclurmc has quit [Remote host closed the connection]
manizzle has quit [Ping timeout: 255 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
shinnya has quit [Ping timeout: 255 seconds]
GeorgeHahn_ has joined #ocaml
GeorgeHahn has quit [Ping timeout: 264 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mcclurmc has quit [Remote host closed the connection]
wraithm has joined #ocaml
BitPuffin|osx has joined #ocaml
MrScout_ has quit [Remote host closed the connection]
inf-gropeoid is now known as inf-groupoid
ygrek has quit [Ping timeout: 240 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sdothum has joined #ocaml
swgillespie has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 256 seconds]
hilquias` has joined #ocaml
hilquias has quit [Ping timeout: 256 seconds]
keen________ has quit [Read error: Connection reset by peer]
keen________ has joined #ocaml
chambart has quit [Ping timeout: 256 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
jeffmo has quit [Quit: jeffmo]
douglarek has joined #ocaml
Bhavya has joined #ocaml
Algebr has joined #ocaml
<Algebr> What does the ? mean in this type error, Error: This pattern matches values of type [? `Ok ]
idegen has quit [Quit: Leaving.]
douglarek has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
<struktured> good question..don't know.. I would guess it means that the pattern matches over a polymorphic variant group, but it doesn't know whether it's close or open.
<struktured> *closed
ygrek has joined #ocaml
seako has quit [Quit: Connection closed for inactivity]
<Algebr> its new to me
manizzle has joined #ocaml
Algebr has quit [Ping timeout: 255 seconds]
Bhavya has quit [Ping timeout: 250 seconds]
Bhavya has joined #ocaml
seako has joined #ocaml
wraithm has quit [Quit: leaving]
inf-groupoid is now known as inf-gropeoid
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 264 seconds]
nullcat_ has joined #ocaml
siddharthv_away is now known as siddharthv
mort___ has joined #ocaml
ontologiae_ has joined #ocaml
djellemah has quit [Read error: Connection reset by peer]
ontologiae_ has quit [Ping timeout: 276 seconds]
mengu has joined #ocaml
hilquias` has quit [Ping timeout: 258 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Simn has joined #ocaml
arj has joined #ocaml
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mort___ has left #ocaml [#ocaml]
<Leonidas> struktured: i am actually planning to do this
<Leonidas> just my motivation evaporated at the end of the day
<Leonidas> but i got the rfcs on my desk
t4nk233 has joined #ocaml
t4nk233 has quit [Client Quit]
mengu has quit [Ping timeout: 264 seconds]
jonludlam has joined #ocaml
<vbmithr_> j0sh: Ok I'm on it :)
<reynir> oh hi vbmithr_ :)
<vbmithr_> reynir: hi
octachron has joined #ocaml
ia0 has quit [Quit: leaving]
ia0 has joined #ocaml
<companion_cube> yminsky: did you benchmark flambda on your codebase?
<struktured> Leonidas: doing a pure ocaml compression lib? coo!
<struktured> *cool
<struktured> hi vbmithr_
<companion_cube> there's "dinosaure" on github, making a deflate implementation
<companion_cube> https://github.com/dinosaure/Decompress but it's not finished yet
Haudegen has quit [Ping timeout: 256 seconds]
octachron has quit [Quit: Leaving]
<dmbaturin> I wonder if they wrote the toy proof assistant in scheme or turned to ML.
oscar_toro has quit [Ping timeout: 264 seconds]
octachron has joined #ocaml
seako has quit [Quit: Connection closed for inactivity]
ygrek has quit [Ping timeout: 265 seconds]
<apache2> deflate is non-trivial, isn't it?
Snark has quit [Remote host closed the connection]
hay207 has joined #ocaml
Bhavya has quit [Quit: Quit the channel]
<hay207> hi guys, inorder to compile i need to enter "ocamlc graphics.cma grtest1.ml -o grtest1 *" in an IDE , where to enter it?
<hay207> i am using codenlocks and /or eclipse
Snark has joined #ocaml
mengu has joined #ocaml
<hay207> code::blocks*
<hay207> nvm
<hay207> in a terminal i guess
oscar_toro has joined #ocaml
<dmbaturin> hay207: IDEs plugins should provide build tools integration (ocamlbuild perhaps).
<dmbaturin> If they don't, are they even worth using. :)
<hay207> ok
<dmbaturin> Also, linking libs this way is not what people normally do. There's a tool called findlib that makes it way simpler.
<dmbaturin> ocamlfind ocamlc -package graphics -linkpkg -o something something.ml
mort___ has joined #ocaml
jwatzman|work has joined #ocaml
Cyanure has joined #ocaml
Haudegen has joined #ocaml
asQuirreL has joined #ocaml
<Leonidas> struktured: yes. deflate with zlib and gzip headers. still, need to get to work, currently I just parse some fields.
mengu has quit [Remote host closed the connection]
GeorgeHahn_ has quit [Read error: Connection reset by peer]
freling has joined #ocaml
A1977494 has joined #ocaml
A1977494 has left #ocaml [#ocaml]
<vbmithr_> struktured: yo :)
<vbmithr_> How I do in ocaml to get a ctrl+D that someone type in a terminal ?
<flux> you and to get that particular keypress or do you want to detect end of input?
<flux> you WANT to get.. etc :)
<vbmithr_> I want to send an EOF from my terminal
<vbmithr_> I guess that, when I do ctrl+D, my terminal actually sends an EOF
<flux> yes
<flux> well, the stty layer detects your ^D and then sends eof
<flux> so usually you 'send' EOF by closing the other end of a (say) pipe
<vbmithr_> I'm reading stdin line by line
<vbmithr_> ok
<vbmithr_> Here, I'm reading stdin line by line: Lwt_io.(read_line stdin)
<vbmithr_> I think it totally ignores EOF
<vbmithr_> Or that it doesn't have a meaning for stdin
<flux> the documentation for that function does say it raises End_of_file on end-of-input
<flux> not really quite familir with Lwt exception handling..
<flux> but it does come with a companion function reaD_line_opt that returns None on end-of-file
thomasga has joined #ocaml
<vbmithr_> Yes, I'm reading this as well
<vbmithr_> I'm gonna experiment
ggole has joined #ocaml
<ollehar> what's really the good thing about algebraic effects? feels like I'm missing the point.
m__ has joined #ocaml
sdothum has joined #ocaml
<rom1504> ollehar: what's an "algebraic effect" ?
<ollehar> like in eff language
<m__> I asked this question yesterday, but I was disconnected and I don't know if anyone answered.
<m__> How can I compile an ocaml code with the older version of libcrypto?
<theblatte> compile on a machine with the older version of libcrypto installed? :/
<m__> :|
<m__> thinking of possibility of installing older verson of dev library, and using any ocamlbuild command line parameter to link the older version
<m__> if that exists
<theblatte> you can always prepend LD_LIBRARY_PATH=/where/the/old/lib/is but I wonder if the old libcrypto will still link against everything else that's changed in your system (eg, newer libc)
remyzorg_ has joined #ocaml
<theblatte> m__: you can check with "ldd oldlibcrypto.so"
<theblatte> see if it resolves all the links
AltGr has left #ocaml [#ocaml]
<apache2> usually libc has several symbol versions
<apache2> so it's pretty backwards compatible since abi changes are handled by having several symbol versions available
<apache2> other libraries ... not so much :(
hay207 has quit [Ping timeout: 250 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sdothum has joined #ocaml
m__ has quit [Ping timeout: 246 seconds]
mengu has joined #ocaml
bernardo1pc is now known as bernardofpc
oscar_toro has quit [Ping timeout: 255 seconds]
c74d has quit [Remote host closed the connection]
freling has quit [Quit: Leaving.]
c74d has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
Gama11 has joined #ocaml
mengu has quit []
thomasga has quit [Quit: Leaving.]
Kakadu has quit [Quit: Page closed]
_andre has joined #ocaml
TheLemonMan has joined #ocaml
psy__ has quit [Ping timeout: 256 seconds]
Haudegen has quit [Ping timeout: 265 seconds]
remyzorg_ has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
freling has joined #ocaml
wildsebastian has quit [Remote host closed the connection]
<companion_cube> ollehar: eff also has effects in types
<companion_cube> in OCaml, the effect system in multicore would be useful to implement control structures, as they basically provide access to (delimited) continuations
leafac has joined #ocaml
contempt has quit [Ping timeout: 255 seconds]
Kakadu has joined #ocaml
contempt has joined #ocaml
<ollehar> hm hm
<companion_cube> you can recode stuff like exceptions, basically
<companion_cube> or do something else than propagating errors
<apache2> can you get warnings for unhandled exceptions?
<ollehar> why would I want to propagate input/output??
<ollehar> or database access
chambart has joined #ocaml
<companion_cube> well, in this case, effects are useful for making coroutines, which is arguably useful
<companion_cube> they might be useful for non-blocking IO, too
<companion_cube> (the way haskell does(
Unhammer has quit [Ping timeout: 256 seconds]
badkins has joined #ocaml
freling has quit [Quit: Leaving.]
psy_ has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
freling has joined #ocaml
Algebr has joined #ocaml
Unhammer has joined #ocaml
badkins has quit []
fraggle-boate has joined #ocaml
arj has quit [Quit: Leaving.]
oscar_toro has joined #ocaml
idegen has joined #ocaml
freling has quit [Quit: Leaving.]
badkins has joined #ocaml
BitPuffin|osx has joined #ocaml
<ousado> companion_cube: where can iread about the effects system?
<companion_cube> yes
<flux> ousado, thanks!
<flux> I'd been wondering myself about that
Haudegen has quit [Remote host closed the connection]
<ousado> hm.. now that's quite elegant
Haudegen has joined #ocaml
<flux> nice how GADTs and the exception pattern matching syntax play together in this
Haudegen has quit [Ping timeout: 265 seconds]
freling has joined #ocaml
<companion_cube> even if multicore doesn't make it in 4.03, it would be nice to have this piece of the work merged
<Drup> no, you don't want that
<Drup> this is built for the multicore, you want everything to be in place to be sure that everything goes well with the rest, you don't want to merge half a feature to realize that "oops, we need to change it"
<adrien_znc> that's why you mark it as experimental :P
<adrien_znc> it's also good to have more feedback and testing
<adrien_znc> plus
<adrien_znc> it gives time to updates libraries
<flux> I wonder if the multicore code is mature enough for that to be useful right now?
<flux> though I think it doesn't yet support native compiling?
<Drup> adrien "mark it as experimental", yeah, we know how well that actually works
<flux> it can work
<flux> just produce a warning every time it's used
<flux> a warning that cannot be removed :-)
<thizanne> yeah that definitely sounds like not a bad idea
<flux> but I don't see why eager ones couldn't just try the multicore branch right now, even if they didn't really push pressure to the multicore-part..
quaranterieur is now known as postulance
Haudegen has joined #ocaml
<adrien_znc> Drup: ppx :)
<Drup> that is exactly my point, yes
<adrien_znc> flux: because it's still quite annoying to have several setups in parallel
<Drup> adrien_znc: no it's not ?
<Drup> it's trivial if you use opam
<adrien_znc> I didn't say it wasn't easy, I said it was annoying
<Drup> no it's not :|
<adrien_znc> when you have one option, it's ok
<adrien_znc> then you need the union of two options
<Drup> well, you do the setup once with a custom compiler switch and you are done
ollehar has quit [Remote host closed the connection]
<struktured> companion_cube: does containers.data have some sort of conditional install bit to it?
ingsoc has quit [Ping timeout: 252 seconds]
freling has quit [Quit: Leaving.]
hilquias has joined #ocaml
darkf has quit [Quit: Leaving]
<companion_cube> struktured: no
<companion_cube> it's installed by default
<struktured> weird, I wrote this script thingy which auto installs opam et al. then install containers, and for some reason containers.data is missing when I run it from this redhat box. I'll double check some things..
<struktured> companion_cube: oh dear lord it's trying to use version 0.6.1 on this box, wonder what silly dependency degradation occurred...
kushal has quit [Ping timeout: 265 seconds]
<companion_cube> strange
<companion_cube> do you have ascpud? :D
<struktured> ah...damn I glossed over that step
<companion_cube> I mean, that might be poor dependency resolution
<struktured> yeah works great on my ubuntu box, which does have it
<struktured> I can probably bootstrap it in there, for redhat at least. solaris..who knows
keen________ has quit [Read error: Connection reset by peer]
keen________ has joined #ocaml
<Algebr> Drup: do you know what this means? What does the ? mean in this type error, Error: This pattern matches values of type [? `Ok ]
chambart has joined #ocaml
Denommus has joined #ocaml
<struktured> ok I give up compiling aspcud, wgetting the binaries for this one..
badkins has quit [Ping timeout: 244 seconds]
freling has joined #ocaml
<octachron> Algebr: Do you have any code example? Looking at the compiler tests that raise the same error, the "?" seems to indicate that the closed/open information is not important (or not available?)
A1977494 has joined #ocaml
MrScout has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
<Algebr> I have to get it again but it was related to async's Reader's return of `Ok | `Eof s
badon_ is now known as badon
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
slash^ has joined #ocaml
<struktured> octachron: yeah thought same thing, but I wonder which of the two it is..
<companion_cube> hmmm, mirageOS on bare metal using some sort of minikernel
octachron has quit [Quit: Leaving]
badkins has joined #ocaml
kdef has joined #ocaml
freling has quit [Quit: Leaving.]
MrScout has quit [Ping timeout: 256 seconds]
luigy has joined #ocaml
freling has joined #ocaml
freling has quit [Client Quit]
jeffmo has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
The_Mad_Pirate has quit [Quit: Konversation terminated!]
jeffmo has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
Anarchos has joined #ocaml
adc90 has quit [Read error: Connection reset by peer]
adc90 has joined #ocaml
A1977494 has left #ocaml [#ocaml]
shinnya has joined #ocaml
Denommus` has joined #ocaml
nullcat_ has joined #ocaml
Denommus has quit [Ping timeout: 264 seconds]
Pepe_ has quit [Ping timeout: 272 seconds]
Pepe_ has joined #ocaml
slash^ has quit [Quit: Leaving.]
slash^ has joined #ocaml
rossberg_ has quit [Remote host closed the connection]
rossberg has joined #ocaml
hilquias has quit [Remote host closed the connection]
jwatzman|work has quit [Quit: jwatzman|work]
Denommus` is now known as Denommus
ygrek has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
Algebr has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 265 seconds]
ygrek_ has quit [Ping timeout: 256 seconds]
mort___ has quit [Ping timeout: 255 seconds]
ygrek has joined #ocaml
struktured has quit [Remote host closed the connection]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
struktured has joined #ocaml
hay207 has joined #ocaml
Pepe_ has quit [Ping timeout: 245 seconds]
MrScout has joined #ocaml
nullcat has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
Snark has quit [Ping timeout: 255 seconds]
Snark has joined #ocaml
mort___ has joined #ocaml
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
Denommus` has joined #ocaml
Kakadu has quit [Quit: Page closed]
Denommus has quit [Ping timeout: 258 seconds]
ggole has quit [Ping timeout: 276 seconds]
Denommus` is now known as Denommus
hugomg has joined #ocaml
matason has quit []
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mort___ has quit [Quit: Leaving.]
nullcat has joined #ocaml
swgillespie has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
slash^1 has joined #ocaml
shinnya has joined #ocaml
slash^ has quit [Ping timeout: 252 seconds]
hilquias has joined #ocaml
slash^ has joined #ocaml
slash^1 has quit [Ping timeout: 252 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
kushal has joined #ocaml
Kakadu has joined #ocaml
Anarchos has quit [Remote host closed the connection]
Anarchos has joined #ocaml
<nullcat> anyone knows how to generate random bytes in Mirage?
<dora-molly> take a look at mirage-entropy
<nullcat> while... it looks like this..
ingsoc has joined #ocaml
<nullcat> well*
jeffmo has quit [Read error: Connection reset by peer]
<nullcat> ok this looks like what I need
struktured has quit [Ping timeout: 265 seconds]
jeffmo has joined #ocaml
struktured has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
TheLemonMan has joined #ocaml
Hannibal_Smith has joined #ocaml
kushal has quit [Ping timeout: 240 seconds]
octachron has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
axiles has quit [Ping timeout: 245 seconds]
jeffmo has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
leafac has quit [Ping timeout: 272 seconds]
_andre has quit [Quit: leaving]
octachron has quit [Quit: Leaving]
Cyanure has quit [Remote host closed the connection]
<nullcat> Drup: have time to help me look at a issue?
<nullcat> oasis config problem...
<Drup> which one ?
ingsoc has quit [Ping timeout: 256 seconds]
<nullcat> thanks!
tane has joined #ocaml
<Drup> nullcat: https://github.com/marklrh/otter/blob/oasis_config/_oasis#L28 aren't you missing Otter_unix_lwt here ?
<Drup> those two should probably be InternalModules too, iiuc
<nullcat> ouch
<nullcat> let me try
<Drup> also, if XMETARequires is equal to BuildDepends, you don't need it
AlexRussia has quit [Ping timeout: 258 seconds]
<Drup> you need XMETARequires for otter however (the two ppxs)
<nullcat> ok
<nullcat> https://github.com/marklrh/otter/blob/oasis_config/_oasis but now I am warned with circular dependency...
<nullcat> wait..
<Drup> oh, you have pack to true
<Drup> why do you have that *and* a module named "Otter_unix_lwt" ?
<Drup> you don't need both ...
<Drup> ahah, you got my remark wrong about the XMETARequire
<Drup> you put all of them except the one you don't want :D
<Drup> I think there is a runtime part for yojson, so you should have a dependency for that, but you can just remove ppx_deriving.show
<nullcat> XMETARequires: ppx_deriving.show only?
<Drup> gaaah, no
<Drup> read again.
<nullcat> ...
<Drup> XMETARequires if the modules you want to mark as dependency for ocamlfind
<Drup> ppx are for preprocessing only, not link dependencies
<nullcat> all things in BuildDepends except ppx_deriving.show ?
swgillespie has joined #ocaml
<Drup> and you replace ppx_deriving_yojson by ppx_deriving_yojson.runtime
<nullcat> ok
<Drup> do you understand why ?
<nullcat> .runtime is a dependency so I need to specify for ocamlfind?
<Drup> yes
badon has quit [Disconnected by services]
badon_ has joined #ocaml
<nullcat> ..um,
<Drup> either you pack or you create otter.ml
<Drup> not both at the same time
<nullcat> ok i see
<nullcat> ok
Pepe_ has joined #ocaml
<Drup> also, you should list *all* the modules
badon_ is now known as badon
<Drup> you are missing s.ml
<nullcat> that's a .mli
<nullcat> S.mli
<nullcat> s.mli
<Drup> doesn't change anything, you should list it
<Drup> (and if you have a .ml without .mli, you should add "AlphaFeatures:pure_interface"
<Drup> (the name is scary, but it works just fine)
<nullcat> .....
<nullcat> it's scary..
<Drup> (and you need it anyway)
<nullcat> ok i'll add it
<nullcat> you really know a lot.. I didn't see they add this in cohttp's _oasis
<Drup> yeah :/
struktured has quit [Ping timeout: 272 seconds]
badkins has quit []
struktured has joined #ocaml
ygrek has quit [Ping timeout: 256 seconds]
rwmjones has quit [Quit: Terminated with extreme prejudice - dircproxy 1.2.0]
leafac has joined #ocaml
rwmjones has joined #ocaml
<nullcat> Drup: ahh, there is still some problem.. https://github.com/marklrh/otter/issues/10
<nullcat> e.g... cannot be load into toplevel
<reynir> nullcat: is otter yours?
<nullcat> and the first piece of code can be compiled but the the second one cannot be compiled now.
<nullcat> reynir: yes :)... I am still working on it
<nullcat> "Brainfuck formalized in Coq" ... lol
<reynir> heh
<reynir> with probably the first certified compiler targeting bf! :P
<nullcat> :p..
hugomg has quit [Ping timeout: 258 seconds]
<reynir> I never figured out ocamltter from opam, so I'm looking forward to play with otter :)
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
madroach has quit [Ping timeout: 264 seconds]
<nullcat> me too
<nullcat> and you are very welcomed to look into issues during development. Honestly, I am not experienced in camel programming.
swgillespie has joined #ocaml
kakadu_ has joined #ocaml
Kakadu has quit [Ping timeout: 272 seconds]
madroach has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat has joined #ocaml
kdef has quit [Quit: Leaving]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
ygrek has joined #ocaml
ontologiae_ has joined #ocaml
SIGILL has quit [Read error: Connection reset by peer]
SIGILL has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
hay207 has quit [Ping timeout: 252 seconds]
manizzle has quit [Ping timeout: 272 seconds]
hugomg has joined #ocaml
<companion_cube> no error even without a .merlin file?
<companion_cube> also, I'm curious: what does ocamlscript bring compared to mere #!/usr/bin/env ocaml?
<struktured> no it needs a merlin file still
<struktured> companion_cube: packing modules
<companion_cube> err, what?
MrScout has quit [Ping timeout: 256 seconds]
<struktured> its like a mini make file at the top
<companion_cube> just #use "topfind";; #require "foo";; ..... also works
<companion_cube> you mean ocamlscript works with several files?
<struktured> which also geenerates compiler erros in merlin.
<struktured> yeah I considered the #use/#require route. ocamlscript is slightly better I think, but only marginally
<struktured> also if u care about speed it only compiles when the file is modified (although I actually dont like that)
<struktured> what's nice with what I got in that link is it compiles just fine. no hacks to merlin to required
<struktured> (yes u still need a .merlin, but I can solve t hat problem too if I wanted)
<companion_cube> oh, it compiles
Simn has quit [Read error: Connection reset by peer]
<companion_cube> with #!/usr/bin/env ocaml, it's interpreted indeed
chambart has quit [Ping timeout: 245 seconds]
struk has joined #ocaml
struktured has quit [Ping timeout: 256 seconds]
Denommus has quit [Quit: rebooting]
jonludlam has quit [Ping timeout: 246 seconds]
Gama11 has quit [Read error: Connection reset by peer]
Bill has joined #ocaml
Bill is now known as Guest17780
tane has quit [Quit: Verlassend]
Guest17780 has quit [Quit: Page closed]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
kakadu_ has quit [Remote host closed the connection]
lambdahands has quit [Ping timeout: 272 seconds]
hilquias has quit [Remote host closed the connection]
adc90 has quit [Read error: Connection reset by peer]
adc90 has joined #ocaml
lambdahands has joined #ocaml
chambart has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
<yminsky> companion_cube: we did some benchmarking. It looks pretty good thus far, but there's a lot of testing and benchmarking left to do.
<yminsky> There will be a long hard march towards getting this done by year-end, but we're determined to help make it happen.
leafac has quit [Ping timeout: 246 seconds]
<companion_cube> were there cases in which compilation time would go off the roof?
<companion_cube> of the ceiling*
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
<Drup> in flambda ? yes
<Drup> (namely: mirage)
<Drup> (flambda tries to inline all the functors :D)
inf-gropeoid is now known as inf-groupoid