gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
dasdas has joined #ocaml
Edward has quit []
dasdas has quit [Quit: dasdas]
boscop_ has joined #ocaml
boscop has quit [Disconnected by services]
boscop_ has left #ocaml []
boscop has joined #ocaml
philtor has joined #ocaml
Tianon has quit [Ping timeout: 252 seconds]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
elehack has quit [Quit: not a typewriter]
theDroggl has quit [Read error: Operation timed out]
theDroggl has joined #ocaml
verte has quit [Quit: ~~~ Crash in JIT!]
metasyntax has quit [Quit: Be seeing you.]
joewilliams is now known as joewilliams_away
ulfdoz has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
valross has quit [Ping timeout: 265 seconds]
valross has joined #ocaml
Modius has quit [Quit: I'm big in Japan]
|marius| has joined #ocaml
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
npouillard has quit [Read error: Operation timed out]
npouillard has joined #ocaml
ulfdoz has quit [Ping timeout: 260 seconds]
ttamttam has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
chee has joined #ocaml
coucou747 has joined #ocaml
chee has quit [Ping timeout: 276 seconds]
Amorphous has quit [Read error: Operation timed out]
schmrkc has quit [Ping timeout: 248 seconds]
schmrkc has joined #ocaml
schmrkc has quit [Changing host]
schmrkc has joined #ocaml
Amorphous has joined #ocaml
oc13 has joined #ocaml
ssbr has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
ftrvxmtrx has joined #ocaml
<gildor> asmanur: you subscribed to the OCaml Forge 2 days ago, but you don't have confirmed. Any problems?
<asmanur> gildor: when I tried to confirm, I got the "unknown host" error .. probably my ISP's DNS gone on vacations, haven't tried since
<asmanur> but now it seems to work
<asmanur> gildor: there's no git support on OCamlForge ?
<gildor> asmanur: just asks in the resource you will use for your project
<gildor> asmanur: I'll do it manually for now
<asmanur> ok
<gildor> asmanur: but it is very basic (i.e. gitweb)
<asmanur> ok
<asmanur> i'll register mldown tonight then
<asmanur> gildor: by the way, if you're always planning on using mldown, I am on vacations next week, so if you want something fixed/have some questions, tell/ask me this week
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 276 seconds]
valross has quit [Remote host closed the connection]
fraggle_ has quit [Quit: -ENOBRAIN]
ssbr has joined #ocaml
fraggle_ has joined #ocaml
<gildor> asmanur: thx for the proposal, I use mfp markdown for now (because it is already providing eliom integration), but on the long term I think I'll switch to mldown
<gildor> asmanur: but I am a bit late for oasis-db release, so this is my top priority for now
xmarteo has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
<asmanur> ok
ftrvxmtrx has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
|marius| has quit [Remote host closed the connection]
asmanur_ has joined #ocaml
<f[x]> They Killed Kamlp4!
asmanur has quit [Ping timeout: 248 seconds]
oc13 has quit [Ping timeout: 240 seconds]
<flux> ?
<f[x]> many extensions break, deriving breaks
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 246 seconds]
Associat0r has joined #ocaml
<mfp> is it possible to constraint a type parameter in a functor argument? something like module X(S : sig type 'a t = 'a constraint 'a = [> `A | `B] type node val expand : node t -> [`A | `B] end) = struct type t end;;
<mfp> I'd like to express : sig type t constraint t = [>`A | `B] ... end
<mfp> I guess it's impossible in < 3.12, since the functor arg can't have a type variable (the row var) :-|
<mfp> hmm can keep the type abstract and just provide val expand : node -> [`A | `B]
Anarchos has joined #ocaml
metasyntax has joined #ocaml
pikachuyann has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
seafood has joined #ocaml
_andre has joined #ocaml
ygrek has joined #ocaml
willb1 has quit [Ping timeout: 260 seconds]
ftrvxmtrx has quit [Read error: Connection reset by peer]
ftrvxmtrx has joined #ocaml
ssbr is now known as Jssbr
Jssbr is now known as ssbr
willb1 has joined #ocaml
<boscop> is there an ocaml REPL for windows that lets me scroll through commands from the history with Up/Dn arrows, and supports easy copy&paste?
<gildor> boscop: there is kind of win32 only REPL
<gildor> I don't use it thouhg
<boscop> I remember I had a REPL inside emacs but I don't remember the command and can't find anything about it :/
<gildor> OCamlWin.exe
<boscop> yeah, I have that one
<gildor> Not sure you can browse history, but Copy and Paste should work
<boscop> but it doesn't support Up/Dn scrolling
<gildor> nobody is perfect ;-)
<boscop> I liked the REPL inside emacs better, it had highlighting, too
<boscop> is it part of tuareg-mode?
<gildor> concerning emacs, I don't use it, so cannot help you
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 260 seconds]
Associat0r has quit [Quit: Associat0r]
ccasin has joined #ocaml
bzzbzz has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
metasyntax` has joined #ocaml
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 265 seconds]
barismetin has joined #ocaml
sepp2k has joined #ocaml
|marius| has joined #ocaml
joewilliams_away is now known as joewilliams
seafood has quit [Quit: seafood]
avsm has joined #ocaml
jakedouglas has joined #ocaml
philtor has quit [Ping timeout: 240 seconds]
sepp2k has quit [Quit: Leaving.]
thieusoai has joined #ocaml
munga has joined #ocaml
<munga> there is something fundamental that I don't undestand about the Format module ... if I use a \n in the string I mess up with the output... but... how can I simple write Printf.printf " aaa\n bbb\n" with the format module ? my best guess ... Format.printf "@[<v 1>@[aaa@]@[bbb@]@]";
<gildor> munga: "@[<v>aaa@,bbb@,]" should be enough
<gildor> in a vertical box, every break is transformed into a \n
<munga> Ah ! @, ... completely missed ... thanks :)
ttamttam has quit [Remote host closed the connection]
barismetin has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
philtor has joined #ocaml
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 258 seconds]
jakedouglas1 has joined #ocaml
Anarchos has joined #ocaml
jakedouglas has quit [Ping timeout: 276 seconds]
ftrvxmtrx has quit [Quit: Leaving]
ygrek has joined #ocaml
avsm has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
munga has quit [Ping timeout: 276 seconds]
avsm has quit [Read error: Connection timed out]
avsm has joined #ocaml
ulfdoz has joined #ocaml
ftrvxmtrx has joined #ocaml
jonafan has joined #ocaml
chee has joined #ocaml
philtor has quit [Ping timeout: 264 seconds]
avsm has quit [Read error: Connection timed out]
Tianon has quit [Remote host closed the connection]
avsm has joined #ocaml
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
munga has joined #ocaml
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 248 seconds]
erickt has joined #ocaml
chee is now known as wat
wat has quit [Quit: <3 =^.^= Ɛ>]
chee has joined #ocaml
<rwmjones> gildor: brilliant job on the video
<rwmjones> gildor: did you get all my photos in the end? I did send them, but I don't recall if I got an acknowlegement from you
Associat0r has joined #ocaml
<pikachuyann> Bonne nuit / Good night !
pikachuyann has quit [Quit: Quitte]
sepp2k has joined #ocaml
<gildor> rwmjones: you send it to me in a big archive (2010-caml(for-sylvain.tar.gz)
<gildor> rwmjones: yes they are all sitting on my DD
<gildor> rwmjones: I am really sorry not to have time to do thing faste :-(
<gildor> faster
<rwmjones> hey no problem, I gather you're rather busy at the moment :-)
<gildor> rwmjones: I think I will put online a demo of oasis-db in the week
<gildor> (a CPAN for OCaml)
ulfdoz has quit [Read error: Operation timed out]
|marius|_ has joined #ocaml
|marius| has quit [Read error: Connection reset by peer]
Vassia has joined #ocaml
<hcarty> gildor: That's wonderful news! Thank you for all of your work on oasis and oasis-db
<gildor> hcarty: this will be just a beta for now, I will wait for your suggestions about improvements
_andre has quit [Quit: Lost terminal]
avsm has quit [Quit: Leaving.]
Vassia has quit [Ping timeout: 240 seconds]
Associat0r has quit [Quit: Associat0r]
roconnor has joined #ocaml
<roconnor> does a Nat module come with ocaml?
<julm> Nativeint ?
<roconnor> http://pauillac.inria.fr/ocaml/htmlman/libref/Num.html has a function nat_of_num : num -> Nat.nat
<roconnor> I'm trying to figure out where that Nat comes from
q[mrw] has joined #ocaml
<hcarty> roconnor: http://alan.petitepomme.net/cwn/2004.05.18.html -- Scroll down to "Counting bits in a big_int" for some discussion on Nat
<roconnor> hcarty: ah good, that helps a lot
<roconnor> I've been reading some code that uses Nat.nat
<roconnor> ... I think now I might avoid using it
avsm has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
roconnor has quit [Remote host closed the connection]
ccasin has quit [Quit: Leaving]
blackswan has joined #ocaml
sepp2k has quit [Quit: Leaving.]
xmarteo has quit [Quit: Debian GNU/Hurd is Good.]
clog has joined #ocaml