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/
dbueno_ has quit [Read error: 110 (Connection timed out)]
smimou has quit ["bli"]
mpc_ has joined #ocaml
mpc has quit [Read error: 110 (Connection timed out)]
swater has quit ["Quat"]
Nutssh has quit ["Client exiting"]
danly has quit [Read error: 104 (Connection reset by peer)]
sponge45 has joined #ocaml
chessguy has joined #ocaml
danly has joined #ocaml
mpc_ has quit [Connection timed out]
mpc has joined #ocaml
Demitar__ is now known as Demitar
chessguy has quit [Connection timed out]
chessguy has joined #ocaml
yondalf has joined #ocaml
yondalf_ has joined #ocaml
yondalf has quit [Read error: 60 (Operation timed out)]
pango has quit [Remote closed the connection]
danly has quit ["Leaving"]
batdog is now known as batdog|gone
pango has joined #ocaml
Smerdyakov has quit ["Leaving"]
dark_light has joined #ocaml
mpc has quit []
mikeX has quit ["leaving"]
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- The professional IRC Client"]
danly has joined #ocaml
yondalf has joined #ocaml
yondalf_ has quit [Read error: 60 (Operation timed out)]
danly has quit [Remote closed the connection]
pango_ has joined #ocaml
benben has joined #ocaml
pango has quit [Remote closed the connection]
sponge45 has quit ["zzzzzzzzzz"]
<Shimei> So has anyone else ordered _Practical_OCaml_ from amazon.com and had hell with their shipping delays?
Demitar has quit [Remote closed the connection]
<dibblego> yeah I vaguely recall someone else whinging about it
dibblego has quit ["Leaving"]
Aradorn has quit [niven.freenode.net irc.freenode.net]
slipstream has quit [niven.freenode.net irc.freenode.net]
knobo has quit [niven.freenode.net irc.freenode.net]
seafood_ has quit [niven.freenode.net irc.freenode.net]
bohanlon has quit [niven.freenode.net irc.freenode.net]
mellum has quit [niven.freenode.net irc.freenode.net]
stesch has quit [niven.freenode.net irc.freenode.net]
mellum_ has joined #ocaml
bohanlon_ has joined #ocaml
seafood_ has joined #ocaml
Aradorn has joined #ocaml
slipstream has joined #ocaml
stesch has joined #ocaml
yondalf has quit ["leaving"]
_fab has joined #ocaml
kral has joined #ocaml
ikaros has quit [Read error: 60 (Operation timed out)]
shawn__ has joined #ocaml
ikaros has joined #ocaml
setog3 has quit [Read error: 110 (Connection timed out)]
Demitar has joined #ocaml
gene9 has joined #ocaml
pango_ has quit [Remote closed the connection]
pango has joined #ocaml
<flux__> hmm, I have a problem with polymorphic record fields
<flux__> I have this test code:
<flux__> type t = { test : 'a.('a -> 'a) }
<flux__> let new_t f = { test = f }
<flux__> let new_t' () = { test = fun i -> i }
<flux__> the function new_t won't compile
<flux__> however these declarations compile once again:
<flux__> type c = { value : 'a.('a -> 'a) }
<flux__> let new_t'' c = { test = c.value }
<flux__> so somehow the 'f'-argument isn't generic enough
<flux__> (the latter works as a workaround for me, though)
<flux__> oh, the error message is: This field value has type 'a -> 'a which is less general than 'b. 'b -> 'b
clog has joined #ocaml
dark_light has joined #ocaml
Amorphous has joined #ocaml
shawn__ has joined #ocaml
Norgg has joined #ocaml
triple_ has joined #ocaml
Ugarte has joined #ocaml
shawn__ has quit ["Leaving"]
ramkrsna has quit [Remote closed the connection]
levi_home has joined #ocaml
<flux__> the channel's been quite quiet lately :)
haelix has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
tld has joined #ocaml
<tld> From my understanding, with Ocaml, you don't use pointers as you would in C. But if I mmap() a file, can I easily and quickly access sections of that memory? Preferrably without having to copy it?
gim has quit [Client Quit]
<flux__> you may use Bigarray-module for that. http://caml.inria.fr/pub/docs/manual-ocaml/libref/Bigarray.Array1.html has function 'map_file'.
<tld> thanks. :)
mattam has joined #ocaml
swater has joined #ocaml
dark_light has quit [Client Quit]
dark_light has joined #ocaml
postalchris has joined #ocaml
clog has joined #ocaml
tld has joined #ocaml
zamez has joined #ocaml
Shimei has joined #ocaml
ppsmimou has joined #ocaml
Amorphous has joined #ocaml
Demitar has joined #ocaml
gim has joined #ocaml
flux__ has joined #ocaml
ozzloy has joined #ocaml
TaXules has joined #ocaml
stesch has joined #ocaml
seafood_ has joined #ocaml
Sweetshark has joined #ocaml
pango has joined #ocaml
Oatmeat|umn has joined #ocaml
pango has quit [Nick collision from Idoru.]
pango has joined #ocaml
pango has quit [Nick collision from Idoru.]
love-pingoo has joined #ocaml
pattern has joined #ocaml
eradman has joined #ocaml
dbueno has joined #ocaml
batdog|gone has joined #ocaml
_fab has joined #ocaml
david_koontz has joined #ocaml
Naked has joined #ocaml
Naked is now known as Hadaka
ulfdoz has quit [kornbluth.freenode.net irc.freenode.net]
khaladan_ has joined #ocaml
jdev has joined #ocaml
khaladan has quit [Connection timed out]
ulfdoz has joined #ocaml
ulfdoz has quit [kornbluth.freenode.net irc.freenode.net]
ramkrsna has joined #ocaml
cmeme has joined #ocaml
ulfdoz has joined #ocaml
malc_ has joined #ocaml
pango has joined #ocaml
swater has quit ["Quat"]
Aradorn has left #ocaml []
Aradorn has joined #ocaml
kral has joined #ocaml
Smerdyakov has joined #ocaml
kral has quit [Read error: 104 (Connection reset by peer)]
Sweetsha1k has joined #ocaml
Demitar has quit ["Ex-Chat"]
Demitar has joined #ocaml
Sweetshark has quit [Read error: 110 (Connection timed out)]
kral has joined #ocaml
kral` has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
bmiller has joined #ocaml
kral has quit [Read error: 110 (Connection timed out)]
kral` is now known as kral
datrus has joined #ocaml
<datrus> anyone knows how to make a Map of integers?
<datrus> the following doesnt work:
<datrus> module IntMap = Map.Make (int);;
<datrus> when i use Int32 or Nativeint it works but it complains later when i try to insert element that Int32 and int are not the same type
<pango> the Map.Make function requires a module of type Map.OrderedType as argument
<pango> say, module IntMap = Map.Make (struct type t = int let compare (x:t) (y:t) = compare x y end)
<malc_> isn't it a tad bit overcomplicated
<malc_> i.e.
<malc_> oh.. you want specialized compare
<malc_> fair enough
<malc_> let compare = (-) will (almost) do to
<pango> yes... dunno if there's a monomorphic compare : int -> int -> int hidden somewhere
<pango> yes... overflows...
<malc_> come to think of it.. i was correct after all, it is overcomplicated, type spec for y is unneeded
<malc_> but that's nitpicking
mikeX has joined #ocaml
<datrus> ok thanks
<pango> btw I wrote Map.Make function, but meant s/function/functor/
levi_home has quit [Read error: 54 (Connection reset by peer)]
<pango> I guess that explicit typing of the module would also have the effect of giving compare the right type
<pango> module OrderedInt : Map.OrderedType = struct type t = int let compare = compare end ...
<malc_> there's difference though
<malc_> # OrderedInt.compare 1 2;;
<malc_> This expression has type int but is here used with type OrderedInt.t
danly has joined #ocaml
<pango> grmbl module OrderedInt : Map.OrderedType with type t = int = struct type t = int let compare = compare end
<pango> in the end, it's not exactly simpler ;)
<malc_> hah
Oatmeat|umn has quit [Remote closed the connection]
kral has quit [Read error: 104 (Connection reset by peer)]
bmiller has quit [Read error: 104 (Connection reset by peer)]
chessguy has joined #ocaml
bmiller has joined #ocaml
levi_home has joined #ocaml
smimou has joined #ocaml
setog3 has joined #ocaml
<setog3> I don't know why but when I use ocamllex and try to compil the ml file with ocamlc .. I get an error on the line with open Myfile ..
<setog3> Reference to undefined global
<mikeX> paste the lines with the problem somewhere (pastebin)
<mikeX> hmm, the exact error message might help too : )
<setog3> Error while linking lexer.cmo: Reference to undefined global `Automaton
<mikeX> you probably have to add automaton.cma
<mikeX> ocamlc automaton.cma lexer.ml
<setog3> ok it works .. but why I need this .. it's due to ocamllex ?
<mikeX> nope, you need it for every module (outside the core library) that you use, like unix.cma, str.cma etc
<mikeX> and if you use ocamlopt, it's .cmxa, read the manual more carefully
<setog3> but why in another file I do ocamlc test.ml .. I have the open Automaton too and it works it open the automaton.cmo automaticly ..
joshcryer has joined #ocaml
<mikeX> it's probably cause you don't really use anything from Automaton in that file
<mikeX> make sure of that first
<setog3> hmm.. yes you are right.. sorry
chessguy has quit [Connection timed out]
david_koontz has left #ocaml []
benben has joined #ocaml
jajs has joined #ocaml
benben has quit [Connection timed out]
joshcryer has quit [kornbluth.freenode.net irc.freenode.net]
smimou has quit [kornbluth.freenode.net irc.freenode.net]
levi_home has quit [kornbluth.freenode.net irc.freenode.net]
mikeX has quit [kornbluth.freenode.net irc.freenode.net]
pango has quit [kornbluth.freenode.net irc.freenode.net]
jdev has quit [kornbluth.freenode.net irc.freenode.net]
dbueno has quit [kornbluth.freenode.net irc.freenode.net]
dbueno has joined #ocaml
smimou has joined #ocaml
pango has joined #ocaml
levi_home has joined #ocaml
jdev has joined #ocaml
Oatmeat|umn has joined #ocaml
Skal has joined #ocaml
jajs has quit [Remote closed the connection]
_fab has quit [Read error: 104 (Connection reset by peer)]
rillig has joined #ocaml
buluca has joined #ocaml
_fab has joined #ocaml
Aradorn has left #ocaml []
jajs has joined #ocaml
shawn__ has joined #ocaml
chessguy has joined #ocaml
gene9 has joined #ocaml
Skal has quit [Remote closed the connection]
gene9 has quit [Client Quit]
llama32 has joined #ocaml
pango has quit [Remote closed the connection]
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- The dawn of a new IRC era"]
malc_ has quit ["leaving"]
erikh has joined #ocaml
<erikh> hello folks. I can't seem to find the appropriate module for File I/O in the standard library. Could someone point me to where I can find documentation for it?
<erikh> I also signed up for the "ocaml-beginners" list last night and yet to recieve confirmation - on the off chance that anyone could help me with that, it'd be awesome.
pango has joined #ocaml
shawn__ has quit ["This computer has gone to sleep"]
shawn__ has joined #ocaml
shawn__ has quit ["Leaving"]
Mr_Awesome has joined #ocaml
_fab has quit []
shawn__ has joined #ocaml
llama32 has quit [Read error: 110 (Connection timed out)]
smimou has quit ["bli"]
jajs has quit [Remote closed the connection]
love-pingoo has quit ["Connection reset by pear"]
protoscript has joined #ocaml
rillig has quit ["Gute Nacht"]
<Ugarte> erikh: You can do file IO with the Unix library.
<erikh> ah, I got the answer a while back
<erikh> open_in and friends
<Shimei> Yay, got my _Practical_OCaml_ book. :)
postalchris has quit ["Leaving."]
<dark_light> Shimei, i am wanting one too (actually i have never read a book written in english before.. well not in paper :P)
<Shimei> Hehe. Where're you from?
<Shimei> Ah, Brazil?
protoscript has quit [Read error: 110 (Connection timed out)]
<buluca> Shimei: how is that book?
<Ugarte> Oh, I didn't see your answer.
<Ugarte> Oh, you mean another place. Right.