ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Logs at http://irclog.whitequark.org/ocaml
<Drup> for the substitution ?
<Drup> sed.
eikke__ has quit [Ping timeout: 255 seconds]
<Drup> (I'm serious, it needs to be purely syntactic)
<whitequark> okay
<whitequark> so, I would need something to compare Parsetrees without taking Location into account ...
<whitequark> ... for example, ppx_deriving together with ppx_import ... oh dang
<whitequark> (not really a problem, Ast_mapper allows that as well)
<Drup> ping jpdeplaix for pa_include
<whitequark> nah, I already understand how to make it
<whitequark> well, except syntax
<whitequark> do you have suggestions?
<Drup> [%% include Something with type ... and type ... and module ...]
<whitequark> syntax error
<whitequark> at `with'
<Drup> hum
<whitequark> [%import include Foo [@with type foo = bar and baz = hoge and fuga = piyo]];; would work
<whitequark> or just [%import Foo ... ];;
<Drup> whitequark: actually, no "include S with type t = t'" is valid in a type expression
<whitequark> hm?
hhugo has quit [Quit: Leaving.]
<Drup> grmbl
<Drup> there is "%bla :" for type expression, but nothing for module type expressions
<Drup> "[%import Foo ... ];;" doesn't work either, afaics
<whitequark> [%%import Foo [@with type foo = bar and baz = hoge and fuga = piyo]] ? sure, it parses
<def`> (module Foo) ?
<Drup> yeah, with the [@with
<Drup> module type S = sig include S with type t = t' end;;
<Drup> this is valid
<Drup> "include S with type t = t'" as a structure inside type signatures
<Drup> but there are no extension nodes available for those
<whitequark> generally, you would have them wrapped in an extension
<whitequark> the problem is that extension payloads only include patterns, expressions and structures
<whitequark> err
<whitequark> patterns, types and structures
<whitequark> never signatures
<Drup> yes, my point :p
<philtor> Why would this be done inside of a module struct: module IO = IO
<philtor> ?
<Drup> philtor: to reeport the module as part of the structure
<Drup> and avoid exporting some path to a module far away
<Drup> it's a common idiom in the return signature of a functor
<philtor> So IO would now be a sub-module inside of Make_client ?
<philtor> (or at least could be accessed that way)
<Drup> philtor: a submodule of the module resulting from the application of Make_client
<Drup> it's a functor, there are no module inside it directly :)
hhugo has joined #ocaml
<Drup> https://github.com/mirage/ocaml-cohttp/blob/master/lwt/cohttp_lwt.mli#L65 here you can see that the signature contains an IO module
<philtor> Right, inside of the module created by Make_client
<Drup> whitequark: well, I suppose @with is fine
<Drup> (I'm to lazy to open a mantis ticket for that right now, but it should be done)
thomasga has quit [Quit: Leaving.]
pyon has quit [Quit: Fiat justitia ruat caelum.]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
jbrown has joined #ocaml
hhugo has quit [Quit: Leaving.]
pyon has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
tobiasBora has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 260 seconds]
troutwine_away is now known as troutwine
shinnya has joined #ocaml
artagnon has joined #ocaml
<artagnon> I have this weird case of a match matching only the first statement.
<artagnon> I tried reordering things, and it still matches only the first statement.
izaak has joined #ocaml
<whitequark> artagnon: you're rebinding i64_type and i1_type in those match cases
troutwine is now known as troutwine_away
<artagnon> Oh, ouch.
<whitequark> you probably want | ty when ty = i64_type ->
<artagnon> Wait, can you explain to me this rebinding?
<whitequark> well, "i64_type" is an identifier
<whitequark> when used as a pattern, an identifier matches any value and becomes bound to it.
<artagnon> Ah, I see.
<whitequark> that code is equivalent to "let i64_type = type_of whatever in build_in_bounds_gep ..."
<whitequark> I usually build my code with -w @5@8@10@11@12@14@23@24@26@29@40
<whitequark> that would turn an useless match case into an error
* artagnon tries that
<whitequark> true: warn(@5@8@10@11@12@14@23@24@26@29@40), if you use ocamlbuild
<whitequark> in _tags
<artagnon> I use a Makefile actually.
tobiasBora has quit [Quit: Konversation terminated!]
<Drup> whitequark: @ ? :(
<whitequark> Drup: well, yes.
<whitequark> it doesn't include anything that I expect to be expanded in future releases, like @A or @3.
<Drup> hum, ok
artagnon has left #ocaml [#ocaml]
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ygrek has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
q66 has quit [Quit: Leaving]
englishm has joined #ocaml
zz_flazz is now known as flazz
flazz is now known as zz_flazz
samrat has joined #ocaml
saltylicorice has joined #ocaml
shinnya has quit [Ping timeout: 272 seconds]
izaak_ has joined #ocaml
Submarine_ has joined #ocaml
izaak has quit [Ping timeout: 245 seconds]
Submarine has quit [Ping timeout: 245 seconds]
samrat has quit [Ping timeout: 240 seconds]
ivan\ has joined #ocaml
troutwine_away is now known as troutwine
samrat has joined #ocaml
samrat has quit [Client Quit]
vincom2 has quit [Remote host closed the connection]
vincom2 has joined #ocaml
troutwine is now known as troutwine_away
ygrek has quit [Ping timeout: 264 seconds]
manizzle has quit [Ping timeout: 264 seconds]
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
artagnon has joined #ocaml
boogie has quit [Ping timeout: 250 seconds]
<artagnon> How do I use variables in pattern matching vector_type? http://pastebin.com/UhcUkwxg
<whitequark> you can't.
<whitequark> use classify_type and then accessors for your specific case
<whitequark> (vector_size and element_type in this case)
<artagnon> Okay, thanks.
<artagnon> Hm, it looks like I'll need multiple matchers.
<artagnon> Forking off one classifier won't cut it.
samrat has joined #ocaml
artagnon has left #ocaml [#ocaml]
ygrek has joined #ocaml
no0y` has quit [Remote host closed the connection]
no0y has joined #ocaml
samrat has quit [Ping timeout: 250 seconds]
samrat has joined #ocaml
boogie has joined #ocaml
ivan\ has quit [Ping timeout: 245 seconds]
mrvn has quit [Ping timeout: 245 seconds]
mrvn has joined #ocaml
Nahra` has joined #ocaml
so has quit [Ping timeout: 245 seconds]
rs0 has quit [Ping timeout: 240 seconds]
Nahra has quit [Ping timeout: 240 seconds]
ivan\ has joined #ocaml
so has joined #ocaml
rs0 has joined #ocaml
izaak_ has quit [Ping timeout: 260 seconds]
jao has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
philtor has quit [Ping timeout: 250 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
mcclurmc has joined #ocaml
claudiuc has quit [Remote host closed the connection]
pango has quit [Ping timeout: 240 seconds]
ggole has joined #ocaml
mcclurmc_ has joined #ocaml
jao has quit [Ping timeout: 250 seconds]
so has quit [*.net *.split]
ivan\ has quit [*.net *.split]
mcclurmc has quit [*.net *.split]
saltylicorice has quit [Quit: Leaving]
pango has joined #ocaml
Derander has quit [Excess Flood]
izaak has joined #ocaml
izaak has quit [Ping timeout: 255 seconds]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
englishm has quit [Ping timeout: 264 seconds]
Derander has joined #ocaml
philtor has joined #ocaml
axiles has joined #ocaml
mcclurmc_ has quit [Remote host closed the connection]
WraithM has quit [Ping timeout: 255 seconds]
philtor has quit [Ping timeout: 256 seconds]
bjorkintosh has quit [Ping timeout: 245 seconds]
WraithM has joined #ocaml
bjorkintosh has joined #ocaml
WraithM has quit [Ping timeout: 245 seconds]
bjorkintosh has quit [Ping timeout: 245 seconds]
ivan\ has joined #ocaml
ivan\ has quit [Max SendQ exceeded]
ivan\ has joined #ocaml
so has joined #ocaml
bjorkintosh has joined #ocaml
WraithM has joined #ocaml
bjorkintosh has quit [Ping timeout: 264 seconds]
samrat has joined #ocaml
mcclurmc has joined #ocaml
WraithM has quit [Ping timeout: 245 seconds]
WraithM has joined #ocaml
mcclurmc has quit [Ping timeout: 255 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
q[mrw] has joined #ocaml
siddharthv_away is now known as siddharthv
izaak has joined #ocaml
Simn has joined #ocaml
samrat has joined #ocaml
izaak has quit [Ping timeout: 245 seconds]
bjorkintosh has joined #ocaml
runciter has joined #ocaml
WraithM has quit [Ping timeout: 250 seconds]
julm has joined #ocaml
izaak has joined #ocaml
siddharthv is now known as siddharthv_away
ygrek has quit [Ping timeout: 250 seconds]
izaak has quit [Ping timeout: 260 seconds]
arj has joined #ocaml
arj1 has joined #ocaml
hhugo has joined #ocaml
arj has quit [Ping timeout: 245 seconds]
ivan\ has quit [Ping timeout: 245 seconds]
so has quit [Ping timeout: 245 seconds]
ivan\ has joined #ocaml
ivan\ has quit [Changing host]
ivan\ has joined #ocaml
so has joined #ocaml
fraggle_laptop has joined #ocaml
fraggle_laptop has quit [Client Quit]
fraggle_laptop has joined #ocaml
izaak has joined #ocaml
fx has quit [Quit: WeeChat 0.3.7]
parcs has quit [Read error: Connection reset by peer]
lordkryss has joined #ocaml
ygrek has joined #ocaml
izaak has quit [Ping timeout: 255 seconds]
_0xAX has joined #ocaml
ruzu has quit [Read error: Connection reset by peer]
ruzu has joined #ocaml
parcs has joined #ocaml
amiller has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
so has quit [Ping timeout: 245 seconds]
ivan\ has quit [Ping timeout: 245 seconds]
so has joined #ocaml
amiller has joined #ocaml
ivan\ has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
ivan\ has quit [Ping timeout: 245 seconds]
so has quit [Ping timeout: 245 seconds]
ivan\ has joined #ocaml
so has joined #ocaml
inr has quit [Ping timeout: 260 seconds]
runciter has quit [Quit: Lost terminal]
boogie has quit [Remote host closed the connection]
izaak has joined #ocaml
izaak has quit [Ping timeout: 264 seconds]
Gonzih has joined #ocaml
AltGr has joined #ocaml
dsheets has joined #ocaml
lostman_ has joined #ocaml
AltGr has left #ocaml [#ocaml]
zpe has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
inr has joined #ocaml
AltGr has joined #ocaml
Gonzih has quit [Ping timeout: 255 seconds]
mcclurmc has joined #ocaml
sagotch has joined #ocaml
maattdd has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
eikke__ has joined #ocaml
Gonzih has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
toolslive has joined #ocaml
izaak has joined #ocaml
izaak has quit [Ping timeout: 250 seconds]
WraithM has joined #ocaml
Gonzih has quit [Ping timeout: 240 seconds]
locallycompact has joined #ocaml
rand000 has joined #ocaml
jonludlam has joined #ocaml
jonludlam has quit [Client Quit]
<sagotch> how to use `module M = This.Module.Has.A.Very.Long.Name` in mli files?
Submarine_ has quit [Remote host closed the connection]
toolslive has quit [Remote host closed the connection]
Gonzih has joined #ocaml
locallycompact has quit [Remote host closed the connection]
testcocoon has quit [Quit: Coyote finally caught me]
locallycompact has joined #ocaml
<adrien> iirc you cannot
<def`> sagotch: its possible in 4.02
<adrien> (I wish someone would states you can)
<adrien> \o/
<def`> sagotch: the workaround in <=4.01 is module M : module type of struct include This.Module.Has.A.Very.Long.Name end
<sagotch> Thanks for the the workaround!
testcocoon has joined #ocaml
pminten has joined #ocaml
WraithM has quit [Ping timeout: 250 seconds]
izaak has joined #ocaml
j__ has joined #ocaml
<ygrek> def`, and in 4.02 the former would describe module alias?
<def`> ygrek: yes
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 256 seconds]
izaak has quit [*.net *.split]
ivan\ has quit [*.net *.split]
so has quit [*.net *.split]
ivan\ has joined #ocaml
ivan\ has quit [Max SendQ exceeded]
<sagotch> And is there a way to share a signature between function? like `val add : val sub : ....`
<sagotch> (long signature 10 binary operations using it...)
<def`> define a type alias abve ?
<def`> above*
<sagotch> *without having to implement a dummy type in ml file?
<def`> then no
ivan\ has joined #ocaml
<sagotch> ok
<def`> (isn't that the very purpose of an alias, to reference the same definition in different places?)
ivan\ has quit [Max SendQ exceeded]
ivan\ has joined #ocaml
so has joined #ocaml
jonludlam has joined #ocaml
locallycompact has quit [Ping timeout: 255 seconds]
ddosia has quit [Quit: Leaving.]
siddharthv_away is now known as siddharthv
lostman_ has quit [Quit: Connection closed for inactivity]
locallycompact has joined #ocaml
locallycompact has quit [Read error: No route to host]
agarwal1975 has quit [Quit: agarwal1975]
izaak has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
elfring has joined #ocaml
samrat has joined #ocaml
izaak has quit [Ping timeout: 250 seconds]
locallycompact has joined #ocaml
pminten has quit [Quit: Leaving]
Simn has quit [Ping timeout: 240 seconds]
amiller has quit [Read error: Connection reset by peer]
samrat has quit [Quit: Computer has gone to sleep.]
Simn has joined #ocaml
tane has joined #ocaml
amiller has joined #ocaml
Gonzih has quit [Quit: IRC is just multiplayer vim.]
Gonzih has joined #ocaml
agarwal1975 has joined #ocaml
<sagotch> Seems like type aliases do not really like polymorphic variants: http://pastebin.com/5kb5wAWw . The key here is to keep the "[<" part, how to do that?
_andre has joined #ocaml
mcclurmc has joined #ocaml
pango has quit [Ping timeout: 250 seconds]
siddharthv is now known as siddharthv_away
samrat has joined #ocaml
mcclurmc has quit [Ping timeout: 256 seconds]
ygrek has quit [Ping timeout: 250 seconds]
<hhugo> type 'a t = ([< `A | `B ] as 'a) other_t
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
<sagotch> hum... yes actually pretty simple, thank you
<ggole> If you don't need the < you can get away without the variable
izaak has joined #ocaml
<sagotch> I need that < ;-)
izaak has quit [Ping timeout: 256 seconds]
sepp2k has joined #ocaml
dsheets has quit [Quit: Leaving]
BitPuffin has joined #ocaml
dsheets has joined #ocaml
<j__> why can't i use let inside a method? im getting syntax error without a return value: http://pastebin.com/KQeznyX2
octachron has joined #ocaml
<sagotch> What are you trying to do
<sagotch> let x = 1 in `nothing` has no sens
Gonzih has quit [Ping timeout: 245 seconds]
<j__> i know, its a test file, i can't define anything in the real method too
<j__> same error
<j__> and if i add any return value such as () or 'x' it works fine... dunno if its a bug or anything
<j__> or is it somekind of `dead code elimination` so compiler removes the whole statement?
agarwal1975_ has joined #ocaml
<j__> oh yeah it seems to be... i added printf for x and it works now... strange
mcclurmc has joined #ocaml
<sagotch> where did you add it?
yacks has quit [Ping timeout: 255 seconds]
<j__> right after let x = 1 in instead of ()
leowzukw has joined #ocaml
samrat_ has joined #ocaml
<sagotch> let _ = let x = 1 is invalid, and is also what you are trying to do...
<sagotch> I do not see the problem, actually
samrat has quit [Ping timeout: 240 seconds]
agarwal1975 has quit [Ping timeout: 240 seconds]
agarwal1975_ is now known as agarwal1975
samrat_ is now known as samrat
<j__> im a n00b
pminten has joined #ocaml
<sagotch> ok, well it has to "return" something, even if it is unit.
so has quit [Ping timeout: 245 seconds]
ivan\ has quit [Ping timeout: 245 seconds]
ivan\ has joined #ocaml
ivan\ has quit [Changing host]
ivan\ has joined #ocaml
so has joined #ocaml
<j__> fine, i think i understand. thanks
mcclurmc has quit [Ping timeout: 256 seconds]
studybot has quit [Remote host closed the connection]
leowzukw has quit [Ping timeout: 260 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
studybot has joined #ocaml
octachron has quit [Ping timeout: 246 seconds]
englishm has joined #ocaml
darkf has quit [Quit: Leaving]
Gonzih has joined #ocaml
izaak has joined #ocaml
oriba has joined #ocaml
izaak has quit [Ping timeout: 256 seconds]
dsheets has quit [Quit: Leaving]
yacks has joined #ocaml
yacks has quit [Read error: Connection reset by peer]
englishm_ has joined #ocaml
yacks has joined #ocaml
dsheets has joined #ocaml
englishm has quit [Ping timeout: 264 seconds]
englishm_ has quit [Ping timeout: 240 seconds]
yacks has quit [Ping timeout: 264 seconds]
englishm has joined #ocaml
yacks has joined #ocaml
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
mcclurmc has joined #ocaml
samrat has joined #ocaml
samrat has quit [Client Quit]
yacks has quit [Ping timeout: 256 seconds]
samrat has joined #ocaml
samrat has quit [Client Quit]
yacks has joined #ocaml
<jerith> Is there a way to get oasis to run a custom command for a particular build section?
<jerith> I want to build and run the executable needed for generating the code that will be built by the next library.
yomimono has joined #ocaml
<Drup> there are various Pre and PostCommand hooks
tane has quit [Ping timeout: 240 seconds]
<jerith> Drup: Those apply to the whole package, though.
tane has joined #ocaml
<jerith> This needs to happen between building the code generator and building the generated code.
<jerith> Unless I'm missing something?
<Drup> then separate the generator and the generated in two packages
<Drup> or don't use oasis
<Drup> oasis is not very well suited for code generation in the middle of the build process
ivan\ has quit [Ping timeout: 245 seconds]
so has quit [Ping timeout: 245 seconds]
ivan\ has joined #ocaml
ivan\ has joined #ocaml
so has joined #ocaml
<jerith> I think the generator does belong in its own package.
<jerith> Thanks.
BitPuffin has quit [Ping timeout: 255 seconds]
<Drup> jerith: I think whitequark did something slightly similar for his C bindings
<Drup> but you will probably need some custom ocamlbuild rule, I think
<jerith> Drup: Do you have a link to that?
<jerith> I don't mind a custom ocamlbuild rule as long as it can live in my repo.
<whitequark> jerith: I kind of regret using oasis for lz4
penglingbo has joined #ocaml
penglingbo has quit [Client Quit]
ivan\ has quit [Ping timeout: 245 seconds]
so has quit [Ping timeout: 245 seconds]
ivan\ has joined #ocaml
<jerith> How does BuildTools work?
<whitequark> I am not sure it does
<whitequark> but in principle it should add a corresponding dependency
so has joined #ocaml
<jerith> You have "BuildTools: lz4_bindgen" -- does that call the lz4_bindgen executable?
<jerith> Or am I missing something else that does that?
samrat has joined #ocaml
<whitequark> no, it only adds a dependency between Library lz4 and Executable lz4_bindgen
<Drup> there is a custom rule in myocamlbuild to call the executable
<whitequark> ^
<jerith> Ah.
samrat has quit [Client Quit]
_0xAX has quit [Remote host closed the connection]
hhugo has quit [Quit: Leaving.]
jbrown has quit [Ping timeout: 255 seconds]
tac has joined #ocaml
BitPuffin has joined #ocaml
divyanshu has joined #ocaml
shinnya has joined #ocaml
divyanshu has quit [Client Quit]
<Drup> and people wonder why I taunt bunzli.
hhugo has joined #ocaml
pango has joined #ocaml
Gonzih has quit [Ping timeout: 256 seconds]
jbrown has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
pango has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
pango has joined #ocaml
so has quit [Ping timeout: 245 seconds]
ivan\ has quit [Ping timeout: 245 seconds]
ivan\ has joined #ocaml
ivan\ has joined #ocaml
so has joined #ocaml
travisbrady has joined #ocaml
Anarchos has joined #ocaml
arj1 has quit [Quit: Leaving.]
sagotch has quit [Remote host closed the connection]
Gonzih has joined #ocaml
jonludlam has quit [Ping timeout: 255 seconds]
jonludlam has joined #ocaml
jonludlam is now known as Guest29962
maattdd has joined #ocaml
pango has quit [Ping timeout: 240 seconds]
<oriba> I want to have a complete documentation of all labltk-functions. The Makefile in the labltk-dir does not offer a doc-target. How to make such a documentation easily?
<Drup> which build system does labltk use ?
maattdd has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
<oriba> It's part of the ocaml-distri
<Drup> oh yeah, it's separated for the 4.02 only
<oriba> the basic stuff is documented in the official documentation, but not all widgets.
<oriba> how to make that documentation (anf change the creation)?
<Drup> I don't know :x
Gonzih has quit [Ping timeout: 256 seconds]
<oriba> :(
zz_flazz is now known as flazz
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
dsheets has quit [Ping timeout: 264 seconds]
ocp has joined #ocaml
boogie has joined #ocaml
samrat has joined #ocaml
samrat has quit [Client Quit]
pminten has quit [Quit: Leaving]
<oriba> how to get the width / height of a widget?
<oriba> in labltk
yomimono has quit [Ping timeout: 240 seconds]
pango has joined #ocaml
philtor has joined #ocaml
englishm_ has joined #ocaml
englishm has quit [Ping timeout: 245 seconds]
travisbrady has quit [Quit: travisbrady]
zpe has quit [Remote host closed the connection]
slash^ has joined #ocaml
zpe has joined #ocaml
esden has quit [Ping timeout: 256 seconds]
octachron has joined #ocaml
maattdd has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
esden has joined #ocaml
maattdd has quit [Ping timeout: 264 seconds]
slash^ has left #ocaml [#ocaml]
philtor has quit [Ping timeout: 260 seconds]
slash^ has joined #ocaml
philtor has joined #ocaml
travisbrady has joined #ocaml
claudiuc has joined #ocaml
octachron has quit [Ping timeout: 246 seconds]
Guest29962 has quit [Ping timeout: 245 seconds]
jonludlam has joined #ocaml
jonludlam is now known as Guest28467
dsheets has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
boogie has quit [Quit: Leaving...]
<seliopou> anybody tried installing ocamlfind.1.5.1 using the 4.01 compiler? I'm getting errors involving the 'bytes' package
hhugo has quit [Quit: Leaving.]
troutwine_away is now known as troutwine
<oriba> it seems like some compile-time-checks have been weakened
<oriba> I did use Cli.opt.url_list and got a warning on non-visibility
<oriba> when changing to Cli.opt.Cli.url_list the warning goes away
<oriba> I remember in older OCaml-verions this would have been a compile time error
<oriba> Which options has been changed in this way, how can I say the compiler to throw an error instead of a warning here?
ollehar has joined #ocaml
<Drup> oriba: it's record disambiguation
<Drup> and consider how absurd Cli.opt.Cli.url_list look like if you find that a bad thing :p
<Drup> (but you can mark warning 40 as fatal if you don't like it)
jwatzman|work has joined #ocaml
<oriba> I could open the module of course. Nevertheless thats what it was in odler OCaml-versions. So the absurd looking thing is the old OCaml way
<Drup> yes
* oriba switched to 4.x just recently, used 3.11.something for too long
<Drup> (personnally, I tend to disable warning 40, because I like this behavior)
<jerith> Hrm. Apparently empty record types are illegal.
<oriba> how do I switch this behaviour
hhugo has joined #ocaml
<Drup> oriba: which way ?
<Drup> jerith: that's called unit :D
<oriba> Drup, either way ;-)
<Drup> oriba: -w @40 to make it fatal
<Drup> -w -40 to disable it
<oriba> ah, ok
<oriba> thanks
* jerith tries to decide whether to add an extra field to each record or special-case empty messages.
<Drup> (check that it's indeed 40, I tend to mess this numbers)
<jerith> I think the former, just because special cases can be problematic.
<Drup> jerith: I would to the empty special case
<Drup> do*
<oriba> ?? ocamlopt: unknown option `-w @40'.
tac has quit [Ping timeout: 255 seconds]
dsheets_ has joined #ocaml
dsheets has quit [Read error: Connection reset by peer]
badon has quit [Ping timeout: 256 seconds]
rand000 has quit [Ping timeout: 240 seconds]
<oriba> ah, now I have it working... used wrong variable in OCamlMakefile.
<oriba> hmhh... does not work
<oriba> maybe again wrong OCamlMakefile-variable
<oriba> but it is the warning 40, the compiler reports the number
<jerith> Drup: You were right. The special case ended up being easier and cleaner.
<jerith> My code generator is done! \o/
maattdd has joined #ocaml
<jerith> Although I'll probably need to tweak it later when I discover that I need different code.
<oriba> where to add warning-behaviour switches in OCamlMakefile?
troutwine is now known as troutwine_away
<jerith> Now I should write some tests for it.
<jerith> (Yes, tests are supposed to happen first. I didn't know enough OCaml to write useful tests when I started.)
maattdd has quit [Ping timeout: 255 seconds]
zpe has joined #ocaml
travisbrady has quit [Quit: travisbrady]
zpe has quit [Ping timeout: 255 seconds]
philtor has quit [Ping timeout: 250 seconds]
dsheets_ has quit [Ping timeout: 264 seconds]
philtor has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
travisbrady has joined #ocaml
<oriba> does it make sense to switch from OCamlMakefile o ocamlbuild? or is it similar in the features it provides?
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
leowzukw has joined #ocaml
leowzukw has quit [Client Quit]
Kakadu has quit [Quit: Page closed]
mcclurmc has quit [Ping timeout: 250 seconds]
Gonzih has joined #ocaml
hhugo has quit [Quit: Leaving.]
hhugo has joined #ocaml
rand000 has joined #ocaml
travisbrady has quit [Quit: travisbrady]
dsheets_ has joined #ocaml
travisbrady has joined #ocaml
ollehar has quit [Quit: ollehar]
tane has quit [Quit: Verlassend]
AltGr has left #ocaml [#ocaml]
_`_ has joined #ocaml
WraithM has joined #ocaml
q66 has joined #ocaml
maattdd has joined #ocaml
WraithM has quit [Ping timeout: 255 seconds]
maattdd has quit [Ping timeout: 240 seconds]
<flux> if OCamlMakefile works for you, go with it :)
<flux> if you want to fig..learn new things, switch to ocamlbuild!
oriba_ has joined #ocaml
hhugo has quit [Quit: Leaving.]
oriba has quit [Ping timeout: 260 seconds]
fraggle_ has quit [Remote host closed the connection]
Guest28467 has quit [Ping timeout: 244 seconds]
jonludlam has joined #ocaml
jonludlam is now known as Guest22692
Kakadu has joined #ocaml
locallycompact has quit [Ping timeout: 264 seconds]
fraggle_ has joined #ocaml
tac has joined #ocaml
_0xAX has joined #ocaml
andy___ has joined #ocaml
andy___ is now known as Guest13710
Guest13710 has quit [Client Quit]
andy_____ has joined #ocaml
<andy_____> anyone going through real world ocaml?
<andy_____> I have some noob questions
<bitbckt> it's best to simply ask.
<andy_____> ok, is there a way to print arbitrary expressions from a program, like utop does?
<def`> andy_____: no.
<andy_____> the book recommends utop, which shows you the value/type of every epression
<andy_____> isn't utop written in ocaml itself?
<def`> yes
<def`> but it uses the compiler, which is not available in programs
<andy_____> hmm ok
<andy_____> well i am stuck typing relatively large programs into utop so I can see all the types
<andy_____> then manually copy/paste into a text file to run
<ggole> Put the code in the source file first?
<seliopou> What's the best way to work around the removal of of_lazy from async_extra?
<seliopou> seems like duplicating that handles log levels is pretty much the only way to do it
<andy_____> yeah it's still a lot of copy/paste. does utop have a "source"? like to load an .ml file in? I tried #require "foo" where foo.ml is in the current dir
<Drup> andy_____: if it's just to see the types, I suggest you use merlin
<def`> andy_____: #use
<jeroud> Merlin is <3
<andy_____> ok thanks for the suggestion, that may work
<Drup> and iirc, it's #load to use some source file
<Drup> my bad, it's #use
<Drup> #load is for compiled stuff
demonimin has quit [Ping timeout: 256 seconds]
<andy_____> Drup: thanks, I got #use to work
<andy_____> that helps a lot
<def`> #mod_use if you want what you're loading to be in a submodule
<andy_____> ok yeah #use prints out all the types in the .ml file as it loads, which is just what I want
<andy_____> better than manually putting print statements in the source
<Drup> merlin would really be more appropriate for that, or just calling "ocamlc -i" on the file :p
WraithM has joined #ocaml
studybot has quit [Remote host closed the connection]
demonimin has joined #ocaml
demonimin has joined #ocaml
demonimin has quit [Changing host]
maattdd has joined #ocaml
studybot has joined #ocaml
jbrown has quit [Remote host closed the connection]
<vincom2> Drup: whoa, TIL about #mod_use
<vincom2> that's awesome
artagnon has joined #ocaml
<Drup> def`* ;)
artagnon has left #ocaml [#ocaml]
AwayNick is now known as reynir
maattdd has quit [Ping timeout: 260 seconds]
<Anarchos> andy_____ you should really consider "ocaml -i"
<jerith> "ocamlc -i", isn't it?
<Drup> yes
<jerith> "ocaml -i" gives me an error.
<andy_____> ok, I will try ocamlc -i at some point; the real world ocaml book uses wrappers so you never run ocamlc or ocamlbuild even
<andy_____> i have to add some more flags to get it to compile, which shouldn't be hard
<rks`> we can help with that if needs be
<vincom2> andy_____: you'll probably have to do something like "ocamlfind ocamlc -i -package core"
<andy_____> vincom2: yup, that worked, thanks.
<andy_____> (needs -thread too)
artagnon has joined #ocaml
<andy_____> that is pretty much the same output as #use
<def`> without the side effects
<andy_____> ah i see, yes
avsm has joined #ocaml
BitPuffin has quit [Ping timeout: 264 seconds]
<artagnon> How do I get a backtrace from my program, which terminates at an assertion failure at the LLVM bindings?
<bitbckt> OCAMLRUNPARAM=b
_0xAX has quit [Remote host closed the connection]
elfring has quit [Quit: Konversation terminated!]
<artagnon> bitbckt: That didn't quite help.
<artagnon> The assertion failure is inside the LLVM cpp files.
<bitbckt> ah, well ocaml isn't going to have that stack...
<bitbckt> I'd load in gdb and let the trap fire.
<bitbckt> or lldb, or whatever you use.
avsm has quit [Quit: Leaving.]
<artagnon> gdb or lldb it is then.
no0y has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
pango has quit [Ping timeout: 264 seconds]
<artagnon> bitbckt: Thanks, lldb works nicely for the task.
nifty has joined #ocaml
maattdd has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
maattdd has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
ollehar has quit [Client Quit]
flazz is now known as zz_flazz
zz_flazz is now known as flazz
triyo has joined #ocaml
<triyo> I'm new to ocaml and have a small difficulty installing a lib I need via OPAM. Lib name is humane-re. Error I get is: [ERROR] humane-re is not a valid versioned package name
<triyo> Package seems to be in the repo -> https://opam.ocaml.org/packages/humane-re/humane-re.0.0.1/
<Drup> triyo: your version of opam ?
<triyo> Drup: 1.1.0
<Drup> hum.
<triyo> I did a opam upgrade and update
<triyo> So a bit stuck.
<Drup> triyo: can you pastebin the result of your command (with -v) ?
<triyo> Drup: hmm, with -v… I get no new verbose output. Just one extra line that reads… 'opam install -v humane-re' failed.
_andre has quit [Quit: leaving]
<triyo> I just checked what repos I'm connected to…
<triyo> 0 [http] default http://opam.ocamlpro.com
<Drup> hum, that's wrong
<Drup> are you *sure* you are in 1.1.0 ?
<triyo> absolutely, well as far as I can tell
<triyo> is there a way to confirm
<triyo> ?
<Drup> opam --version :)
<triyo> 1.1.0 :)
<Drup> ok
<Drup> strange, opam should have updated that
<Drup> change the repository address to "opam.ocaml.org"
<triyo> Is there a specific way to change the repo
<triyo> ?
<Drup> opam repository set-url default "https://opam.ocaml.org"
<triyo> Thank Drup !
<Drup> well, does it work ? ^^'
<triyo> It's downloading the repo package list …
<triyo> zzz :)
<triyo> Let you know in the sec
<triyo> Drup: looks good
Gonzih has quit [Ping timeout: 255 seconds]
<triyo> I think I know why the problem occurred. I had the opam installed about a year ago. Then I ran an upgrade+update few min ago.
<triyo> Default Repo probably changed since
<jerith> Is there a style guide I should be following?
<Drup> yes, the default repo changed, but I'm surprised opam didn't correct it during upgrade
<triyo> Drup: yip, it unfortunately didn't
* triyo Learning OCaml and dig my emacs + ocaml + utop setup at the moment.
fraggle_laptop has quit [Ping timeout: 260 seconds]
<jerith> Python has PEP-8, which is pretty widely used and has tools to find violations.
<triyo> Are there any good numerical computing libraries in OCaml? Something like numpy and scipy for Python?
<triyo> Doesn't have to be as extensive.
hhugo has joined #ocaml
<Drup> jerith: related tool : ocp-indent
axiles has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
<Drup> (you can even drop a .ocp-indent at the root of your project, to customize the indention project-wide)
<Drup> triyo: there are various small libraries, but nothing big
<jerith> Drup: I use ocp-indent.
<jerith> I'm mostly looking for things like spacing and line lengths. I'm reading those guidelines now.
<triyo> Drup: cool, I see there are OCaml-bindings to BLAS and LAPACK.
hhugo has quit [Quit: Leaving.]
<triyo> and a whole bunch of other stuff...
<Drup> oh, yes, bindings :p
<triyo> Drup: FFI to Fortran libs, just pure awesomeness ;-)
avsm has joined #ocaml
hhugo has joined #ocaml
<dmbaturin> Why would you need a fortran FFI, if you can write fortran in any language? :)
flazz is now known as zz_flazz
Kakadu has joined #ocaml
<triyo> Perhaps, because of something like BLAS an LAPACK that have gazillian fortran operations :)
<dmbaturin> Well, just kidding. I actually wrote in F95 with MPI in the past.
zz_flazz is now known as flazz
maattdd has joined #ocaml
ggole has quit []
<triyo> Certainly has its place
maattdd has quit [Ping timeout: 240 seconds]
tobiasBora has joined #ocaml
sepp2k has quit [Quit: Konversation terminated!]
tane has joined #ocaml
fraggle_laptop has joined #ocaml
philtor has quit [Ping timeout: 245 seconds]
travisbrady has joined #ocaml
manizzle has joined #ocaml
topher has joined #ocaml
topher has left #ocaml [#ocaml]
BitPuffin has joined #ocaml
travisbrady has quit [Ping timeout: 250 seconds]
<triyo> /quit
triyo has left #ocaml [#ocaml]
travisbrady has joined #ocaml
zpe has joined #ocaml
Guest22692 is now known as jonludlam
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
fraggle_laptop has quit [Ping timeout: 255 seconds]
<bitbckt> artagnon: you're welcome.
hhugo has quit [Quit: Leaving.]
BitPuffin has quit [Ping timeout: 255 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
j__ has quit [Ping timeout: 240 seconds]
zpe has quit [Ping timeout: 256 seconds]
ocp has quit [Ping timeout: 250 seconds]
<oriba_> how do I change the text of a label in labltk, after the widget is packed?
<oriba_> ah, found it out
maattdd has joined #ocaml
BitPuffin has joined #ocaml
maattdd has quit [Ping timeout: 250 seconds]
malo has quit [Remote host closed the connection]
englishm_ has quit [Remote host closed the connection]
englishm has joined #ocaml
englishm has quit [Ping timeout: 264 seconds]
jonludlam has quit [Ping timeout: 255 seconds]
jonludlam has joined #ocaml
jonludlam is now known as Guest49395
dsheets_ has quit [Ping timeout: 260 seconds]
Guest49395 has quit [Ping timeout: 250 seconds]
avsm has quit [Quit: Leaving.]
Nahra` has quit [Ping timeout: 272 seconds]
badon has joined #ocaml
tane has quit [Quit: Verlassend]
philtor has joined #ocaml
zpe has joined #ocaml
manizzle has quit [Ping timeout: 245 seconds]
travisbrady has quit [Quit: travisbrady]
zpe has quit [Ping timeout: 255 seconds]
manizzle has joined #ocaml
manizzle has quit [Ping timeout: 255 seconds]
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 255 seconds]
avsm has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
manizzle has joined #ocaml
avsm has quit [Quit: Leaving.]
tobiasBora has quit [Quit: Konversation terminated!]
manizzle has quit [Ping timeout: 240 seconds]
Kakadu has quit [Quit: Konversation terminated!]
travisbrady has joined #ocaml
eikke__ has quit [Ping timeout: 255 seconds]
darkf has joined #ocaml
demonimin has quit [Remote host closed the connection]
demonimin has joined #ocaml
eikke__ has joined #ocaml
manizzle has joined #ocaml
fold has quit [Ping timeout: 240 seconds]
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
maattdd has joined #ocaml
travisbrady has quit [Quit: travisbrady]
maattdd has quit [Ping timeout: 250 seconds]
fold has joined #ocaml
eikke__ has quit [Ping timeout: 245 seconds]