tty56 has quit [Read error: 60 (Operation timed out)]
seafoodX has joined #ocaml
thesoko has quit [Remote closed the connection]
thesoko has joined #ocaml
david_koontz has quit ["Leaving"]
buluca is now known as _8uLucK4_
_8uLucK4_ is now known as buluca
seafoodX has quit [Read error: 104 (Connection reset by peer)]
seafoodX has joined #ocaml
thesoko has quit [Remote closed the connection]
pants1 has quit ["Leaving."]
thesoko has joined #ocaml
clog has joined #ocaml
Smerdyakov has quit ["Leaving"]
<flux>
the answer is yes
<flux>
simply tried out with: let f a = a || f a
<pango>
translation of if f then g else false is f && g
kelaouchi has quit ["leaving"]
thesoko has quit [Remote closed the connection]
thesoko has joined #ocaml
thesoko has quit [Remote closed the connection]
fmardini has joined #ocaml
fmardini has quit [Client Quit]
smimou has joined #ocaml
pantsd has quit [Read error: 110 (Connection timed out)]
leo037 has joined #ocaml
seafoodX has quit []
pantsd has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
thesoko has joined #ocaml
seafoodX has joined #ocaml
kelaouchi has joined #ocaml
kelaouchi has quit [Remote closed the connection]
jjido has joined #ocaml
<jjido>
Hello! I am looking for algorithm
<haelix>
@research-remote.nicta.com.au] has quit []
<haelix>
09:47 -!- pantsd [n=hkarau@rn-mcke1b15.uwaterloo.ca] has joined #ocaml
<haelix>
09:53 -!- pango [i=iiiipang@gateway/tor/x-4af9e9eb1f863d2c] has quit [Remote
* haelix
is sorry
<jjido>
I want to look for a set of, say up to 5 vertices, in a complete graph with weighed edges, which have the lowest weight
kelaouchi has joined #ocaml
buluca has quit [Read error: 104 (Connection reset by peer)]
Mr_Awesome has quit ["time to impregnate a moth"]
smimou has quit ["bli"]
buluca has joined #ocaml
seafoodX has quit []
seafoodX has joined #ocaml
jjido has quit [Read error: 110 (Connection timed out)]
seafoodX has quit []
pedro has quit [Read error: 110 (Connection timed out)]
pedro has joined #ocaml
_blackdog has joined #ocaml
_blackdog has left #ocaml []
piggybox_ has quit [Read error: 110 (Connection timed out)]
seafoodX has joined #ocaml
pion has joined #ocaml
piggybox has joined #ocaml
seafoodX has quit []
seafoodX has joined #ocaml
smimou has joined #ocaml
slipstream-- has joined #ocaml
seafoodX has quit []
slipstream has quit [Read error: 110 (Connection timed out)]
thesoko has quit [Read error: 104 (Connection reset by peer)]
thesoko has joined #ocaml
smimram has joined #ocaml
smimram has quit [Client Quit]
smimram has joined #ocaml
Demitar has quit [Connection timed out]
smimou has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
pango has joined #ocaml
leo037 has quit ["Leaving"]
Smerdyakov has joined #ocaml
tty56 has joined #ocaml
flux has quit [Read error: 54 (Connection reset by peer)]
mwc has joined #ocaml
<mwc>
I was having a warning X: this statement never returns or has an unsounds type
<mwc>
I'm trying to understand what the cause of this was.
<mwc>
I had a case at the end of a pattern match that went | _ -> failwith "foo."
<mwc>
so I replaced it with | _ -> begin failwith "foo."; () end
<mwc>
and that took care of the warning
<Smerdyakov>
Weird. Without more context, I don't see why that deserved a warning.
<mwc>
I don't understand why that was necessary, the previous cases' values all had () type, and so it seems that failwith should have taken the monotype string -> unit
<mwc>
Hmm, this may have had something to do with it
<mwc>
the previous case had the form:
<mwc>
| Some foo, Some bar -> begin if foo <> ... then failwith "..."; if bar <> ... then failwith "..." end
<mwc>
so only the first case had unit type
* mwc
goes to replace that with pattern guards
<Smerdyakov>
The OCaml team recently got a bit overzealous with choosing warnings enabled by default, IMO.
<mwc>
Well, I compile with -w A ;)
<mwc>
anyhoo, I replaced that ugly case with a pair of pattern guarded ones, | Some foo,Some _ when foo <> ... -> failwith "..." | Some _,Some bar when bar <> ... -> failwith "..." | _ -> failwith "..."
<mwc>
that took care of the warning
<mwc>
Not to mention is much more legible
<Smerdyakov>
Oooh.
mwc has quit ["Lost terminal"]
david_koontz has joined #ocaml
Lectus has joined #ocaml
ygrek has joined #ocaml
junis has joined #ocaml
<junis>
greetings... has anyone used CDuce...
Lectus has left #ocaml []
fmardini has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
Tortugo has joined #ocaml
fmardini has quit [Client Quit]
gene9 has joined #ocaml
gene9 has quit [Read error: 104 (Connection reset by peer)]
ygrek has quit ["Leaving"]
jjido has joined #ocaml
gene9 has joined #ocaml
gene9 has quit [Remote closed the connection]
tty56 has quit [Read error: 60 (Operation timed out)]
fmardini has joined #ocaml
piggybox has quit [Read error: 110 (Connection timed out)]
piggybox has joined #ocaml
jjido has quit ["jjido has no reason"]
shawn has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has joined #ocaml
fmardini has quit [Client Quit]
Franzose has joined #ocaml
Demitar has joined #ocaml
pedro has quit [Read error: 110 (Connection timed out)]
pion has quit [Read error: 110 (Connection timed out)]
Ycros has quit [Remote closed the connection]
Ycros has joined #ocaml
joshcryer has quit [Read error: 104 (Connection reset by peer)]
joshcryer has joined #ocaml
Ycros has quit [Remote closed the connection]
Ycros has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
Cygal has joined #ocaml
Ycros has quit [Remote closed the connection]
Ycros has joined #ocaml
Demitar has quit [Read error: 113 (No route to host)]
piggybox has quit [Read error: 110 (Connection timed out)]
Franzose_ has joined #ocaml
Cygal has quit [Remote closed the connection]
Franzose has quit [Read error: 110 (Connection timed out)]