dark_light changed the topic of #ocaml to: OCaml 3.09.2 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
<asbeta> hmm.. is there a way to eliminate certain occurence of warning?
<asbeta> this thing: fun [ $p$ -> $r$ | _ -> [] ] produces Warning: this match case is unused. very often
* asbeta is making his list comprehensions fully haskell-compliant
<asbeta> which, in turns, demand: [ 3 | 0 <- [1;2;5] ] = [], not "match failure" exception
<pango> asbeta: see ocaml's -w flag description (in ocaml -h for example)
<pango> several classes of warnings can be enabled/disabled, if you know what you're doing ;)
<asbeta> well, i dont want usage of such flag to be demand if user don't want to see hundreds of warnings about unused case :)
<asbeta> it'll be general purpose extension
smimou has quit ["bli"]
<asbeta> i want something like #pragma ignore_unused_case_warning ... #endofscope
<pango> I know of no other way, beside fixing the problem for real
<asbeta> looks like fixing lies in catching exceptions :)
<asbeta> or, maybe, detecting non-exhaustive patterns. shouldn't be deadly hard because there's only one pattern
kuribas has quit ["ERC Version 5.0.2 $Revision: 1.726.2.10 $ (IRC client for Emacs)"]
mikeX_ has quit ["zzz"]
<asbeta> oh.. irrefutable patterns helped :)
asbeta has quit ["sleeeeeeeeep"]
shekmalhen is now known as Elvis_Malhen
slipstream-- has joined #ocaml
Elvis_Malhen is now known as shekmalhen
pango has quit [Remote closed the connection]
slipstream has quit [Connection timed out]
pango has joined #ocaml
shekmalhen has quit ["Snakes on a Plane sti... des serpents sur un avion! Fallait y penser."]
shekmalhen has joined #ocaml
slipstream-- has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
love-pingoo has joined #ocaml
sponge45 has joined #ocaml
shekmalhen has quit ["Bêêêêêêêêh!"]
rillig has joined #ocaml
sponge45 has quit ["zzzzzzzz"]
Itkovian has joined #ocaml
b00t has joined #ocaml
Itkovian has quit []
shawn has quit ["This computer has gone to sleep"]
tristram has joined #ocaml
Schmurtz has quit ["L'énergie semble manquer : dodo !"]
mnemonic has joined #ocaml
<mnemonic> yo
shawn has joined #ocaml
revision17_ has joined #ocaml
<love-pingoo> yo
* love-pingoo fed up with writing documentation
smimou has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
m3ga has joined #ocaml
_jol_ has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
_jol_ has quit [""temci lo nu citka""]
mikeX has joined #ocaml
ita has joined #ocaml
mnemonic has quit ["leaving"]
menace has joined #ocaml
mikeX has quit ["leaving"]
b00t has quit [Client Quit]
Schmurtz has joined #ocaml
_jol_ has joined #ocaml
menace has quit []
<ulfdoz> love-pingoo: Write self-explaining code. :)
<love-pingoo> ulfdoz: ever hear of user documentation ? ;)
* love-pingoo once lost a friend after a discussion about comments and code... :(
_jol_ has quit ["leaving"]
<ulfdoz> love-pingoo: Hey, I'm on leetnux, it doesn't have user documentation. :)
<ulfdoz> But I know what you mean, I already had a lot of anger with undocumented code, too: "documentation? What for? You can ask me if you don't know what my code does."
Pebblestone has joined #ocaml
<ita> linux does have a lot of documentation (info and man pages
<ulfdoz> Which often is not as useful as it should be. And I hate info in general for its unintuitive user-interface and bad search capabilities. html + htdig + some browser would be the better choice imho.
ita is now known as ita|beach
<dylan> ulfdoz: try a different info reader, like pinfo
<dylan> or vim with info.vim ;)
<ulfdoz> pinfo isn't gentoo-compatible due to its hardcoded paths and filename patterns. But info.vim sound promising.
<descender> bad search capabilities? what kind of searching do you do?
<descender> ctrl-r and ctrl-s works well for me
<descender> my only gripe with info is its formatting - the line breaks are fixed
finelemon has joined #ocaml
<ulfdoz> descender: You can not limit or define, how to search the node tree, limit to special nodes or search in nodes referenced by another.
<ulfdoz> So, basically you have the search capabilities of your man-pager.
<ulfdoz> usually less or more.
<descender> well.. at least you could search a subtree
<descender> with the current node as the root
<ulfdoz> Imho, not more a minimal than optimal solution, because it boils down to plain text search in the text you get when concatenating all nodes of the tree, this like a long manpage.
<ulfdoz> s/not//1
finelemo1 has quit [Read error: 113 (No route to host)]
ita|beach is now known as ita
<ita> dylan: have you seen the memo ?
<dylan> ita: the one about mandetory wearing of shiney hats?
<dylan> oh, memoserv.
<dylan> Just read it. I'll take a list when I'm not feverish.
<dylan> err, look, not list.
Itkovian has joined #ocaml
kuribas has joined #ocaml
ita has quit [Remote closed the connection]
pango has quit [Remote closed the connection]
pango has joined #ocaml
Itkovian has quit []
mnemonic has joined #ocaml
<mnemonic> hi
Schmurtz has quit [Read error: 113 (No route to host)]
tristram has quit [Read error: 110 (Connection timed out)]
mikeX has joined #ocaml
kuribas` has joined #ocaml
kuribas has quit [Read error: 110 (Connection timed out)]
mnemonic has quit ["leaving"]
smimou has quit ["bli"]
ita has joined #ocaml
<ita> dylan: not the memo about mandetory wearing of shiney hats
mikeX has quit [Read error: 110 (Connection timed out)]
love-pingoo has quit [Read error: 110 (Connection timed out)]
ita has quit ["Konversation terminated!"]
woggle has joined #ocaml