gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
ulfdoz_ has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz_ is now known as ulfdoz
abdallah has joined #ocaml
<abdallah> How can I get something like the following to typecheck?
<abdallah> module type S = sig type a type b end
joewilliams is now known as joewilliams_away
<abdallah> module M : S with type b = a list = struct type a = int type b = a list end
<abdallah> It tells me that type a is unbound
<abdallah> I could do it with a functor, but it doesn't look so nice :
<abdallah> module M (A : sig type a end) : S with type b = A.a list = struct type a = A.a type b = a list end
<abdallah> (assuming that I do not want to disclose that type a = int)
<_habnabit> but you /do/ want to disclose that type b = a list ?
<abdallah> yes
<abdallah> But it should not be the case that b = a list for every module of sig S (so I cannot put it in S).
<_habnabit> hmm
joewilliams_away is now known as joewilliams
<_habnabit> I don't think you can make a compatible module type
<_habnabit> i.e. `type a type b` and `type a type b = a list` are too disparate
surikator has quit [Quit: Computer is sleeping. I'm probably not.]
<abdallah> I am not sure I get what you mean by "disparate"
<_habnabit> they're incompatible
<abdallah> The second is not an instance of the first ?
<abdallah> "type a type b = int list" is an instance of "type a type b", though...
<_habnabit> apparently not according to ocaml
<abdallah> ok...
<abdallah> Do you think it might be unsound to allow this kind of definitions, or it just wasn't practical to do so (or they didn't think) and they avoided it?
<_habnabit> well, I'm trying to figure out what you're actually expecting to happen here
<_habnabit> because the more I think about it, the less sense it makes
<abdallah> Ok, I have to go unfortunately, but next time I see you here, if you have time I'll explain you my use case.
abdallah has quit [Quit: Ex-Chat]
dnolen has quit [Quit: dnolen]
thelema has joined #ocaml
avsm has quit [Quit: Leaving.]
mmu_BG has quit [Ping timeout: 252 seconds]
joewilliams is now known as joewilliams_away
<hcarty> adrien: The odb quickstart guide is waiting for your contributions :-
<hcarty> adrien: :-) that is
<hcarty> adrien: odb is probably not appropriate for creating Linux distribution packages, but oasis is/will be/can be.
<hcarty> adrien: There is no lablgtk2 package for odb yet. This would be eased if lablgtk2 were to have native ocamlfind support when ./configure && make && make install'ing it
<hcarty> adrien: Or a switch to oasis as a build system
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
arubin has quit [Quit: arubin]
emmanuelux has quit [Ping timeout: 240 seconds]
jimmyrcom has quit [Ping timeout: 256 seconds]
dcolish has quit [Quit: Coyote finally caught me]
Sysop_fb has quit [Ping timeout: 258 seconds]
smango has quit [Ping timeout: 260 seconds]
smango has joined #ocaml
everyonemines has joined #ocaml
lpereira has joined #ocaml
joewilliams_away is now known as joewilliams
everyonemines has left #ocaml []
ztfw has joined #ocaml
ttamttam has joined #ocaml
joewilliams is now known as joewilliams_away
Cyanure has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
ttamttam has quit [Quit: Leaving.]
Associat0r has quit [Quit: Associat0r]
mmu_BG has joined #ocaml
edwin has joined #ocaml
EmmanuelOga has quit [Ping timeout: 252 seconds]
<adrien> hcarty: right; I realized odb wouldn't be fine for distrbution packages as I was writing my questions ;-)
<adrien> I think I'll start an "oasis" branch for lablgtk2
<adrien> it doesn't have to be working in a single commit
ygrek has quit [Ping timeout: 248 seconds]
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
oriba has joined #ocaml
ygrek has joined #ocaml
lpereira has quit [Quit: Leaving.]
sepp2k has joined #ocaml
mmu_BG has quit [Ping timeout: 260 seconds]
ikaros has joined #ocaml
Cyanure has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
surikator has joined #ocaml
ygrek has joined #ocaml
oriba_ has joined #ocaml
oriba has quit [Ping timeout: 258 seconds]
fschwidom has joined #ocaml
surikator has quit [Quit: Computer is sleeping. I'm probably not.]
Associat0r has quit [Quit: Associat0r]
ttamttam has joined #ocaml
rwmjones has quit [Ping timeout: 252 seconds]
surikator has joined #ocaml
avsm has joined #ocaml
rwmjones has joined #ocaml
jimmyrcom has joined #ocaml
surikator has quit [Quit: Computer is sleeping. I'm probably not.]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
oriba_ has quit [Quit: oriba_]
avsm1 has joined #ocaml
iris1 has quit [Read error: Connection reset by peer]
avsm has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
fschwidom has quit [Remote host closed the connection]
ttamttam has quit [Quit: Leaving.]
struktured has quit [Quit: Konversation terminated!]
struktured has joined #ocaml
<rgrinberg> how come (::) gives me an unbound value?
<taupin> constructor, not function
<rgrinberg> oh, so what is the cons function then?
<taupin> (but I am surprised it gives you an "unbound value" error)
<taupin> List.cons in Batteries
<rgrinberg> really? only in batteries?
<adrien> (fun x y -> x :: y)
mattam has quit [Ping timeout: 260 seconds]
<mbac> why is :: a constructor? you can implement it as a function? type 'a list = Cons 'a * 'a list | Nil ;; let cons a b = Cons (a, b) ;; let ( :: ) = cons ;;
emmanuelux has joined #ocaml
seanmcl has joined #ocaml
<adrien> iirc it doesn't follow the regular operator rules
<taupin> mbac: functions aren't allowed in match cases
<mbac> oh excellent point
<adrien> hah, right too =)
emmanuelux has quit [Ping timeout: 244 seconds]
arubin has joined #ocaml
ttamttam has joined #ocaml
joewilliams_away is now known as joewilliams
<adrien> gah
<adrien> my META file for lablgtk2 might have one issue
<adrien> (which had been mentionned but which I thought was windows-only, and not even that)
EmmanuelOga has joined #ocaml
<hcarty> ls
<hcarty> Sorry, wrong window
avsm has joined #ocaml
avsm1 has quit [Ping timeout: 240 seconds]
<adrien> is there a test to know if something has been built with -custom?
<hcarty> adrien: The first for bytes may tell you, if it's not a library.
<hcarty> s/for/few/
<adrien> I'm making sure caravel can be installed easily, and starting with slackware
<adrien> the current scripts are not very good
<adrien> ah, custom ends with "Caml1999X008"
<adrien> anyone feel like improving the "file" database?
<adrien> or maybe it only ends with that because my .ml file was empty
<adrien> nah, it seems like a good test
dnolen has joined #ocaml
iris1 has joined #ocaml
surikator has joined #ocaml
struktured has quit [Quit: Konversation terminated!]
struktured has joined #ocaml
struktured has quit [Remote host closed the connection]
struktured has joined #ocaml
struktured has quit [Client Quit]
<mehdid> gildor wrote http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/dh-ocaml.git;a=blob;f=ocaml-custom-detect/ocaml-custom-detect;h=13fe21dc470bbb8b8a57bca03359cdd26546efc9;hb=HEAD some time ago
<adrien> mehdid: thanks a lot
<mehdid> the important bit is the "X", that says that it is a custom thing
<mehdid> the 008, is a number that might be incremented in future releases
<adrien> right, thanks again and thanks to gildor
seanmcl has quit [Quit: seanmcl]
emmanuelux has joined #ocaml
seanmcl has joined #ocaml
ttamttam has quit [Quit: Leaving.]
sepp2k has quit [Ping timeout: 240 seconds]
surikator has quit [Quit: Computer is sleeping. I'm probably not.]
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
sepp2k has joined #ocaml
<rgrinberg> I just installed godi and it's giving me the error "Error: Command fails with code 1: /bin/sh"
<rgrinberg> any idea what could be causing the problem?
<adrien> when are you getting that error exactly?
<rgrinberg> run godi_console
<rgrinberg> and try to update the list of available packages
<adrien> are you getting it right away or only for something specific?
<rgrinberg> not quite sure what you mean. I run godi_console then I'm presented with 3 options update/select source packages/exit
<rgrinberg> I pick choice 1 and immediately get the error
<adrien> ok
<adrien> which system btw?
<rgrinberg> Linux
<rgrinberg> arch in particular if that matters
<adrien> rgrinberg: no idea: could you run this: strace -tt -f godi_console 2> log
<adrien> and pastebin the "log" file
avsm has quit [Quit: Leaving.]
Anarchos has joined #ocaml
<rgrinberg> adrien: http://pastebin.com/9Qr47N3n
<adrien> how did you configure godi?
<rgrinberg> the only thing i changed was the installation directory to my home folder
<rgrinberg> everything else was the default option
<adrien> is your PATH properly set?
<rgrinberg> no :O
<rgrinberg> I have a version of ocaml that's installed from my distro's package manager. Is it possible for it to co-exist with the godi version
<adrien> prepend the path to your local installation to PATH instead of appending it
<adrien> since it's searched in order, it's fine
<adrien> however, in that case, you have to hope that the binaries in your local installation is a superset of the binaries in your distro installation
<adrien> (otherwise it could fallback to the distro one)
<rgrinberg> thanks, it seems to be working now :D
<adrien> :-)
joewilliams is now known as joewilliams_away
_michi_ has joined #ocaml
seanmcl has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 258 seconds]
avsm has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 240 seconds]
edwin has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 248 seconds]
itewsh has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
rgrinberg has joined #ocaml
<NaCl> hey adrien
<NaCl> avsm1: any chance of the device class hitting lablgtk anytime soon?
<NaCl> bah
<NaCl> adrien: any chance of the device class hitting lablgtk anytime soon?
<adrien> I haven't spent time on that but I've just started holidays so definitely yes
<adrien> it's not a lot of work but I think I won't be able to do much tomorrow (family...) but monday should be fine
avsm has joined #ocaml
avsm1 has quit [Ping timeout: 240 seconds]
arubin has quit [Quit: arubin]
itewsh has quit [Quit: o/]
Amorphous has quit [Ping timeout: 248 seconds]
_michi_ has quit [Remote host closed the connection]
bobry has quit [Ping timeout: 276 seconds]
Amorphous has joined #ocaml
surikator has joined #ocaml
sepp2k has quit [Quit: Leaving.]
ztfw has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
arubin has joined #ocaml
surikator has quit [Quit: Scientific discovery is just maximal compression of strings. Nothing more, nothing less.]