flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
bluestorm_ has quit [Read error: 113 (No route to host)]
ulfdoz has quit [Read error: 110 (Connection timed out)]
jbms has left #ocaml []
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
Morphous has joined #ocaml
seafood has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Ched- has quit [Read error: 101 (Network is unreachable)]
Ched- has joined #ocaml
ulfdoz has joined #ocaml
coucou747 has quit ["bye ca veut dire tchao en anglais"]
coucou747 has joined #ocaml
elparo_continua is now known as manitAway
seafood has quit []
seafood has joined #ocaml
seafood has quit []
manitAway has quit [Client Quit]
manitAway has joined #ocaml
seafood has joined #ocaml
manitAway is now known as banlist
banlist is now known as ^
^ is now known as \banlist
ozzloy has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
ygrek has joined #ocaml
seafood_ has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
pango has quit [Remote closed the connection]
pango has joined #ocaml
seafood_ has quit []
asmanur has joined #ocaml
tsuyoshi has quit ["Lost terminal"]
tsuyoshi has joined #ocaml
ygrek has quit [Remote closed the connection]
bluestorm has joined #ocaml
Jedai has joined #ocaml
filp has joined #ocaml
seafood has joined #ocaml
Snark has joined #ocaml
ygrek has joined #ocaml
Associat0r has joined #ocaml
Yoric[DT] has joined #ocaml
<Yoric[DT]> Hi
<bla> Hi Yoric[DT].
* Yoric[DT] returns into deadline mode.
ygrek has quit [Remote closed the connection]
filp has quit ["Bye"]
asmanur has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
Spiwack has joined #ocaml
damg has joined #ocaml
Jedai has quit [Read error: 113 (No route to host)]
Linktim has joined #ocaml
<Yoric[DT]> Does anyone remember the name of the syntax extension which permits pattern-matching upon objects?
<bluestorm> pa_oo ?
<bluestorm> hm
<bluestorm> seems it doesn't handle pattern matching
<Yoric[DT]> No, not pa_oo.
<mfp> Yoric[DT]: "patterns" http://code.google.com/p/ocaml-patterns/
<Yoric[DT]> Perhaps it's an application of Patterns.
<Yoric[DT]> Yeah, thanks.
coucou747 has quit [Read error: 113 (No route to host)]
det_ has joined #ocaml
det has quit [Read error: 104 (Connection reset by peer)]
Jedai has joined #ocaml
asmanur has joined #ocaml
<mfp> I didn't expect this: let a = `A let () = ignore (a : [`A | `B]) -> a inferred as [> `A], not [`A | `B]
<mfp> relaxed value restriction, I suppose
<Spiwack> it's normal behaviour, (a: t ) does not change the type of a if it is already unifiable to t
<Spiwack> the type of (a:t) is t though
<Yoric[DT]> If anyone can think of a way to change the type of [> `A], though, I'm interested.
<mfp> Yoric[DT]: Is it necessary to expose the witness? Cannot it be used as in http://pastebin.be/12328 ?
<Yoric[DT]> mfp: if I do that, I can't put it in a library.
<Yoric[DT]> I suspect there's no choice and I'll have to do that in the end.
<Yoric[DT]> But that makes it probably unapplicable to exception management.
<Yoric[DT]> Unless I can generate that module on-the-fly.
seafood has quit []
<Yoric[DT]> Anyway, time to grab some lunch.
<Yoric[DT]> Cheers.
seafood has joined #ocaml
johnnowak has joined #ocaml
Linktim_ has joined #ocaml
Linktim- has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
johnnowak has quit []
Linktim_ has quit [Read error: 110 (Connection timed out)]
Linktim- has quit [Read error: 110 (Connection timed out)]
* Yoric[DT] is back.
Jedai has quit [Read error: 113 (No route to host)]
asmanur has quit [Read error: 110 (Connection timed out)]
johnnowak has joined #ocaml
coucou747 has joined #ocaml
jlouis has quit [Remote closed the connection]
asmanur has joined #ocaml
marmotine has joined #ocaml
guillem has joined #ocaml
pango has quit [Remote closed the connection]
seafood has quit []
johnnowak has quit []
johnnowak has joined #ocaml
Linktim has joined #ocaml
pango has joined #ocaml
pango has quit [Nick collision from Idoru.]
vixey has quit [Remote closed the connection]
r0bby has quit [Connection timed out]
asmanur has quit [Remote closed the connection]
RobertFischer has joined #ocaml
Jedai has joined #ocaml
RobertFischer has left #ocaml []
RobertFischer has joined #ocaml
Ramzi647 has joined #ocaml
Linktim_ has joined #ocaml
Spiwack has quit [Remote closed the connection]
Ramzi647 has quit ["http://irc.netsplit.de/"]
Linktim has quit [Read error: 110 (Connection timed out)]
RobertFischer has left #ocaml []
struktured has joined #ocaml
asmanur has joined #ocaml
Jeff_123 has quit ["Leaving."]
struktured_ has joined #ocaml
struktured_ is now known as structured
thelema has joined #ocaml
vixey has joined #ocaml
struktured has quit [Read error: 110 (Connection timed out)]
r0bby has joined #ocaml
Ched- has quit [Read error: 54 (Connection reset by peer)]
Ched- has joined #ocaml
structured has quit [Read error: 110 (Connection timed out)]
LordMetroid has joined #ocaml
johnnowak has quit []
Linktim_ has quit [Remote closed the connection]
filp has joined #ocaml
filp has quit [Read error: 104 (Connection reset by peer)]
Linktim has joined #ocaml
kelaouchi has quit ["leaving"]
johnnowak has joined #ocaml
tomh has joined #ocaml
coucou747 has quit [Read error: 113 (No route to host)]
<flux> I could see this being quite a powerful tool for designing grammars: http://www.antlr.org/works/index.html; doesn't support generating for ocaml yet, though
<flux> but perhaps still useful
<Yoric[DT]> interesting
<Yoric[DT]> Making it OCaml-compatible might be a nice student project.
<flux> including bidirectional conversion utilities (where possible) to ocamllex ;)
LordMetroid has quit ["Leaving"]
<Yoric[DT]> :_
<Yoric[DT]> I meant :)
asmanur has quit [Remote closed the connection]
Jeff_123 has joined #ocaml
<damg> is there a way to assign e.g. 0xFFFF0000 as a literal? (currently shifting bits instead)
<Jeff_123> are you referring to "Integer literal exceeds the range of representable integers of type int"?
<Yoric[DT]> 'night everyone
Yoric[DT] has quit ["Ex-Chat"]
<damg> yeas
<damg> s/yeas/yes :) I need int32s and thought maybe there is a better sollution than passing two words to a merge fun ...
LordMetroid has joined #ocaml
<thelema> damg: 0xffff0000l
bluestorm has quit ["Konversation terminated!"]
<damg> ah, didn't know of precision suffixes . thank you very much
Snark has quit ["Ex-Chat"]
jlouis has joined #ocaml
johnnowak has quit []
LordMetroid has quit ["Leaving"]
struktured has joined #ocaml
guillem has quit [Remote closed the connection]
LordMetroid has joined #ocaml
LordMetroid has quit [Read error: 104 (Connection reset by peer)]
BoCa has joined #ocaml
damg has quit ["Verlassend"]
BoCa has left #ocaml []
Linktim has quit [Remote closed the connection]
struktured has quit [Read error: 110 (Connection timed out)]
jlouis has quit [Remote closed the connection]
Jedai has quit [Read error: 113 (No route to host)]
jlouis has joined #ocaml
nuncanada has joined #ocaml
xevz has quit [Remote closed the connection]
xevz has joined #ocaml
hkBst has quit ["Konversation terminated!"]
marmotine has quit [Remote closed the connection]
gaja has quit ["leaving"]
mfp has quit [Read error: 110 (Connection timed out)]
mfp has joined #ocaml