adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org and http://caml.inria.fr | http://ocaml.org/releases/4.02.0.html | Public channel logs at http://irclog.whitequark.org/ocaml
travisbrady has quit [Quit: travisbrady]
sheijk has quit [Ping timeout: 258 seconds]
manud has joined #ocaml
ingsoc has quit [Quit: Leaving.]
AltGr has joined #ocaml
manud has quit [Ping timeout: 256 seconds]
MrScout_ is now known as MrScout
sheijk has joined #ocaml
zpe has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
zpe has quit [Ping timeout: 250 seconds]
hsuh has quit [Ping timeout: 244 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
hsuh has joined #ocaml
ygrek has joined #ocaml
manud has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
thomasga has quit [Quit: Leaving.]
madroach has joined #ocaml
<Drup> whitequark: this kaleidoscope is really ugly
<Drup> not only the fact that it uses camlp4, but how it's designed
<Drup> you have token streams everywhere, including to drive the "toplevel"
<Drup> not pretty >o<
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
travisbrady has joined #ocaml
avsm has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
MrScout_ has joined #ocaml
MrScout has quit [Ping timeout: 244 seconds]
MrScout_ has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 245 seconds]
<Drup> ping AltGr
<Drup> isn't ocp-indent supposed to support .mly ?
nojb has quit [Quit: nojb]
<AltGr> Drup, partly
MrScout has joined #ocaml
<AltGr> main issue is that it's not compatible with .ml, e.g. '*' can end an expression in regexp definitions
<Drup> well, you lack a regression test then, because the current version is completly broken on | ... |
darkf has joined #ocaml
<Drup> AltGr: is there a simple way to just disable ocp-indent on .mly ?
<Drup> (on emacs)
<AltGr> not atm I'm afraid, but feel free to improve the .el !
<Drup> ;_;
MrScout has quit [Remote host closed the connection]
<Drup> AltGr: Is there a way to disable ocp-indent, at least ? x)
MrScout has joined #ocaml
nojb has joined #ocaml
<AltGr> ah, sorry, I thought you meant .mll ; not much support on .mly. It would need a whole layer to properly handle files with different sections containing different syntaxes...
zpe has joined #ocaml
<AltGr> (set (make-local-variable 'indent-line-function) #'tuareg-indent-command)
<AltGr> should do the trick
<AltGr> (if you were using tuareg obviously)
<AltGr> and (set (make-local-variable 'indent-region-function) #'tuareg-indent-region)
MrScout has quit [Ping timeout: 264 seconds]
shinnya has quit [Ping timeout: 264 seconds]
zpe has quit [Ping timeout: 250 seconds]
<Drup> thx
<Drup> AltGr: btw, since you are here, ocp-browser PR ? :]
<AltGr> ah, yes :)
MrScout has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
<Drup> AltGr: also, how easy/difficult would it be to have OcpIndex.t contains the ocamlfind library for a given identifier ?
<Drup> LibIndex*
<AltGr> I was planning on it;
SuperNoeMan has joined #ocaml
<Drup> that would be *great*
<AltGr> currently we just scan all files under a given tree, and use the filenames for modules
<Drup> you do that, I instantly add it to ocp-browser
<Drup> because it's really a feature I miss
<AltGr> just checking META files alongside those files shouldn't be too difficult
<Drup> yep
cesar_ has joined #ocaml
<AltGr> we'll need some way of parsing them too
cesar_ is now known as Guest74728
<Drup> call findlib ?
jwatzman|work has quit [Quit: jwatzman|work]
<AltGr> we could then also filter libs we complete from in a given project too
BitPuffin has quit [Ping timeout: 245 seconds]
<AltGr> using .merlin or other defs
<AltGr> why not, in a first version
<Drup> so, hum, you're going to develop ocp-index actively again ? :]
<AltGr> I really would like to, **if** I can find the time :)
<Drup> ahah, fair enough :p
<AltGr> for some reason OPAM tends to have priority :p
<Drup> I can understand why, indeed
<AltGr> on your PR, that's awesome
<AltGr> only question is about 4.01/4.02 compat
<Drup> ah, right
<Drup> so, basic PR is the same as master
<Drup> and I have a 4.02.1 branch
<Drup> with the fix
<Drup> it's linked in the last post
<AltGr> ok
<Drup> well, not last, but at the end at least
<AltGr> I'll handle it the quick way, as before, then: extract a patch and put it in opam
<AltGr> for now
<Drup> ok
<Drup> I carefully separated the commit for this reason
ygrek has joined #ocaml
girrig has quit [Ping timeout: 265 seconds]
<Drup> I'm quite happy with how the modal help turned out. The new modal interface in lambda-term is *very* cool.
lordkryss has joined #ocaml
girrig has joined #ocaml
<AltGr> Neat :)
<Drup> :)
<AltGr> I had to patch
<AltGr> -let help_content : _ format4 = ...
<AltGr> for 4.01.0
<AltGr> +let help_content : (_,_,_,_) format4 = ...
<Drup> Oh, that's ... possible
<Drup> I developed under 4.02, sorry
<AltGr> np
<AltGr> that's it :)
MrScout has quit [Ping timeout: 258 seconds]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
hsuh has quit [Remote host closed the connection]
hsuh has joined #ocaml
hsuh has quit [Remote host closed the connection]
hsuh has joined #ocaml
jao has quit [Ping timeout: 258 seconds]
<Drup> do you have an opinion on cppo or something like that ?
<Drup> well, not sure how ocp-build would like it :/
pyon has quit [Ping timeout: 256 seconds]
hsuh has quit [Ping timeout: 265 seconds]
nojb has quit [Quit: nojb]
paolooo has quit [Quit: Page closed]
q66 has quit [Quit: Leaving]
hsuh has joined #ocaml
zpe has joined #ocaml
hsuh has quit [Ping timeout: 264 seconds]
zpe has quit [Ping timeout: 265 seconds]
<AltGr> not fond of it but I don't know of a "pretty" way to handle code switching
AltGr has left #ocaml [#ocaml]
bezirg has quit [Ping timeout: 264 seconds]
AltGr has joined #ocaml
<nicoo> Is it me or there is no (efficient) way to send a file using CoHTTP ?
<nicoo> (I guess I can always put Nginx in front of CoHTTP and use magic headers to ask Nginx to send a static file, but that's cumbersome)
<Drup> AltGr: are you doing a new release ? ^^'
<nicoo> Drup: Of?
<nicoo> Drup: Also, do you have any idea for my Cohttp question ? :þ
<Drup> ocp-browser !
<Drup> nicoo: none, sorry
<Drup> never used cohttp enough to know
<Drup> ask dinosaure
<Drup> he ported ocsigenserver to cohttp
travisbrady has quit [Quit: travisbrady]
<AltGr> Drup, I think its worth it :) -- besides, there's an important bug-fix since last release
emmanuelux has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
zpe has joined #ocaml
ggole has joined #ocaml
travisbrady has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
mcc has joined #ocaml
sheijk has quit [Quit: .]
travisbrady has quit [Quit: travisbrady]
cojy has joined #ocaml
<cojy> anyone know of good examples of using an abstract machine to compile a functional language with minimal source->source transformations?
<Drup> using an abstract machine to compile ?
<Drup> you mean as a target, I hope ? ^^'
<Drup> There was a recent blog post on the Haskell abstract machine
<cojy> yea i meant to compile
<Drup> otherwise, there is ZINC, which is mostly the ancestor of the OCaml one
<cojy> stg and ZINC are kind of like a hybrid im looking for examples of something more weighted on the abstract machine side
<Drup> Not an expert in abstract machines, sorry
<nicoo> Drup: Isn't the Haskell machine mostly graph rewriting, anyways?\
hausdorff has quit [Remote host closed the connection]
_whitelogger_ has joined #ocaml
rgrinberg has joined #ocaml
n1ftyn8_ has joined #ocaml
rfv_ has joined #ocaml
artagnon_ has joined #ocaml
nox_ has joined #ocaml
divyanshu_ has joined #ocaml
xaimus_ has joined #ocaml
leifw_ has joined #ocaml
lordkryss_ has joined #ocaml
chris2_ has joined #ocaml
pdewacht_ has joined #ocaml
jlouis_ has joined #ocaml
gargawel has joined #ocaml
hnrgrgr_ has joined #ocaml
bernardo1pc has joined #ocaml
teiresia1 has joined #ocaml
nickmeha1ry has joined #ocaml
englishm has quit [Ping timeout: 272 seconds]
chris2 has quit [Ping timeout: 272 seconds]
rfv has quit [Ping timeout: 272 seconds]
_whitelogger has quit [Ping timeout: 272 seconds]
n1ftyn8 has quit [Ping timeout: 272 seconds]
xaimus has quit [Ping timeout: 272 seconds]
nox has quit [Ping timeout: 272 seconds]
cantstanya has quit [Ping timeout: 272 seconds]
tristero has quit [Ping timeout: 272 seconds]
alexherbo2 has quit [Ping timeout: 272 seconds]
artagnon has quit [Ping timeout: 272 seconds]
leifw has quit [Ping timeout: 272 seconds]
lordkryss has quit [Ping timeout: 272 seconds]
flux has quit [Ping timeout: 272 seconds]
rossberg has quit [Ping timeout: 272 seconds]
divyanshu has quit [Ping timeout: 272 seconds]
bernardofpc has quit [Ping timeout: 272 seconds]
teiresias has quit [Ping timeout: 272 seconds]
pdewacht has quit [Ping timeout: 272 seconds]
jbrown has quit [Ping timeout: 272 seconds]
hnrgrgr has quit [Ping timeout: 272 seconds]
gargawel_ has quit [Ping timeout: 272 seconds]
jlouis has quit [Remote host closed the connection]
tg has quit [Ping timeout: 272 seconds]
nickmeharry has quit [Ping timeout: 272 seconds]
flx is now known as flux
artagnon_ is now known as artagnon
lordkryss_ has quit [Client Quit]
nox_ is now known as nox
jbrown has joined #ocaml
rfv_ is now known as rfv
siddharthv_away is now known as siddharthv
englishm has joined #ocaml
n1ftyn8_ is now known as n1ftyn8
divyanshu_ is now known as divyanshu
siddharthv is now known as siddharthv_away
siddharthv_away is now known as siddharthv
leifw_ is now known as leifw
hausdorff has quit [Remote host closed the connection]
cantstanya has joined #ocaml
tg has joined #ocaml
rossberg has joined #ocaml
zpe has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
alexherbo2 has joined #ocaml
hsuh has joined #ocaml
<whitequark> .
zpe has quit [Ping timeout: 240 seconds]
travisbrady has joined #ocaml
<whitequark> I'm looking at this and my eyes hurt. https://github.com/mjambon/mikmatch/blob/master/pcre/pcre_lib.ml#L486-L499
<whitequark> camlp4, unsafe and Obj.magic in a single function >_<
hausdorff has joined #ocaml
travisbrady has quit [Client Quit]
claudiuc has quit [Remote host closed the connection]
tristero has joined #ocaml
Submarine has quit [Quit: Leaving]
Guest74728 has quit [Remote host closed the connection]
cesar_ has joined #ocaml
cesar_ is now known as Guest34135
Guest34135 has quit [Ping timeout: 244 seconds]
badkins has quit []
samrat has quit [Ping timeout: 255 seconds]
samrat has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
<whitequark> Drup:
<whitequark> I made the irclogger UI less horrible
rgrinberg has quit [Quit: Leaving.]
zpe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
bytbox has quit [Remote host closed the connection]
expo873 has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 250 seconds]
AlexRussia has quit [Ping timeout: 255 seconds]
darkf_ is now known as darkf
samrat has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
Submarine has joined #ocaml
Submarine has joined #ocaml
girrig has quit [Ping timeout: 245 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest62874
girrig has joined #ocaml
Guest62874 has quit [Ping timeout: 264 seconds]
mcclurmc has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
siddharthv is now known as siddharthv_away
siddharthv_away is now known as siddharthv
<ggole> sympa.inria.fr redirects to https, but doesn't have a valid cert >_<
MercurialAlchemi has joined #ocaml
ygrek has joined #ocaml
keen___________1 has quit [Read error: Connection reset by peer]
keen___________1 has joined #ocaml
trap_exit has joined #ocaml
samuel02 has joined #ocaml
samuel02 has quit [Read error: Connection reset by peer]
samuel02 has joined #ocaml
<Leonidas> I'm at a complete loss how to specify packages to install for OPAM on travis-ci.
<whitequark> $ opam install pkg
<Leonidas> OPAM_DEPENDS="lwt\>=2.4.6 ssl cmdliner cohttp\>=0.10.0 yojson"
<whitequark> wait, wtf are you doing?
<whitequark> why is there a version constraint?
<Leonidas> whitequark: because I need a version of Lwt with ppx
<whitequark> opam installs latest lwt by default.
trap_exit has left #ocaml [#ocaml]
<whitequark> anyway, the best way to test packages is to pin your package to the checkout in travis
<whitequark> and then just install it.
<Leonidas> it installed Lwt 2.4.5 on OCaml 4.01
<whitequark> well, why do you test your package on 4.01 if it doesn't work on 4.01?
<Leonidas> and then the build obviously failed with a stupid error message
<whitequark> that's absurd.
<Leonidas> whitequark: still, a version constraint might be useful. but neither escaping nor putting "lwt>=2.4.6" works.
<whitequark> I think you can't specify those on the command line.
<whitequark> I also can't see why you would want to.
<Leonidas> to be sure I get a compatible version and not an old version by some mistake (if something is broken in opam and forces an older version of Lwt for example)
zpe has joined #ocaml
<Leonidas> for core you often get a completely random version, because core is terrible
<whitequark> seriously, just pin your package
<whitequark> then either install it, or install it with --deps-only
<Leonidas> opam install "ocamlfind>=1.4.0"
<whitequark> that's way better, because it won't break after upgrade
<whitequark> the requirement you specify on the command line is not recorded anywhere
<AltGr> Leonidas, 'opam install "lwt>=2.4.6"' should work on opam 1.2
<Leonidas> hmm, so is that exclusive to OPAM 1.2? Oh.
chris2_ is now known as chris2
<Leonidas> whitequark: yes, I might do that
<AltGr> yes, it wasn't available in 1.1
<Leonidas> that would explain the stupid error
<Leonidas> no, this is OPAM 1.2 and it fails
zpe has quit [Ping timeout: 244 seconds]
<Leonidas> whitequark is right about pinning, but I'd like to know why my approach doesn't work. Call it curiousity.
<whitequark> you got quoting wrong
<whitequark> I think if you remove all ", it will work
<Leonidas> I just realized it worked on OPAM 1.2
<Leonidas> (the version without the ", which I already tried before)
mcc has quit [Quit: This computer has gone to sleep]
cesar_ has joined #ocaml
<AltGr> [ERROR] No package named "cohttp found.
cesar_ is now known as Guest62887
<AltGr> that's a quoting error, you're asking for a package named quote-cohttp
<AltGr> (which is actually a valid name, hmm)
<whitequark> brb submitting to opam-repository
Guest62887 has quit [Ping timeout: 244 seconds]
govg has quit [Remote host closed the connection]
<Unhammer> Drup, I notice in ocsigen I can e.g. create a "post_form ~service:new_acct_service" where new_acct_service is created, but not registered; does that have any use? (Or is it just hard to flag that as an error on compilation?)
clog has quit [Ping timeout: 255 seconds]
larhat has joined #ocaml
arj has joined #ocaml
larhat has quit [Client Quit]
larhat has joined #ocaml
Hannibal_Smith has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 244 seconds]
samuel02 has quit [Read error: Connection reset by peer]
samuel02 has joined #ocaml
zpe has joined #ocaml
octachron has joined #ocaml
zpe has quit [Remote host closed the connection]
samuel02 has quit [Read error: Connection reset by peer]
samuel02 has joined #ocaml
sepp2k has joined #ocaml
<companion_cube> whitequark: thanks for the merge!
ollehar has joined #ocaml
samuel02 has quit [Read error: Connection reset by peer]
samuel02 has joined #ocaml
vogler has joined #ocaml
samuel02 has quit [Remote host closed the connection]
nojb has joined #ocaml
<flux> I wonder if the recent .NET open sourcing (MIT) announcement means more competition to OCaml from the F# front :)
Simn has joined #ocaml
<ygrek> I wonder can merlin look for cmt files in `ocamlfind query ` locations from .merlin ?
<flux> hmm, doesn't it do that with the PKG definition?
<flux> I mean, it does use findlib for it, why not for those files then :)
<flux> I haven't tried it, though. I have very few .cmt files around.
NoNNaN has quit [Ping timeout: 250 seconds]
<ygrek> I thought so, but doesn's seem to work
<ygrek> will try more
<whitequark> does merlin even use cmt?
thomasga has joined #ocaml
<ygrek> for Locate - no ?
<ygrek> jump-to-definition I mean
<ygrek> I wonder whether it can do so across diferent projects
<ygrek> it looks for cmt file definitely
<Unhammer> merlin can jump to stuff in ~/.opam if you have bin-annot and S/B settings
<ygrek> and it finds it actually
sinelaw has joined #ocaml
<Unhammer> so in that sense at least it works
<sinelaw> Hi. I'm new to ocaml. Why doesn't the following compile?
<sinelaw> let x (f : 'a -> 'a) = ref f ;;
<sinelaw> let setX v = x := v ;;
<ygrek> but it still says : seems to originate from 'Control' which could not be found
<ygrek> Unhammer, S/B ?
<ygrek> I have B in all projects
<ygrek> do I need S for this also?
<sinelaw> oops. never mind.
avsm has joined #ocaml
<sinelaw> x wasn't supposed to be a function.
NoNNaN has joined #ocaml
<Unhammer> PKG pcre
<Unhammer> S /home/me/.opam/4.02.1/build/pcre-ocaml.7.1.2/_build
<Unhammer> B /home/me/.opam/4.02.1/build/pcre-ocaml.7.1.2/_build
<ygrek> aha, then it tries to locate it in current directory
<ygrek> Unhammer, that's not what I have in mind definitely %)
<ygrek> absolute paths??
<Unhammer> well, relative works as well
<Unhammer> that's just what I have for opam stuff
<Unhammer> for my actual project I use
<Unhammer> S .
<Unhammer> B _build/
<ygrek> still I do not get it
<ygrek> how it will find the source directory of installed lib
<ygrek> I see that it reads correct cmt in .opam
<ygrek> and then it tries to open .ml file in the current project directory, not in the lib's source
<ygrek> cmt has the path to source original directory
<ygrek> so it could jump there
<ygrek> looks like a bug to me
<Unhammer> I think I actually wrote how to do this on the wiki …
<ygrek> Unhammer, so it has multiple S/B in one .merlin
<ygrek> never thought that it should be used that way
<ygrek> and again
<ygrek> once it finds cmt
<ygrek> cmt has location of ml
<ygrek> so there should be no need to do this
<Unhammer> that'd be great :)
AlexRussia has joined #ocaml
<ygrek> should be doable
ikaros has joined #ocaml
<Unhammer> hmm, seems like they've actually fixed it for some packages, but it requires packagers to instruct opam in some way?
cesar_ has joined #ocaml
cesar_ is now known as Guest96881
jonludlam has joined #ocaml
<ygrek> thanks for the link
struktured has quit [Ping timeout: 265 seconds]
samuel02 has joined #ocaml
<ygrek> but that's not exactly what I want %)
<ygrek> that can work for opam packages
samuel02 has quit [Client Quit]
<ygrek> we can make it work for any cmt
<ygrek> as long as build dir is kept
larhat has quit [Quit: Leaving.]
Guest96881 has quit [Ping timeout: 240 seconds]
avsm has quit [Quit: Leaving.]
Kakadu has joined #ocaml
kakadu_ has joined #ocaml
AltGr has left #ocaml [#ocaml]
clog has joined #ocaml
nicoo has quit [Remote host closed the connection]
bezirg has joined #ocaml
nicoo has joined #ocaml
teiresia1 has quit [Changing host]
teiresia1 has joined #ocaml
teiresia1 is now known as teiresias
_andre has joined #ocaml
nojb has quit [Quit: nojb]
<ygrek> Unhammer, got it working %)
<ygrek> with some violent hacking in merlin code
Submarine has quit [Quit: Leaving]
<Leonidas> companion_cube: I quite like qcheck so far, thanks for writing it :)
<companion_cube> thanks ^^
<MercurialAlchemi> qcheck? is this a port of quicheck?
hausdorff has quit [Remote host closed the connection]
hausdorff has joined #ocaml
hausdorff has quit [Remote host closed the connection]
hausdorff has joined #ocaml
<Unhammer> oh wow =D
hausdorff has quit [Remote host closed the connection]
<companion_cube> MercurialAlchemi: yes, although it's hard to be as comprehensive (no shrinking for instance)
hausdorff has joined #ocaml
arj has quit [Ping timeout: 244 seconds]
<MercurialAlchemi> I definitely need to check it out, that's definitely one of the best way to test anything
<MercurialAlchemi> "best ways"
<Leonidas> MercurialAlchemi: that's one of three ports that I know (qcheck, quickcheck and kaputt)
<MercurialAlchemi> right
<MercurialAlchemi> any difference between the three?
<Leonidas> quickcheck ist quite verbose
<Leonidas> you need to specify all input and output types of your properties in excruciating detail
hausdorff has quit [Ping timeout: 255 seconds]
<Leonidas> QuickCheck.quickCheck (QuickCheck.testable_fun (QuickCheck.arbitrary_list QuickCheck.arbitrary_int) (QuickCheck.show_list QuickCheck.show_int) QuickCheck.testable_bool) prop_revrev;;
<Leonidas> QCheck.run @@ QCheck.mk_test QCheck.Arbitrary.(list alpha) prop_revrev;;
<MercurialAlchemi> doesn't look that quick to me
<Leonidas> let prop_revrev xs = List.rev (List.rev xs) = xs
<Leonidas> MercurialAlchemi: without type classes it doesn't get much better, I guess
<whitequark> of course it gets better
<Leonidas> also, in HS-QC you sometimes want to write your own generators anyway
<whitequark> ppx_deriving!
<Leonidas> whitequark: oh, right. That could be nice!
<whitequark> companion_cube: go finish ppx_deriving_random already :]
<Leonidas> ppx_deriving_fieldslib would be cool too
<companion_cube> whitequark: it's so annoying actually
<whitequark> Leonidas: implement it!
<companion_cube> I should first rely on random combinators
<whitequark> companion_cube: hm?
arj has joined #ocaml
<companion_cube> https://github.com/gasche/random-generator <--- this, for instance
<companion_cube> whitequark: the (recursive) cases for sum/product types are a PITA
<whitequark> oh.
<whitequark> you can add that as a depopt
<Leonidas> whitequark: so much to implement, so little time. Will put it on my TODO list :-)
* MercurialAlchemi is reading about QCheck
ingsoc has joined #ocaml
<MercurialAlchemi> I didn't know about Module.($expr)
<MercurialAlchemi> kind of redundant when you have local open
arj has quit [Ping timeout: 258 seconds]
<companion_cube> more convenient in small expressions
thomasga has quit [Quit: Leaving.]
pyon has joined #ocaml
expo873 has quit [Quit: Connection closed for inactivity]
nojb has joined #ocaml
zpe has joined #ocaml
demonimin has quit [Ping timeout: 265 seconds]
Kakadu has quit [Ping timeout: 250 seconds]
thomasga has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
arj has joined #ocaml
demonimin has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest75492
arj has quit [Ping timeout: 250 seconds]
Guest75492 has quit [Ping timeout: 258 seconds]
siddharthv is now known as siddharthv_away
nojb has quit [Quit: nojb]
dsheets has joined #ocaml
arj has joined #ocaml
arj has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 264 seconds]
<companion_cube> thomasga: remind me why you star every ocaml github repo? :)
<thomasga> companion_cube: cause all ocaml projects are great :p
<companion_cube> ^^
<thomasga> (I'm staring only 1.4k projects apparently)
* Leonidas :)
arj has joined #ocaml
* companion_cube coughs
govg has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
oscar_toro has joined #ocaml
dsheets has joined #ocaml
shinnya has joined #ocaml
hausdorff has joined #ocaml
hausdorff has quit [Ping timeout: 256 seconds]
<Drup> whitequark: thx!
<Drup> Unhammer: iirc, it triggers an error at init time.
<whitequark> Drup: huh?
<whitequark> oh, irclogger
travisbrady has joined #ocaml
hcarty has quit [Ping timeout: 264 seconds]
hcarty has joined #ocaml
<Drup> huum
<Drup> That's not typecheckable, clearly
<Unhammer> no heh, but could it be checked on startup or something?
<Drup> maybe
<Drup> It's not easy
<Unhammer> though perhaps there's some use case for such non-registered services …
<Drup> non-registered, i doubt so
rwmjones_hols is now known as rwmjones
<Drup> registered dynamically, depending of the result of a request, on the other hand ...
sgnb has quit [Read error: Connection reset by peer]
<arj> if I want to do GUI programming with ocaml what framework would you recommend?
<arj> is there any mature framework (maybe based on FRP, but not necessarily)?
<Leonidas> is there even any alternative to lablgtk?
<Leonidas> apparently someone already had that idea: http://lablgtk-react.forge.ocamlcore.org/
<Drup> Eliom contains a GUI framework based on frp :]
<whitequark> browser is a shitty UI framework.
<Leonidas> HTML GUI, I suppose?
<Drup> whitequark: depends
<whitequark> Drup: open twitter
<whitequark> try to scroll below 300th tweet
<MercurialAlchemi> looking at the release notes for the new version of F#, I'm jealous that F# gets to have constructors that behave as functions, while OCaml gets no constructor at all
<whitequark> on my ridiculously overpowered i7, a redraw takes 300-500ms after that
<Leonidas> MercurialAlchemi: Haskell has constructor functions too.
<MercurialAlchemi> Leonidas: I know
<arj> Leonidas: no, real GUI
<kakadu_> There some examples about QtQuick but I'm not going to talk about it because it's a dinner time
<arj> Kakadu_: is it stable? last time a checked it was rather new and incomplete.
<Leonidas> arj: lablgtk-react is a real GUI. By adrien.
<MercurialAlchemi> IMHO, it both increases readability and avoids (fun ... -> )-boilerplate
<Drup> MercurialAlchemi: every body agree on it, except the Core team, mostly.
<Leonidas> MercurialAlchemi: yep, I hope ocaml will adopt this too.
<Leonidas> Drup: Core as in JaneStreet or Core as in INRIA?
<Drup> whitequark: you should know by now that taking a particular example is not really good to demonstrate your point about some building block being shitty.
<arj> Leonidas: it seems not to be very mature and rather small? If I understand correctly, it is built on lablgtk.
<kakadu_> It can't be stable because nobody uses it because nobody uses it (because QtQuick is too different from other approaches)
<Drup> Leonidas: the later
kakadu_ is now known as Kakadu_afk
<MercurialAlchemi> Leonidas: this was my question too :)
<Drup> whitequark: of course html is shitty
<whitequark> Drup: it was a mere illustration
<MercurialAlchemi> ocaml is already multi-core :D
<Leonidas> arj: yes, but lablgtk is stable and you can extend lablgtk-react
<arj> ok, then I might give this one a shot. Thanks!
<Leonidas> pretty sure adrien takes pull requests or something.
<Drup> whitequark: concerning twitter, I don't know how much their stuff is optimized, so hard to answer.
<whitequark> Drup: a $27B company generally tries at least a little to keep their main UI quick
<Drup> I have (numerous) counter examples to this argument.
<MercurialAlchemi> It's possible to make fast, reactive UIs in HTML
<whitequark> the fact that DOM is a very inefficient way to build UIs is well-known
<Drup> whitequark: I agree
<MercurialAlchemi> but it's a pain
<whitequark> until recently it was also an incredible pain in the ass to style, but that changed somewhat with CSS3 and flexbox
<Drup> which is badly supported :<
<whitequark> of course, what do you expect?
<MercurialAlchemi> whitequark: it wasn't so much the styling as the layout, I'd say
<Drup> whitequark: about html, my point was more related to how you program it
<whitequark> right, layout is the right term here
<Drup> Defining a GUI in eliom is relatively pleasant, it's quite declarative
<MercurialAlchemi> (which is quite ridiculous when you consider that you've add decent ways of placing widgets on a screen in various toolkits since forever without resorting to obscure div tricks to get a fucking three column layout working)
<MercurialAlchemi> "you've had"
<Drup> at least more pleasant than the bit I did with lablgtk
<Drup> MercurialAlchemi: if we start counting the error in javascript's design that were solved at the time, we're going to be here for a while
<MercurialAlchemi> Drup: that's a CSS issue, not Javascript
<Drup> The dom part is equally horrible, and it's javascript
<MercurialAlchemi> Javascript...
<MercurialAlchemi> Well, a part of me likes it because it's conceptually simple
<Drup> except the late binding semantic
<Drup> and the scoping rules
<MercurialAlchemi> but it has a large number of built-in abominations
<Drup> and the truth values
<MercurialAlchemi> "this"
<Drup> (I like to point objections to people saying "this is conceptually simple")
<MercurialAlchemi> but, well, I usually manage to not shoot myself in the foot with it
<Drup> (especially when it's part of the triplet {C; Javascript; Python})
<MercurialAlchemi> or at least I still have most of my toes
<MercurialAlchemi> (that said I don't understand why people would want to build non-toy applications in NodeJS)
<Drup> :D
<MercurialAlchemi> (of course you could theoretically write your NodeJS apps in OCaml and use js_of_ocaml to run it on V8
<Drup> I know someone who did
<ousado> indeed
psy_ has joined #ocaml
cesar_ has joined #ocaml
<Drup> with webkit for the GUI part
<ousado> writing JS directly is the issue, not the runtime in itself
<MercurialAlchemi> uh, nodejs+webkit?
cesar_ is now known as Guest89252
<Drup> yes
travisbrady has quit [Quit: travisbrady]
<MercurialAlchemi> I guess reality is stranger than fiction
<Drup> "enable a new way of writing applications with all Web technologies." this makes me so sad :(
<Drup> ousado: hum, there are lot's of issues with the runtime too, javascript is a bad assembly.
<Drup> it's too weakly typed and not regular enough
Guest89252 has quit [Ping timeout: 244 seconds]
<ousado> I agree, but the existence of transpilers that shield the developer from those issues can make nodejs a viable option
nojb has joined #ocaml
<ousado> the nodejs APIs in part still require quite sophisticated mechanisms to make them non-horrible, however
<ousado> but if I wanted to write e.g. an application with support for voice and maybe video chat in, say 2 month, what would be the less horrible alternative to node webkit?
<ousado> *months
<whitequark> ... qt?
hausdorff has joined #ocaml
<ousado> whitequark: and what's the QT equivalent to the WebRTC API?
shinnya has quit [Ping timeout: 250 seconds]
<whitequark> I dunno
<whitequark> but what I can say as a user is that webrtc doesn't work.
<whitequark> it literally never worked for me, on any combination of browsers, OSes and networks that I tried.
<whitequark> "doesn't work" = doesn't establish a connection, establishes but lags by seconds, establishes without lag but speech is garbled, establishes but echo makes it impossible to hear anyone
<whitequark> so it doesn't really matter.
batz0x has joined #ocaml
<ousado> hm
bytbox has joined #ocaml
<whitequark> nevertheless, Qt provides a standard API for audio/video recording, and as for networks, you'll have to figure something out yourself
hausdorff has quit [Ping timeout: 240 seconds]
<whitequark> there isn't an universal solution anyway
<whitequark> it was quite hilarious, I had an interview with a company that writes code for browsers for a living, and we tried a bunch of browsers to conduct it, and none of them worked
<ousado> when was that?
<MercurialAlchemi> hahaha
<whitequark> one or two weeks ago
avsm has joined #ocaml
<MercurialAlchemi> so you reverted to pidgeon RTC in the end?
<whitequark> we did it via SkypeOut from their side, and a PSTN to SIP gateway from my side
<ousado> hm, I kind of refuse to think that WebRTC is conceptually impossible
<whitequark> absurdly contrived, but at last it worked.
<whitequark> ousado: it is conceptually possible.
<whitequark> it's just very, very immature, and relying on it is impossible
gal_bolle has joined #ocaml
<MercurialAlchemi> I had a similar experience recently
<whitequark> MercurialAlchemi: mind you, we tried just Skype (it broke) and plain PSTN wouldn't support conferences
<MercurialAlchemi> company put out an internally-developped communication app relying on web RTC
<whitequark> and I have no cellular coverage or landline, so just PSTN is not an option too
<whitequark> it's amazing how fucked software is
<whitequark> we went from "at least we can make phone calls" to "haha, jokes on you for expecting anything whatsoever to work"
<whitequark> well, IRC works, I guess
<MercurialAlchemi> never managed to get the web RTC part working
<MercurialAlchemi> yep
<adrien> it also still needs a server
<adrien> quite sucks
<whitequark> adrien: NATs mandate a server, somehow, somewhere.
<whitequark> until we all migrate to IPv6 (i.e. never), a server is required.
<MercurialAlchemi> I backup my stuff on nsa.gov so I don't care :D
<whitequark> no, the actual traffic is p2p
<whitequark> but you need a server for coordination and control channels
<whitequark> MercurialAlchemi: good luck restoring from that backup
<MercurialAlchemi> ah, I knew there was a fault in my plan somewhere
* whitequark actually did a practice restoration for his server recently!
samrat has joined #ocaml
<MercurialAlchemi> :)
<flux> "practice"
<whitequark> hm?
<flux> oh, you really meant it ;)
<whitequark> um, yeah? to verify that I can actually decrypt the backups and such
<flux> I've only done 'actual' restoration to my workstation..
<whitequark> for workstation, I have an anacron setup that rsyncs everything not on github to the server...
<whitequark> ... which will backup that to Amazon Glacier in turn, overnight.
<whitequark> takes care of data, but not desktop config, which is kinda annoying
<adrien> whitequark: yeah but for webrtc it's still heavily centralized
<whitequark> on the plus side, the rsync job is so tiny, it will even work over meager 3G connections, in case I'm stuck in some hole
<adrien> could be a bit better
<whitequark> adrien: I'm not sure how
<adrien> at least P2P phonebook
BitPuffin has joined #ocaml
<whitequark> phonebook?..
<adrien> how to reach someone
<adrien> but you don't need a _server_
<adrien> you need a machine outside the NAT
<whitequark> sounds like you want webrtc without the 'web' pat
<whitequark> *part
<ousado> apropos rsync, the patents expire next year
cdidd has quit [Ping timeout: 250 seconds]
<whitequark> it was patented?..
<ousado> parts of the algorithm
ygrek has joined #ocaml
batz0x has quit [Remote host closed the connection]
panini has joined #ocaml
cdidd has joined #ocaml
octachron has quit [Ping timeout: 264 seconds]
xavierm02 has joined #ocaml
travisbrady has joined #ocaml
octachron has joined #ocaml
ingsoc has quit [Quit: Leaving.]
hausdorff has joined #ocaml
darkf has quit [Quit: Leaving]
hausdorff has quit [Ping timeout: 244 seconds]
lordkryss_ has joined #ocaml
psy_ has quit [Remote host closed the connection]
sinelaw has quit [Ping timeout: 250 seconds]
psy_ has joined #ocaml
struktured has joined #ocaml
psy__ has joined #ocaml
psy__ has quit [Read error: Connection reset by peer]
xavierm02 has quit [Ping timeout: 246 seconds]
arj has quit [Quit: Leaving.]
octachron has quit [Ping timeout: 240 seconds]
yomimono has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest95271
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
Guest95271 has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
thomasga has quit [Client Quit]
octachron has joined #ocaml
cesar has joined #ocaml
serge has quit [Remote host closed the connection]
cesar is now known as Guest95553
serge has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 240 seconds]
hausdorff has joined #ocaml
serge has quit [Remote host closed the connection]
serge has joined #ocaml
oscar_toro has quit [Ping timeout: 265 seconds]
avsm1 has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
avsm1 has joined #ocaml
hausdorff has quit [Ping timeout: 264 seconds]
rand000 has joined #ocaml
avsm has quit [Ping timeout: 255 seconds]
demonimin has quit [Ping timeout: 264 seconds]
demonimin has joined #ocaml
panini has quit [Remote host closed the connection]
fraggle-boate has quit [Remote host closed the connection]
fraggle-boate has joined #ocaml
xavierm02 has joined #ocaml
englishm has quit [Ping timeout: 244 seconds]
Guest95553 has quit [Remote host closed the connection]
zpe_ has joined #ocaml
englishm has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
ollehar has quit [Ping timeout: 264 seconds]
bytbox has quit [Remote host closed the connection]
vogler has quit [Ping timeout: 264 seconds]
hugomg has joined #ocaml
struk_at_work has joined #ocaml
yomimono has quit [Ping timeout: 245 seconds]
hausdorff has joined #ocaml
rand000 has quit [Ping timeout: 264 seconds]
Kakadu has joined #ocaml
q66 has joined #ocaml
<hugomg> I have a stupid question about modules: I have two modules, main.ml and myType.ml, with Main depending on MyType. When I use corebuild to build main.byte it works but when I try to run Main in the REPL it doesnt: If I do `#use "Main.ml"` from within utop it complains that it doesn't know what the MyType module is, and the only way I managed to get it to work was by doing `#mod_use "myType.ml"` by hand.
<mrvn> And the question is?
badkins has joined #ocaml
ygrek has quit [Ping timeout: 265 seconds]
MrScout has joined #ocaml
enquora has joined #ocaml
slash^ has joined #ocaml
lostman has joined #ocaml
<hugomg> the question is if there is a way to load Main in the REPL and have its dependencies be loaded automatically
<hugomg> or at least have a way to load the MyType dependency without using #mod_use - that looks like an ugly hack to me
<nojb> hugomg: add the _build directory to the path by doing #directory “_build”
<nojb> and then load your modules with #load_rec “main.cmo”
ikaros has quit [Quit: Ex-Chat]
zpe_ has quit [Remote host closed the connection]
<hugomg> thanks, nojb. Is it OK if I put that "#directory _build" in my .ocamlinit?
<nojb> yes
<ggole> hugomg: it might be easier to use a build system to construct a toplevel containing all the stuff you want
<ggole> ocamlbuild has some toplevel support
bezirg has quit [Ping timeout: 250 seconds]
ygrek has joined #ocaml
<hugomg> ggole: how do you compile a custom toplevel w/ ocamlbuild? The only thing I could find is that it has a "-ocamlmktop <command>" flag but I have no idea what I would have to pass there.
<ggole> Make a toplevel.mltop containing a list of modules, ocamlbuild toplevel.top
<ggole> (The list of modules has to be in dependency order, which is half sad and half hilarious.)
<ggole> You still have to do the #directory "_build" thing, too
<ggole> Pretty clunky toolchain.
nojb has quit [Quit: nojb]
<mrvn> "how do you compile a custom toplevel" You don't. :)
<whitequark> Drup: cool gif
<Drup> thanks :D
<Drup> editing gifs is much harder than it should be
<ggole> What's this?
<Drup> ocp-browser, next version
xavierm02 has quit [Ping timeout: 246 seconds]
<ggole> Huh
thomasga has joined #ocaml
octachron has quit [Quit: Leaving]
gasche has quit [Ping timeout: 245 seconds]
Kakadu has quit [Quit: Konversation terminated!]
jwatzman|work has joined #ocaml
gasche has joined #ocaml
jonludlam has quit [Quit: Coyote finally caught me]
ygrek has quit [Ping timeout: 264 seconds]
<Drup> ggole: the release for ocp-index should come very soon
<ggole> Does it provide much over merlin?
<Drup> it provides ocp-browser ? ^^'
<flux> hmm, I wonder if this library would be nice to bind to ocaml: https://github.com/arrayfire/arrayfire
<ggole> Ah!
<Drup> ggole: and ocp-grep, which is nice too
<Drup> (it's an open and module aware grep)
<flux> (it does make some use of templates, though)
<Denommus> Eliom is nice
<Drup> flux: you know spoc ?
<Denommus> I was trying something similar-ish in Haskell with Yesod and GHCJS, but... Eliom is already there!
<Drup> there is shade in haskell, trying to do that
<Drup> hum, no, not shade
<Drup> Haste !
<Denommus> Drup: yes, but Haste does not support GHC fully :-/
<Drup> indeed, and it's not as developed as Eliom
<flux> drup, yes. I don't think it's quite the same, though.
zpe has joined #ocaml
hausdorff has quit [Remote host closed the connection]
<Drup> flux: I think I would rather make a crossover spoc+parmap, it would be funnier
<flux> ..
<Drup> ? ^^'
araujo has quit [Read error: Connection reset by peer]
fraggle-boate has quit [Ping timeout: 245 seconds]
araujo has joined #ocaml
avsm1 has quit [Quit: Leaving.]
gasche has quit [Ping timeout: 264 seconds]
zpe has quit [Remote host closed the connection]
gasche has joined #ocaml
hausdorff has joined #ocaml
zpe has joined #ocaml
sinelaw has joined #ocaml
jonludlam has joined #ocaml
<struk_at_work> when opam is a pinned to local repo, it is assured to use the "opam" config file of that repo when invoking opam install ?
<Drup> yes
<Drup> (there were bugs in 1.1, but I haven't noticed any in 1.2)
fraggle-boate has joined #ocaml
<struk_at_work> Drup: it seems to be ignoring my config file. hrmph. maybe I should just re-read the opam docs a bit
NoNNaN has quit [Remote host closed the connection]
<struk_at_work> using 1.2
<Drup> you did "opam pin add foo /path/to/foo"
<Drup> and there is a file "/path/to/foo/opam"
<Drup> ?
hausdorff has quit [Ping timeout: 258 seconds]
sepp2k has quit [Quit: Konversation terminated!]
<struk_at_work> Drup, no the file is nested down several directories from the project root
<Drup> put it in the root :)
NoNNaN has joined #ocaml
expo873 has joined #ocaml
hausdorff has joined #ocaml
<struk_at_work> Drup: I wasn't the original author of the project. don't know why they put it in a nested folder..
BitPuffin has quit [Ping timeout: 255 seconds]
martintrojer has quit [Ping timeout: 240 seconds]
martintrojer has joined #ocaml
Kakadu_afk has quit [Ping timeout: 246 seconds]
larhat has joined #ocaml
tane has joined #ocaml
<travisbrady> Anyone know how I might share a read-only hash table among many ocaml processes?
Thooms has joined #ocaml
avsm has joined #ocaml
fraggle-boate has quit [Ping timeout: 272 seconds]
demonimin_ has joined #ocaml
demonimin has quit [Ping timeout: 265 seconds]
bytbox has joined #ocaml
sinelaw has quit [Ping timeout: 240 seconds]
MrScout_ has joined #ocaml
bytbox has quit [Remote host closed the connection]
MrScout_ has quit [Read error: Connection reset by peer]
MrScout has quit [Ping timeout: 265 seconds]
MrScout has joined #ocaml
<struk_at_work> Drup: works now, thanks. I noticed if doesn't like if I add "-k git". Maybe because I didn't commit/push opam location change first..
fraggle-boate has joined #ocaml
bytbox has joined #ocaml
seanmcl has joined #ocaml
sinelaw has joined #ocaml
_andre has quit [Quit: leaving]
Kakadu has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
MrScout has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
cesar has joined #ocaml
travisbrady has quit [Client Quit]
cesar is now known as Guest79926
travisbrady has joined #ocaml
MrScout has joined #ocaml
Guest79926 has quit [Ping timeout: 244 seconds]
zpe has quit [Remote host closed the connection]
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
artagnon has left #ocaml [#ocaml]
artagnon has joined #ocaml
artagnon has left #ocaml [#ocaml]
sinelaw has quit [Ping timeout: 264 seconds]
hugomg has quit [Ping timeout: 244 seconds]
samuel02 has joined #ocaml
manud has joined #ocaml
bytbox has quit [Remote host closed the connection]
hugomg has joined #ocaml
hausdorff has quit [Remote host closed the connection]
<Denommus> does Eliom come with React?
srcerer has quit [Quit: ChatZilla 0.9.91 [Firefox 33.0.2/20141027150301]]
slash^ has quit [Read error: Connection reset by peer]
claudiuc has joined #ocaml
rand000 has joined #ocaml
sinelaw has joined #ocaml
nojb has joined #ocaml
<Drup> react is a dependency so, yes, sort of
jao has joined #ocaml
MrScout has quit [Remote host closed the connection]
jao has quit [Changing host]
jao has joined #ocaml
MrScout has joined #ocaml
hausdorff has joined #ocaml
typedlambda has quit [Ping timeout: 250 seconds]
srcerer has joined #ocaml
manizzle has joined #ocaml
typedlambda has joined #ocaml
larhat has quit [Quit: Leaving.]
zpe has joined #ocaml
tobiasBora has quit [Ping timeout: 240 seconds]
manud has quit [Quit: Be back later ...]
manud has joined #ocaml
ggole has quit []
zpe has quit [Remote host closed the connection]
<Unhammer> is there a syntax-less way to say %some_server_function in eliom? (can't figure out how to put it in client.ml instead of myproject.eliom without camlp4 complaining)
<Drup> not directly, but server functions are just shortcut for an OCaml service, so you can define it like that instead, not sure if helping, in this case.
rand000 has quit [Remote host closed the connection]
tobiasBora has joined #ocaml
<Unhammer> should probably do that then, just haven't quite wrapped my head around it all :)
rand000 has joined #ocaml
<Drup> you will still need to pass the name of the service to the client side in fact, so it's not going to help
<Drup> client-server stuff needs to be in .eliom files, I'm afraid :)
nicoo has quit [Remote host closed the connection]
<Unhammer> aha
lostman has quit [Quit: Connection closed for inactivity]
nicoo has joined #ocaml
Kakadu has quit [Remote host closed the connection]
expo873 has quit [Quit: Connection closed for inactivity]
hugomg has quit [Read error: Connection reset by peer]
cesar has joined #ocaml
cesar is now known as Guest14409
zpe has joined #ocaml
Guest14409 has quit [Ping timeout: 258 seconds]
zpe has quit [Remote host closed the connection]
Kakadu has joined #ocaml
thomasga has quit [Quit: Leaving.]
samrat has quit [Quit: Computer has gone to sleep.]
yomimono has joined #ocaml
<Unhammer> can .ml files depend on .eliom files?
<Unhammer> last desparate attempt at using merlin heh
badkins has quit [Read error: Connection reset by peer]
<Drup> yes
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
seanmcl has joined #ocaml
Kakadu has quit [Remote host closed the connection]
sinelaw has quit [Ping timeout: 240 seconds]
MrScout_ has joined #ocaml
<struk_at_work> Drup: so what are you doing w/llvm ? Just curious..
typedlambda has quit [Ping timeout: 250 seconds]
MrScout__ has joined #ocaml
MrScout_ has quit [Read error: Connection reset by peer]
<Drup> now, mostly having fun
MrScout has quit [Ping timeout: 272 seconds]
fraggle-boate has quit [Ping timeout: 256 seconds]
rwmjones is now known as rwmjones_afk
tane has quit [Quit: Verlassend]
<MercurialAlchemi> Is there a way to include the signature of a module inside another
<Drup> include ?
<MercurialAlchemi> ya
<nojb> MercurialAlchemi: include :)
<Drup> yeah, that was not obvious, "include" is the answer =')
<MercurialAlchemi> hmm
expo873 has joined #ocaml
<MercurialAlchemi> it complains that the module I include is unbound (it's in another .ml), but it's happy enough if I simply open it in the mli
<Drup> if it's a module (and not a signature) you need "include module type of ..."
<MercurialAlchemi> fantastic
<MercurialAlchemi> thanks
sinelaw has joined #ocaml
fraggle-boate has joined #ocaml
Kakadu has joined #ocaml
Kakadu has quit [Client Quit]
Kakadu has joined #ocaml
samuel02 has quit [Remote host closed the connection]
zpe has joined #ocaml
kakadu_ has joined #ocaml
zpe has quit [Ping timeout: 244 seconds]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
fraggle-boate has quit [Ping timeout: 255 seconds]
Submarine has quit [Quit: Leaving]
fraggle-boate has joined #ocaml
hausdorff has quit [Remote host closed the connection]
<Drup> whitequark: what is your way to make sedlex work with menhir ? I'm trying to come up with the simplest one for the llvm tutorial
MrScout__ has quit [Remote host closed the connection]
MrScout has joined #ocaml
shinnya has joined #ocaml
hausdorff has joined #ocaml
manizzle has quit [Ping timeout: 256 seconds]
badkins has joined #ocaml
MrScout has quit [Ping timeout: 272 seconds]
fraggle-boate has quit [Ping timeout: 255 seconds]
jao has quit [Ping timeout: 255 seconds]
lordkryss_ has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
hausdorff has quit [Remote host closed the connection]
Hannibal_Smith has quit [Quit: Sto andando via]
samuel02 has joined #ocaml
hausdorff has joined #ocaml
manizzle has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest66207
Guest66207 has quit [Ping timeout: 272 seconds]
BitPuffin has joined #ocaml
hausdorff has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
rand000 has quit [Quit: leaving]
hausdorff has joined #ocaml
larhat has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
<companion_cube> hmmm, a constructor_as_function ppx_deriving would be most welcome
kakadu_ has quit [Quit: Konversation terminated!]
<Drup> it wouldn't be less verbose than doing the function
<Drup> at least not a lot
bytbox has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
yomimono has quit [Ping timeout: 265 seconds]
<companion_cube> it would avoid defining the functions by hand
<companion_cube> if you have 10 cases...
<Drup> put parantheses, you don't have 10 cases anymore
<Drup> oh, you mean, creating a bunch of functions ?
<Drup> I though "locally, use this constructor as a function"
<companion_cube> yes, create a bunch of functions
<companion_cube> like the rest of deriving does
<companion_cube> would go with defining record accessors of course
samuel02 has quit [Ping timeout: 256 seconds]