ikaros has quit [Remote host closed the connection]
philtor has joined #ocaml
Julien_T has quit [Ping timeout: 240 seconds]
Julien_Tz has joined #ocaml
Pepe_ has quit [Quit: leaving]
Pepe_ has joined #ocaml
Pepe_ has quit [Client Quit]
Pepe_ has joined #ocaml
lopex has quit []
groovy2shoes has joined #ocaml
ccasin has quit [Quit: Leaving]
smerz has quit [Quit: Ex-Chat]
groovy2shoes has quit [Read error: Connection reset by peer]
groovy2shoes has joined #ocaml
kig has left #ocaml []
groovy2shoes has quit [Read error: Connection reset by peer]
groovy2shoes has joined #ocaml
groovy2shoes has quit [Changing host]
groovy2shoes has joined #ocaml
groovy2shoes has quit [Read error: Connection reset by peer]
groovy2shoes has joined #ocaml
philtor has quit [Ping timeout: 240 seconds]
arubin has quit [Ping timeout: 276 seconds]
eye-scuzzy has quit [Quit: leaving]
eye-scuzzy has joined #ocaml
arubin has joined #ocaml
arubin has quit [Quit: arubin]
bitbckt has quit [Ping timeout: 260 seconds]
groovy2shoes has quit [Quit: groovy2shoes]
myu2 has joined #ocaml
myu2 has quit [Remote host closed the connection]
Cyanure has joined #ocaml
edwin has joined #ocaml
kaustuv has joined #ocaml
ikaros has joined #ocaml
Snark has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
jonathandav__ is now known as jonathandav
Yoric has joined #ocaml
seafood has joined #ocaml
<adrien>
great: the lablgtk2 toplevel survives a kill -9
sepp2k has joined #ocaml
ftrvxmtrx has joined #ocaml
_andre has joined #ocaml
ikaros has quit [Remote host closed the connection]
seafood has quit [Quit: seafood]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
boscop has joined #ocaml
seafood has joined #ocaml
sepp2k has quit [Quit: Leaving.]
lopex has joined #ocaml
seafood has quit [Ping timeout: 276 seconds]
eye-scuzzy has quit [Quit: leaving]
eye-scuzzy has joined #ocaml
lopex has quit [Ping timeout: 245 seconds]
lopex has joined #ocaml
sepp2k has joined #ocaml
bzzbzz has joined #ocaml
rly has joined #ocaml
rly has quit [Client Quit]
lopex has quit [Ping timeout: 245 seconds]
lopex has joined #ocaml
avsm has joined #ocaml
lopex has quit [Ping timeout: 245 seconds]
myu2 has joined #ocaml
ftrvxmtrx has quit [Remote host closed the connection]
ftrvxmtrx has joined #ocaml
<edwin>
adrien: is it stuck in some non-interruptible call, like reading over NFS?
<edwin>
or accessing a module that oopsed?
<flux>
I recently thought the same same happened to my emacs
<flux>
..but it was a stuck sshfs-mount
<flux>
nevertheles, I had already signaled the process..
lopex has joined #ocaml
sepp2k has quit [Ping timeout: 240 seconds]
lopex has quit [Ping timeout: 245 seconds]
sepp2k has joined #ocaml
lamawithonel has joined #ocaml
agarwal1975 has joined #ocaml
<adrien>
edwin: no: it's ignoring signals, but I was running 'ledit lablgtk2' and I think that it was ledit which was receiving the signal (ah, right, it was: lablgtk2 is a shortcut to run the toplevel with other options but the string "lablgtk2" won't appear in the full command-line: only "lablgtk", and pkill won't signal it)
<adrien>
I killed the spawned process and it died
<edwin>
ah ok
<adrien>
not sure what ledit does
arubin has joined #ocaml
yezariaely has joined #ocaml
<thelema>
adrien: line edit? adds readline() capability to a program
yezariaely has left #ocaml []
<adrien>
thelema: I mean: why signaling ledit lead to lablgtk2 ignoring the signals (I guess ledit forwards another signal)
<thelema>
ledit might absorb those signals?
<adrien>
something like that, had no time to actually look at what was going and it was killing my term
<adrien>
(don't manage to emit a React signal or event while you're handling one)
ftrvxmtrx has quit [Quit: Leaving]
<edwin>
maybe ledit died
<edwin>
and then you had no way to communicate with lablgtk2
lopex has joined #ocaml
<adrien>
no, ledit was still alive
<adrien>
will try again at some point
avsm has quit [Quit: Leaving.]
philtor has joined #ocaml
ikaros has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
ztfw has joined #ocaml
smerz has joined #ocaml
fraggle_ has joined #ocaml
pdhborges has joined #ocaml
<pdhborges>
hi guys
<pdhborges>
sorry to bother again but I hae a problem with phantom types used across modules
<pdhborges>
In the socket module I have an 'a t type
<pdhborges>
and the types for 'a are also declared in that module
<pdhborges>
now in another module
<pdhborges>
I want to constraint an 'a Socket.t -> 'a Socket.t -> unit sunction
<pdhborges>
to, for example
<pdhborges>
O.O
<pdhborges>
never mind I figured it
<pdhborges>
:|
pdhborges has quit [Quit: Page closed]
<thelema>
:) that was easy
ymasory_ has joined #ocaml
Oejet has joined #ocaml
ulfdoz has joined #ocaml
<adrien>
has anyone ever played with qtcaml? what does the API look like? (yeah, a bit lazy to look it up)
Znudzon has joined #ocaml
SoftTimur has joined #ocaml
<SoftTimur>
hello all, a line "AtomMap.fold (fun x _ l -> (x, lookup x tenv)::l) tenv []" works, whereas "AtomMap.fold (fun x _ l -> l::(x, lookup x tenv)) tenv []" does not work, it says "Error: This expression has type 'a list but an expression was expected of type 'a", does anyone know why?
<adrien>
you can't append an element to a list
<adrien>
you can append a list (maybe with only one element) to a list but that's it, it's not a good idea anyway
<adrien>
I still haven't really used batteries: no occasion to
<thelema>
type ’a list = [] | :: of ’a * ’a list
<thelema>
adrien: I find it really convenient
<adrien>
can't use batteries for yypkg, can't use it for lablgtk and lablgtk(2)-react, maybe for caravel (but not right now) or flamel (you're left to guess what it is =) )
ygrek has joined #ocaml
ftrvxmtrx has joined #ocaml
myu2 has quit [Remote host closed the connection]
myu2 has joined #ocaml
yezariaely has joined #ocaml
hyperbor1ean has quit [Quit: leaving]
hyperboreean has joined #ocaml
<SoftTimur>
hello all, is there a function which takes a AtomSet.t and returns a List of all its elements?
<yezariaely>
hmm?
<yezariaely>
sorry, wrong window
Znudzon has quit [Ping timeout: 272 seconds]
_andre has quit [Quit: leaving]
myu2 has quit [Remote host closed the connection]
bitbckt has joined #ocaml
<yezariaely>
SoftTimur: Maybe you could use AtomSet.fold and create the list yourself with one small function?
op414 has quit [Quit: Lost terminal]
joewilliams_away is now known as joewilliams
<SoftTimur>
yezariaely: yes, I think "Atom.AtomSet.fold (fun a l-> a::l) the_set []" should work
<yezariaely>
exactly what I had in mind
<SoftTimur>
yezariaely: cheers
<yezariaely>
SoftTimur: you're welcome ;)
yezariaely has quit [Quit: Leaving.]
fraggle_ has quit [Ping timeout: 276 seconds]
Snark has quit [Quit: Ex-Chat]
myu2 has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
ymasory_ has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
ymasory_ has joined #ocaml
Oejet has quit [Ping timeout: 240 seconds]
myu2 has quit [Remote host closed the connection]
ulfdoz has quit [Read error: Operation timed out]
<SoftTimur>
hello all, I define 'f' as a function, b is type "B option ref" and "b := Some {...}". May I write something like that "let a = match !b with | Some a -> a | None -> assert false in f(a)"?
<SoftTimur>
my real goal is to get the value from b, and apply f on that value...
Oejet has joined #ocaml
<SoftTimur>
another question is... I have defined two values: v1, v2. May I write "let (a1, a2) = (v1, v2) in ..." to say "let a1 = v1 in let a2 = v2 in ..."?
Yoric has quit [Quit: Yoric]
<adrien>
yes and yes
<SoftTimur>
adrien: cool, thank you
<adrien>
and you don't need parens for 'f(a)' and you might want to think about a better error handling than 'assert false' ;-)
<SoftTimur>
I see... 'f(a)' means 'f a'...
<adrien>
also, for your second questions, they're a bit different behind the scenes
<SoftTimur>
adrien: which one is better?
<adrien>
'let a1 = v1 in let a2 = v2 in ...' is a bit lighter for the gc but that won't matter unless you're in tight loops
ztfw has quit [Remote host closed the connection]
<SoftTimur>
ok...
Oejet has quit [Read error: Connection reset by peer]
Oejet has joined #ocaml
arubin has left #ocaml []
Oejet has left #ocaml []
edwin has quit [Remote host closed the connection]
ymasory_ has quit [Read error: Connection reset by peer]
smerz has quit [Quit: Ex-Chat]
enthymeme has joined #ocaml
Morphous has quit [Ping timeout: 272 seconds]
myu2 has joined #ocaml
<SoftTimur>
hello all, I have defined a type 'T' with several constructors: T1, T2, T3... I am sure that at a position of the code, v : T has been constructed with T1. so I use "let T1 x = v in ...", but the compiler gives me a warning "this patter-matching is not exhaustive. Here is an exmaple of a value that is not matched;: ..." does anyone know how I could get rid of/remove this warning?
Morphous has joined #ocaml
sepp2k has quit [Quit: Leaving.]
myu2 has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 240 seconds]
SoftTimur has quit [Remote host closed the connection]
<agarwal1975>
SoftTimur: the compiler is not smart enough to figure out what you know. You can do let x = match v with T1 x -> x | _ -> failwith ""
coucou747 has joined #ocaml
fraggle_ has joined #ocaml
eelte has quit [Ping timeout: 260 seconds]
fraggle_ has quit [Ping timeout: 246 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
joewilliams is now known as joewilliams_away
fraggle_ has joined #ocaml
Cyanure has quit [Remote host closed the connection]