adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.02.3 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
ryanartecona has joined #ocaml
ryanartecona has quit [Ping timeout: 250 seconds]
yawnt has joined #ocaml
yawnt has quit [Ping timeout: 240 seconds]
ryanartecona has joined #ocaml
cg has joined #ocaml
hcarty has joined #ocaml
jeffmo has quit [Ping timeout: 245 seconds]
mort___ has joined #ocaml
<cg> could anyone direct towards some resources for using menhir w/ oasis?
hcarty has quit [Ping timeout: 250 seconds]
<cg> specifically I've run `opam install menhir`, and declared "BuildDepends: Menhir" in _oasis, but I'm getting this error message: "ocamlfind: Package `Menhir' not found"
<cg> ah, it's MenhirLib, not Menhir
mort___ has quit [Quit: Leaving.]
kakadu has quit [Remote host closed the connection]
lokien_ has quit [Quit: Connection closed for inactivity]
damason has quit [Ping timeout: 250 seconds]
damason has joined #ocaml
cg has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ryanartecona has quit [Quit: ryanartecona]
cg has joined #ocaml
cg has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
cg has joined #ocaml
cg has quit [Client Quit]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
jimt_ is now known as jimt
govg has quit [Ping timeout: 264 seconds]
govg has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
teknozulu has quit [Ping timeout: 250 seconds]
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
govg has quit [Ping timeout: 245 seconds]
govg has joined #ocaml
cg has joined #ocaml
cg has quit [Client Quit]
pyon has quit [Quit: usa usa pyon pyon]
Guest14 has joined #ocaml
mac10688 has quit [Ping timeout: 260 seconds]
virtualeyes has quit [Ping timeout: 272 seconds]
raphaelss has joined #ocaml
struk|desk|away is now known as struk|desk2
Guest14 has quit [Quit: Textual IRC Client: www.textualapp.com]
cg has joined #ocaml
cg has quit [Client Quit]
cg has joined #ocaml
cg has quit [Client Quit]
struk|desk2 is now known as struk|desk|away
copy` has quit [Quit: Connection closed for inactivity]
cg has joined #ocaml
cg has quit [Client Quit]
<pierpa> 'compare' functions are expected to return -1, 0, 1, OR negative, 0, positive?
ygrek_ has joined #ocaml
f[x] has quit [Ping timeout: 240 seconds]
psy has quit [Read error: No route to host]
<def`> negative, 0, positive
ygrek_ has quit [Ping timeout: 240 seconds]
<pierpa> ok. Thank you!
hunteriam has joined #ocaml
neferty has quit [Read error: Connection reset by peer]
lokien_ has joined #ocaml
antkong_ has quit [Quit: antkong_]
pierpa has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
lostman_ has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
ggole has joined #ocaml
struk|desk|away is now known as struk|desk2
JacobEdelman has quit [Quit: Connection closed for inactivity]
Algebr` has joined #ocaml
kansi has joined #ocaml
darkf has joined #ocaml
ggole has quit [Ping timeout: 264 seconds]
ggole has joined #ocaml
<Algebr`> How can I control the logging level with add_rule? right now just using add_rule "*" but not sure what else could be used as input string, not sure why its not a variant.
MercurialAlchemi has joined #ocaml
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
<aantron> you can add strings of the form "section -> level"
<aantron> well i guess thats the environment variable. its been a while
<aantron> add_rule does take the log level as a variant..
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
ygrek_ has joined #ocaml
Simn has joined #ocaml
lokien_ has quit [Quit: Connection closed for inactivity]
raphaelss has quit [Ping timeout: 256 seconds]
<Algebr`> I mean what is the meaning of the string value for add_rule
<nullcatxxx_> "Section levels are initialised using the contents of the LWT_LOG environment variable, which must contain one or more rules of the form pattern -> level separated by ";". Where pattern is a string that may contain *."
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 265 seconds]
<Algebr`> so what is an example other than the one I'm using of just "*"
govg has quit [Ping timeout: 250 seconds]
darkf_ has quit [Ping timeout: 240 seconds]
darkf has joined #ocaml
struk|desk2 is now known as struk|desk|away
darkf has quit [Ping timeout: 260 seconds]
antkong has joined #ocaml
<Algebr`> does opam support svn?
<Algebr`> ah, still not apparently still no appare
kushal has quit [Ping timeout: 256 seconds]
darkf has joined #ocaml
ggole_ has joined #ocaml
ggole has quit [Read error: Connection reset by peer]
ggole__ has joined #ocaml
hunteriam has quit [Quit: Connection closed for inactivity]
ggole_ has quit [Ping timeout: 240 seconds]
antkong has quit [Quit: antkong]
Sorella has quit [Quit: Connection closed for inactivity]
darkf_ has joined #ocaml
ggole_ has joined #ocaml
jeffmo has joined #ocaml
darkf has quit [Ping timeout: 250 seconds]
yawnt has joined #ocaml
ggole__ has quit [Ping timeout: 250 seconds]
govg has joined #ocaml
kushal has joined #ocaml
orbitz has quit [Quit: leaving]
orbitz has joined #ocaml
darkf_ is now known as darkf
ggole__ has joined #ocaml
ggole_ has quit [Ping timeout: 240 seconds]
ggole_ has joined #ocaml
ggole__ has quit [Ping timeout: 256 seconds]
ggole has joined #ocaml
zpe has joined #ocaml
ggole_ has quit [Ping timeout: 276 seconds]
Haudegen has quit [Ping timeout: 250 seconds]
ggole_ has joined #ocaml
jeffmo has quit [Quit: jeffmo]
ggole has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
ggole__ has joined #ocaml
ggole_ has quit [Ping timeout: 250 seconds]
raphaelss has joined #ocaml
skeuomorf has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
Algebr` has quit [Ping timeout: 250 seconds]
larhat1 has quit [Quit: Leaving.]
Algebr` has joined #ocaml
copy` has joined #ocaml
_andre has joined #ocaml
jwatzman|work has joined #ocaml
_andre has quit [Client Quit]
_andre has joined #ocaml
octachron has joined #ocaml
Algebr` has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
kansi has quit [Remote host closed the connection]
kansi has joined #ocaml
kakadu has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
raphaelss has quit [Ping timeout: 240 seconds]
ggole_ has joined #ocaml
ggole has joined #ocaml
ggole__ has quit [Ping timeout: 260 seconds]
ggole_ has quit [Ping timeout: 264 seconds]
Algebr` has joined #ocaml
virtualeyes has joined #ocaml
silver has joined #ocaml
virtualeyes is now known as nullremains
Algebr` has quit [Ping timeout: 260 seconds]
dave23 has joined #ocaml
hay207 has joined #ocaml
sillyotter has joined #ocaml
tane has joined #ocaml
antkong has joined #ocaml
jwatzman2 has joined #ocaml
hay207_ has joined #ocaml
hay207 has quit [Ping timeout: 240 seconds]
jwatzman|work has quit [Ping timeout: 250 seconds]
sillyotter has quit [Quit: leaving]
jwatzman|work has joined #ocaml
<Drup> nullcatxxx_: wooo
jwatzman2 has quit [Ping timeout: 240 seconds]
Jane-PC has joined #ocaml
Jane-PC has joined #ocaml
Algebr` has joined #ocaml
antkong has quit [Quit: antkong]
FreeBird_ has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Jane-PC has quit [Ping timeout: 260 seconds]
Haudegen has quit [Ping timeout: 264 seconds]
Sorella has joined #ocaml
rand has joined #ocaml
rand is now known as Guest52045
yawnt has quit [Ping timeout: 272 seconds]
skeuomorf has quit [Quit: WeeChat 1.3]
foolishmonkey has joined #ocaml
Algebr` has quit [Ping timeout: 264 seconds]
silver has quit [Quit: rakede]
Haudegen has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 265 seconds]
Guest52045 has quit [Ping timeout: 245 seconds]
silver has joined #ocaml
hcarty has joined #ocaml
rand_ has joined #ocaml
zpe has quit [Read error: No route to host]
ontologiae has joined #ocaml
zpe has joined #ocaml
BitPuffin has joined #ocaml
yawnt has joined #ocaml
danieli has quit [Quit: ZNC - http://znc.in]
danieli has joined #ocaml
BitPuffin has quit [Ping timeout: 256 seconds]
danieli has quit [Client Quit]
danieli has joined #ocaml
danieli has joined #ocaml
danieli has quit [Changing host]
Algebr` has joined #ocaml
BitPuffin has joined #ocaml
FreeBirdLjj has joined #ocaml
<tobiasBora> Hello !
<tobiasBora> How could I define a partiel object type
<tobiasBora> ?
<tobiasBora> In order to say "I want my object have at least this method" ?
<tobiasBora> Here is an example : http://pastebin.com/Ci3Kpwjj
<companion_cube> type 'a foo = < x: bar; ..> as 'a
<companion_cube> or you could use a class
<tobiasBora> The "Question 2" works only if fibo contains only one argument
<tobiasBora> And "Question 3" shows how I can break it if fibo has more than one method
<tobiasBora> (/s/argument/method)
<tobiasBora> companion_cube: I'm trying !
Haudegen has quit [Remote host closed the connection]
<tobiasBora> companion_cube: I tried something like :
<tobiasBora> module type T = sig
<tobiasBora> val c : <compute : int -> int, ..>
<tobiasBora> end
<tobiasBora> And I got this error :
<tobiasBora> Error: This 'sig' might be unmatched
dave23 has quit [Ping timeout: 256 seconds]
<companion_cube> it's a ; not a ,
<tobiasBora> How indeed thank you
<tobiasBora> companion_cube: But now I cannot do :
<tobiasBora> inherit M.c as poisson_rouge
<tobiasBora> Because it doesn't see that c is a class
<companion_cube> expose a class then
<tobiasBora> companion_cube: The problem is that I don't know how to write a partial class
<ggole> What do you mean, partial?
<mspo> you mean like an interface?
<tobiasBora> ggole: I mean something like :
<mspo> (in java)
<tobiasBora> class c : object
<tobiasBora> method compute : int -> int
<tobiasBora> <...>
<tobiasBora> end
<ggole> A class type?
<tobiasBora> To say "I want this class has at least compute"
<companion_cube> well isn't it just a class with compute?
<tobiasBora> ggole: Maybe...
<ggole> class type foo = object val compute : int -> int end
<tobiasBora> companion_cube: The problem is that when the class I send to my functor has more functions that just compute, it just says "Sorry, You give me too many methods, I just want compute"
<ggole> You might need to cast, since there is no implicit subtyping
<companion_cube> ^
<tobiasBora> ggole: I first though that your solution would work, but in fact it doesnt. I'll try cast now !
manizzle has quit [Ping timeout: 260 seconds]
<def`> tobiasBora: could you tell what you are tryoing to achieve?
tane has quit [Quit: Verlassend]
<def`> the high-level view, so that we have some freedom to find an encoding
Algebr` has quit [Ping timeout: 240 seconds]
lokien_ has joined #ocaml
<tobiasBora> def`: I have (like you can find it in the pastebin http://pastebin.com/1kt2R3Aq) several objects, that all contains a method compute. However, since this function may be stupid, and doesn't provide mnemoisation, (see the example with fibonacci above) I want to create a functor that modify the compute method, and change it into a clever method that provide mnemoisation (see Question 2, where it works)
<tobiasBora> However my problem is that when an object doesn't have only one method (with name compute), but several (for example, see fibo_sushis), I have a runtime error saying :
<tobiasBora> Class declarations do not match: class c : fibo_sushis does not match class c : object method compute : int -> int end
<tobiasBora> The public method say cannot be hidden
<tobiasBora> ggole: I tried the cast, but I doesn't see what I should cast, since here, it's not an object that I want to cast, but it's a class...
manizzle has joined #ocaml
manizzle has quit [Max SendQ exceeded]
manizzle has joined #ocaml
<def`> tobiasBora: if you want the same object to compute and memoize you have to inherit
<def`> either memoization in base class and compute in child
<def`> or something more complete with (virtual) multiple inheritance
<def`> complexe* if you want to keep each feature separate
<tobiasBora> def`: Hum I see... I will try to implement it with only class/objects, but is it possible to do it with functor, as I tried to do before ?
orbifx has joined #ocaml
vladb has quit [Quit: Leaving]
jeffmo has joined #ocaml
<aantron> Algebr: you use multiple log sections (categories) like "sql", "sql.write", "sql.read", "request", etc. then you use add_rule to, e.g., set "sql*" to level debug, or "request" to level warning
<def`> tobiasBora: I am afraid not. with functor you can do a second object which could serve as a "memoizer" for the previous one
<def`> the problem is that you can't freely extend classes
<sspi> Drup: I've been looking into set_cookie, however it only seems to support Parsetree.expression as a value - I wonder why that is?
Haudegen has joined #ocaml
<sspi> mostly because I'm working with Parsetree.structure
Haudegen has quit [Ping timeout: 250 seconds]
<Drup> hum, actually, maybe the context is already unpacked for you, I don't remember
<Drup> according to the doc, it is
<Drup> So maybe you just have to look there and load the thing needed for the typechecker
<sspi> Drup: thanks I'll check that out :)
JacobEdelman has joined #ocaml
slash^ has joined #ocaml
Haudegen has joined #ocaml
boegel has quit [Remote host closed the connection]
Algebr` has joined #ocaml
struk|desk|away is now known as struk|desk2
Mercuria1Alchemi has quit [Ping timeout: 250 seconds]
kakadu has quit [Quit: Page closed]
sepp2k has quit [Quit: Leaving.]
boegel has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
sepp2k has joined #ocaml
pierpa has joined #ocaml
p1xz1e has joined #ocaml
jeffmo has quit [Quit: jeffmo]
Algebr` has quit [Ping timeout: 240 seconds]
struk|desk2 is now known as struk|desk|away
adrien has quit [Ping timeout: 240 seconds]
rand_ has quit [Ping timeout: 240 seconds]
tane has joined #ocaml
hnagamin has joined #ocaml
larhat1 has joined #ocaml
beginner_ has quit [Quit: Page closed]
Guest14 has joined #ocaml
p1xz1e is now known as cmpxchg
sepp2k has quit [Ping timeout: 245 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
sepp2k has joined #ocaml
larhat1 has quit [Quit: Leaving.]
ryanartecona has joined #ocaml
orbifx has quit [Quit: AtomicIRC: The nuclear option.]
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
Algebr` has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
zpe has quit [Remote host closed the connection]
octachron has quit [Quit: Leaving]
_andre has quit [Quit: leaving]
govg has quit [Ping timeout: 250 seconds]
groovy2shoes has quit [Remote host closed the connection]
<companion_cube> https://github.com/UnixJunkie/daft looks quite cool
groovy2shoes has joined #ocaml
MercurialAlchemi has joined #ocaml
Denommus has joined #ocaml
govg has joined #ocaml
Algebr` has quit [Ping timeout: 245 seconds]
ontologiae has quit [Ping timeout: 265 seconds]
<hcarty> companion_cube: Agreed, that does look quite nice. A very light alternative to NFS/Riak/etc
<companion_cube> especially when you don't want/can't do system administration, yeah
adrien has joined #ocaml
hnagamin has quit [Ping timeout: 240 seconds]
lobo has joined #ocaml
psy_ has quit [Ping timeout: 256 seconds]
pyon has joined #ocaml
lokien has joined #ocaml
<lokien> yawnt: hello
<nullcatxxx_> Drup : did you wooo me when i was asleep?
Algebr` has joined #ocaml
<nullcatxxx_> yes it's merged. nice
sepp2k has quit [Quit: Leaving.]
<Drup> nullcatxxx_: woo https://github.com/ocaml/ocaml/pull/234 :D
octachron has joined #ocaml
<nullcatxxx_> yeah...
<nullcatxxx_> Fabrice gives in...
<octachron> nullcatxxx_, nice to see your PR merged. One more PR and I might be able to send my ppx_listlike extensions to retirement.
<nullcatxxx_> nice
<Drup> octachron: Do you want me to try a simpler version of the custom operator PR ? :D
<Drup> operator constructors*
ryanartecona has joined #ocaml
kakadu has joined #ocaml
<hcarty> octachron: Which PR is required, out of curiosity?
<octachron> hcarty, the local open in pattern one
<octachron> Drup, I would wait a bit longer before trying again :D
kushal has quit [Ping timeout: 260 seconds]
<octachron> hcarty, I like to have exotic list types from time to time, but having them appears unqualified by a module is a little too nasty; even for my taste
govg has quit [Ping timeout: 264 seconds]
<hcarty> On the plus side, it sounds like 4.04 will come relatively quickly after 4.03
kushal has joined #ocaml
<octachron> I agree that having more regular and shorter release cycle would be nice.
Haudegen has quit [Ping timeout: 240 seconds]
<octachron> But implementing such plan is not necessarily easy
kushal has quit [Read error: Connection reset by peer]
kushal has joined #ocaml
<octachron> nullcatxxx_, by the way, there was no change in the manual on your PR, have you checked that the manual description is fine?
govg has joined #ocaml
Algebr` has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
<nullcatxxx_> ....
<nullcatxxx_> i don't know which part I should change
<octachron> since, it is a small update, I would say the language reference part rather than the exception part
<octachron> exception → extension
<octachron> so maybe the "constr-decl" gramar rule in manual/manual/typedecl.etex if you want to have a look
<octachron> another option would be to mention that the documentation need to be updated on http://caml.inria.fr/mantis/view.php?id=7092
Haudegen has joined #ocaml
<nullcatxxx_> thanks!
seangrove has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
<seangrove> Hey all, what's the syntax for a type declartion with a list of values
<seangrove> e.g. type person = { fav_colors: List string; }
<octachron> nullcatxxx_, I have to go but if you have any question on updating the manual, don't hesitate to ask me later
<nullcatxxx_> sure
<nullcatxxx_> thanks!
<hcarty> seangrove: type person = { fav_colors : string list }
<seangrove> hcarty: Perfect, thank you!
lokien_ has quit [Quit: Connection closed for inactivity]
lokien has quit [Quit: Leaving]
AlexRussia has quit [Remote host closed the connection]
AlexRussia has joined #ocaml
ygrek_ has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
seangrove has quit [Ping timeout: 264 seconds]
ryanartecona has joined #ocaml
lokien has joined #ocaml
BitPuffin has quit [Ping timeout: 250 seconds]
octachron has quit [Ping timeout: 240 seconds]
Stalkr_ has joined #ocaml
Guest38 has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
sh0t has joined #ocaml
xiaolin has quit [Ping timeout: 240 seconds]
xiaolin has joined #ocaml
yawnt has quit [Ping timeout: 240 seconds]
kansi has quit [Ping timeout: 256 seconds]
xificurC has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
ely-se has joined #ocaml
ggole has quit []
xaimus has quit [Ping timeout: 260 seconds]
xaimus has joined #ocaml
darkf has quit [Quit: Leaving]
teknozulu has joined #ocaml
lokien_ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
octachron has joined #ocaml
sh0t has quit [Remote host closed the connection]
Haudegen has joined #ocaml
ldopa has joined #ocaml
Guest38 has quit [Read error: Connection reset by peer]
slash^ has quit [Read error: Connection reset by peer]
lokien has quit [Quit: Leaving]
ldopa has left #ocaml [#ocaml]
Stalkr_ has quit [Quit: Leaving...]
ryanartecona has joined #ocaml
larhat1 has joined #ocaml
badon_ has joined #ocaml
badon has quit [Disconnected by services]
octachron has quit [Quit: Leaving]
badon_ is now known as badon
tane has quit [Quit: Verlassend]
mac10688 has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
ryanartecona has quit [Quit: ryanartecona]
Simn has quit [Quit: Leaving]
Guest38 has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
sh0t has joined #ocaml
pyon has quit [Quit: Loops are hard. Let's GOTO shopping!]
hcarty has quit [Quit: WeeChat 1.4]
ryanartecona has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
ollehar has joined #ocaml
ryanartecona has quit [Ping timeout: 245 seconds]
fraggle_ has quit [Ping timeout: 240 seconds]
ryanartecona has joined #ocaml
silver has quit [Quit: rakede]
jgjl has joined #ocaml
ddg has joined #ocaml
ddg has left #ocaml [#ocaml]
foolishmonkey has quit [Read error: Connection reset by peer]
foolishmonkey has joined #ocaml
ely-se has quit [Quit: Leaving...]
fraggle_ has joined #ocaml
xificurC has quit [Quit: WeeChat 1.3]
sh0t has quit [Ping timeout: 260 seconds]
jgjl has quit [Quit: Textual IRC Client: www.textualapp.com]
fraggle_ has quit [Ping timeout: 240 seconds]
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 240 seconds]
zaquest has quit [Ping timeout: 240 seconds]