<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
<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.]