Ched has quit [Read error: 110 (Connection timed out)]
seafood has quit [Read error: 110 (Connection timed out)]
kaustuv has quit [anthony.freenode.net irc.freenode.net]
kaustuv_ has quit [anthony.freenode.net irc.freenode.net]
nimred has quit [anthony.freenode.net irc.freenode.net]
julm has quit [anthony.freenode.net irc.freenode.net]
kaustuv_ has joined #ocaml
julm has joined #ocaml
kaustuv has joined #ocaml
nimred has joined #ocaml
seafood has joined #ocaml
travisbrady has joined #ocaml
alexyk has quit []
seafood_ has joined #ocaml
seafood__ has joined #ocaml
seafood has quit [Read error: 60 (Operation timed out)]
seafood_ has quit [Success]
alexyk has joined #ocaml
seafood has joined #ocaml
seafood__ has quit [Read error: 110 (Connection timed out)]
ulfdoz_ has joined #ocaml
jeddhaberstro has quit []
ulfdoz has quit [Read error: 110 (Connection timed out)]
ulfdoz_ is now known as ulfdoz
ray has quit [Read error: 113 (No route to host)]
ulfdoz has quit [Read error: 110 (Connection timed out)]
<travisbrady>
how do i figure out what throws? Fatal error: exception Invalid_argument("index out of bounds")? could it be List.nth?
<travisbrady>
ahh, looks like array indexing
flx_ has joined #ocaml
flux has quit [Read error: 104 (Connection reset by peer)]
<julm>
travisbrady: you could also use export OCAMLRUNPARAM=-b and add -g to ocamlc to get a detailed "back trace" of the execution when the program aborts due to an uncaught exception.
kaustuv_ has quit [Read error: 60 (Operation timed out)]
ergodick has joined #ocaml
ergodick has left #ocaml []
lanaer has quit [Read error: 60 (Operation timed out)]
ergodick has joined #ocaml
lanaer has joined #ocaml
nwardez has quit [Read error: 54 (Connection reset by peer)]
Snark has joined #ocaml
jeff_s_ has quit [Read error: 104 (Connection reset by peer)]
seafood has quit []
ztfw has quit [Remote closed the connection]
Camarade_Tux has joined #ocaml
seafood has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
negacthulhu_afk has quit ["Leaving"]
Alpounet has joined #ocaml
ergodick has left #ocaml []
mpwd has quit [Read error: 110 (Connection timed out)]
seafood has quit []
nwardez has joined #ocaml
Snark has quit ["Ex-Chat"]
Camarade_Tux has quit ["Leaving"]
sporkmonger has quit []
alexyk has quit []
komar_ has joined #ocaml
ikaros has joined #ocaml
_zack has joined #ocaml
ergodick has joined #ocaml
ergodick has left #ocaml []
seafood has joined #ocaml
_zack has quit ["Leaving."]
_zack has joined #ocaml
barismetin has joined #ocaml
hkBst has joined #ocaml
julm has quit [Read error: 60 (Operation timed out)]
rwmjones_ has joined #ocaml
dest has joined #ocaml
<dest>
hi all
julm has joined #ocaml
hkBst has quit [Remote closed the connection]
ikaros has quit ["Leave the magic to Houdini"]
<Alpounet>
hi
angerman has joined #ocaml
komar_ has quit [Read error: 113 (No route to host)]
ergodick has joined #ocaml
ergodick has left #ocaml []
komar_ has joined #ocaml
seafood has quit []
ulfdoz has joined #ocaml
Yoric[DT] has joined #ocaml
LeCamarade|Away is now known as LeCamarade
Alpounet has quit ["Quitte"]
rjack has joined #ocaml
<dest>
is there a difference between ocamlc.opt, ocamlopt and ocamlopt.opt ? Do all of them compile native-code ?
Ched has joined #ocaml
<det>
ocamlc compiles to bytecode, and is a bytecode program itself
<det>
ocamlopt compiles to nativecode, and is a bytecode program itself
ched_ has quit [Read error: 110 (Connection timed out)]
<det>
ocamlc.opt compiles to bytecode, and is a nativecode program itself
<det>
ocamlc.opt compiles to nativecode, and is a nativecode program itself
<det>
Sorry
<det>
last line is
<det>
ocamlopt.opt compiles to nativecode, and is a nativecode program itself
<dest>
Hum, thank you det. Now, I understand better.
ulfdoz has quit [Read error: 110 (Connection timed out)]
rjones__ has joined #ocaml
rwmjones_ has quit [Read error: 104 (Connection reset by peer)]
Yoric[DT] has quit ["Ex-Chat"]
verte has joined #ocaml
Ched has quit [Read error: 101 (Network is unreachable)]
Ched has joined #ocaml
_andre has joined #ocaml
Camarade_Tux has joined #ocaml
Yoric has joined #ocaml
barismetin has quit [Remote closed the connection]
barismetin has joined #ocaml
seafood has joined #ocaml
<dest>
Google is not my friend. I can't find a program to validate a xml file with a XSD (XML Schema). Cduce, PXP, Xml-light, Expat, all of these support DTD but not XSD. Do you have some information that could help me ?
<Camarade_Tux>
didn't xsd, it looks much nicer than a dtd
<Camarade_Tux>
s/didn't/didn't know/
<thelema>
does xsd -> dtd conversion exist?
<dest>
yes and xsd checks the type of the value. Example: <date>2000-01-01zzzzz</date> would be syntaxically correct with DTD but XSD doesn't validate it because it's not a date fomat due to the "zzzzz". It's way more powerful
<det>
mrvn, I used SML instead of Ocaml so that I could have an infix datatype constructor
<det>
It is slightly more boiler-platey than your version, maybe I could simplify it some
petchema has joined #ocaml
jamii has quit [Read error: 110 (Connection timed out)]
jeanbon has joined #ocaml
julm has quit [Read error: 60 (Operation timed out)]
acatout has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
komar_ has joined #ocaml
barismetin has quit [Remote closed the connection]
rjack has quit ["leaving"]
Smerdyakov has quit ["Leaving"]
acatout has joined #ocaml
travisbrady has joined #ocaml
ergodick has joined #ocaml
ergodick has left #ocaml []
komar_ has quit [Read error: 113 (No route to host)]
noj has quit [SendQ exceeded]
OChameau has quit ["Leaving"]
ulfdoz has joined #ocaml
_zack has quit ["Leaving."]
komar_ has joined #ocaml
jeanb-- has joined #ocaml
elehack has joined #ocaml
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
jli has left #ocaml []
jeanbon has quit [Read error: 110 (Connection timed out)]
Amorphous has quit [Read error: 104 (Connection reset by peer)]
Amorphous has joined #ocaml
schme has quit [Read error: 60 (Operation timed out)]
itewsh has quit [Read error: 110 (Connection timed out)]
jeff_s_ has quit [Read error: 104 (Connection reset by peer)]
jeanbon has joined #ocaml
itewsh has joined #ocaml
Spiwack has quit ["Leaving"]
jeanb-- has quit [Read error: 110 (Connection timed out)]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
travisbrady has quit [Read error: 104 (Connection reset by peer)]
barismetin has joined #ocaml
travisbrady has joined #ocaml
<itewsh>
Has anyone tried to use the "Thread" module under Windows?
<itewsh>
(Should it work?)
jeanbon has quit ["%"]
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
Yoric[DT] has joined #ocaml
Snark has quit ["Ex-Chat"]
<julm>
itewsh: I think Thread should work under Windows, have you used the -thread flag?
<julm>
and passed something like -predicates mt,mt_posix to ocamlfind?
<itewsh>
julm: since I do not use that on linux, I haven't used that. but I also notice that there isn't any "thread.mli" file
<julm>
itewsh: do you get an error message or something somewhere?
<itewsh>
julm: I can load "threads/threads.cma", then, I tried to import "thread.mli" from linux to windows, and to open it (open Thread): I got "Unbound module"
<julm>
itewsh: see : http://caml.inria.fr/pub/docs/manual-ocaml/manual038.html : "This implementation builds on the OS-provided threads facilities: POSIX 1003.1c threads for Unix, and Win32 threads for Windows." so it should work
<julm>
add a -I <the directory of where is threads.cma>
<julm>
.mli is not what you miss
<itewsh>
I tried : "ocaml -I +threads threads.cma" and "open Thread"
<itewsh>
(and unix.cma)
<julm>
and -thread
<julm>
arf no
<julm>
ocaml top level has not this
<julm>
open Thread after this works for me
<itewsh>
Do you have any interface of this module?
<julm>
I have a threads/thread.cmi yep
<julm>
and module X = Thread gives me the content
<julm>
in the top loop
<julm>
Are you still having this Unbound module error ?
<itewsh>
julm: no
<julm>
something else then ?
<itewsh>
no, but I'm still wondering why there isn't that file (though it's seems to be optional)
<julm>
the .mli ?
<itewsh>
yeah
<julm>
it's useless
<julm>
the .cmi has all what one needs
<itewsh>
however, it is present on linux
<julm>
indeed I have a /usr/local/lib/ocaml/thread.mli
<itewsh>
hmm, I'm going to reinstall it, I think
<itewsh>
..
<julm>
but this .mli is not used
<julm>
only there for humans to read it I think
<julm>
also when using ocamlc/ocamlopt use -thread, as manual says : "Compilation units that use the threads library must also be compiled with the -thread option"
<travisbrady>
is it possible to declare a type which is basically an integer that can only exist between, say, 1 and 100?
<julm>
kig, yes private type, phantom type is something else
<kig>
ada has nice constrained integer types, more languages should have them
<travisbrady>
kig: are you the author of preludeml? it's been very helpful for me in learning ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
<travisbrady>
julm: thanks for the link, looks fairly easy actually
_andre has quit ["yam for everyone"]
julm has quit [Remote closed the connection]
julm has joined #ocaml
zerny has joined #ocaml
jamii has joined #ocaml
<Yoric[DT]>
kig: constrained integer types are difficult to do.
<Yoric[DT]>
Well, at least if you want to resolve them at compile-time.
jeanbon has joined #ocaml
Lomono has quit []
alexyk has quit []
jeanbon has quit [Remote closed the connection]
jeanbon has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
seafood has joined #ocaml
hkBst has quit [Remote closed the connection]
seafood has quit [Client Quit]
alexyk has joined #ocaml
willb1 has quit ["Leaving"]
alexyk has quit []
alexyk has joined #ocaml
alexyk has quit [Client Quit]
alexyk has joined #ocaml
alexyk has quit [Client Quit]
jeanbon has quit ["EOF"]
bombshelter13_ has quit []
barismetin has quit [Remote closed the connection]
Lomono has joined #ocaml
willb has joined #ocaml
AxleLonghorn has left #ocaml []
ched_ has joined #ocaml
Ched has quit [Read error: 60 (Operation timed out)]
<kig>
travisbrady: yeah, glad to hear it's been of use
elehack has quit [Read error: 104 (Connection reset by peer)]
zerny has quit [Remote closed the connection]
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
itewsh has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]
alexyk has joined #ocaml
Camarade_Tux has joined #ocaml
<Camarade_Tux>
that reddit entry makes me wonder if we could combine (o)Show and ocamldebug to make nice animations of data structures evolving in time :)
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
_zack has joined #ocaml
<Yoric[DT]>
Well, enough programming with a library which won't exist until August for today.
<Yoric[DT]>
'night
Yoric[DT] has quit ["Ex-Chat"]
elehack has joined #ocaml
elehack is now known as elehack|away
Jedai has quit [Read error: 60 (Operation timed out)]
_zack has quit ["Leaving."]
ikaros has quit ["Leave the magic to Houdini"]
m3ga has joined #ocaml
Camarade_Tux has quit ["Leaving"]
alexyk has quit []
<travisbrady>
is there an ocaml equivalent to haskell's Data.Binary or python's struct module?
<brendan>
bitstring maybe
angerman has quit []
alexyk has joined #ocaml
<travisbrady>
brendan: looks perfect, thank you
<brendan>
welcome
ched_ has quit [Read error: 110 (Connection timed out)]