flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
ottbot has quit [Ping timeout: 245 seconds]
mfp has joined #ocaml
eikke has quit [Ping timeout: 240 seconds]
fraggle_laptop has joined #ocaml
eikke has joined #ocaml
tani has joined #ocaml
tane has quit [Ping timeout: 245 seconds]
rwmjones has quit [Ping timeout: 264 seconds]
q66 has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 258 seconds]
gnuvince has quit [Read error: No route to host]
dwmw2 is now known as dwmw2_gone
rwmjones has joined #ocaml
thomasga has quit [Quit: Leaving.]
mattrepl has joined #ocaml
fraggle_laptop has quit [Quit: Quitte]
oriba has quit [Quit: oriba]
eikke has quit [Ping timeout: 258 seconds]
lenstr has quit [Quit: ZNC - http://znc.sourceforge.net]
LeNsTR has joined #ocaml
mattrepl has quit [Quit: mattrepl]
ulfdoz has quit [Ping timeout: 252 seconds]
mattrepl has joined #ocaml
mattrepl has quit [Client Quit]
cdidd has quit [Remote host closed the connection]
gnuvince has joined #ocaml
<bernardofpc> companion> so to be able to represent the carry, maybe slices should be 31 bits and not 63 -> why not 62 ?
destrius has joined #ocaml
<Cypi> to make multiplications really easy? :-°
mattrepl has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
mattrepl has quit [Quit: mattrepl]
cdidd has joined #ocaml
mattrepl has joined #ocaml
mattrepl has quit [Client Quit]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
<bernardofpc> Oh
<bernardofpc> anyway, if your hardware is good, you have the carry flag for addition, and multiplication and division have twice larger "registers" right where you need them
<bernardofpc> (meaning 128 bit for mult result, and 128 bit dividend)
<pippijn> "registers" as in "using 2 registers for the result"
<bernardofpc> yep
<bernardofpc> (or 2 register for the dividend, ofc)
<bernardofpc> I don't know if it's reasonable to do that in OCaml, thoug, but my best bet would be to have an object with tag and then a stream of 64-bit integers , so that the operations are the natural ones
<bernardofpc> the object knows how many limbs there are, just as a string knows its len
<wmeyer`> pippijn: greets
paddymahoney has quit [Read error: Connection reset by peer]
Tobu has quit [Ping timeout: 246 seconds]
leoncamel has joined #ocaml
tani has quit [Quit: Verlassend]
mikurubeam has quit [Quit: When I come back, I expect you to have come up with countless ways to be wrong.]
paddymahoney has joined #ocaml
LeNsTR has quit [Changing host]
LeNsTR has joined #ocaml
Cyanure has quit [Remote host closed the connection]
mikurubeam has joined #ocaml
yacks has joined #ocaml
yacks has quit [Max SendQ exceeded]
yacks has joined #ocaml
mikurubeam has quit [Quit: When I come back, I expect you to have come up with countless ways to be wrong.]
Fnar has joined #ocaml
jpdeplaix has quit [Ping timeout: 245 seconds]
jpdeplaix has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
Cyanure has joined #ocaml
Snark has joined #ocaml
paddymahoney has quit [Remote host closed the connection]
frogfoodeater has quit [Ping timeout: 258 seconds]
ggole has joined #ocaml
Cyanure has quit [Remote host closed the connection]
Cyanure has joined #ocaml
frogfoodeater has joined #ocaml
thomasga has joined #ocaml
ttamttam has joined #ocaml
frogfoodeater has quit [Ping timeout: 256 seconds]
Pantoufle has joined #ocaml
Yoric has joined #ocaml
hkBst has joined #ocaml
Kakadu has joined #ocaml
anderse has joined #ocaml
Cyanure has quit [Remote host closed the connection]
djcoin has joined #ocaml
anderse has quit [Quit: anderse]
ontologiae has joined #ocaml
fayden has quit [Read error: Operation timed out]
awm22 has quit [Quit: Leaving.]
Zerker has joined #ocaml
fayden has joined #ocaml
cago has joined #ocaml
mika1 has joined #ocaml
Yoric has quit [Remote host closed the connection]
anderse has joined #ocaml
tane has joined #ocaml
ottbot has joined #ocaml
ottbot has quit [Client Quit]
anderse has quit [Quit: anderse]
Neros has quit [Ping timeout: 240 seconds]
Neros has joined #ocaml
martinhex has joined #ocaml
sgnb has quit [Remote host closed the connection]
sgnb has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
destrius has quit [Quit: Leaving.]
wwilly has joined #ocaml
bholst has quit [Read error: Connection reset by peer]
ulfdoz has joined #ocaml
karswell has quit [Remote host closed the connection]
martinhex has quit [Read error: Connection reset by peer]
karswell has joined #ocaml
mye has joined #ocaml
Yoric has joined #ocaml
mort___ has joined #ocaml
Zerker has quit [Quit: Colloquy for iPad - Timeout (10 minutes)]
thomasga has quit [Quit: Leaving.]
Zerker has joined #ocaml
frogfoodeater has joined #ocaml
wwilly has quit [Read error: Connection reset by peer]
answer_42 has joined #ocaml
wwilly has joined #ocaml
dwmw2_gone is now known as dwmw2
frogfoodeater has quit [Ping timeout: 246 seconds]
bobry has quit [Ping timeout: 246 seconds]
awm22 has joined #ocaml
wwilly has quit [Read error: Connection reset by peer]
wwilly has joined #ocaml
eikke has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Read error: No route to host]
ontologiae has joined #ocaml
q66 has joined #ocaml
_andre has joined #ocaml
mort___ has quit [Quit: Leaving.]
mal``` has quit [Ping timeout: 255 seconds]
cthuluh has quit [Ping timeout: 255 seconds]
_habnabit has quit [Ping timeout: 260 seconds]
_eko has quit [Ping timeout: 260 seconds]
thizanne has quit [Ping timeout: 255 seconds]
alxbl has quit [Ping timeout: 255 seconds]
patronus has quit [Ping timeout: 255 seconds]
Ptival has quit [Ping timeout: 260 seconds]
companion_cube has quit [Ping timeout: 260 seconds]
Cypi has quit [Ping timeout: 260 seconds]
s4muel has quit [Ping timeout: 255 seconds]
diml_ has quit [Ping timeout: 255 seconds]
caligula has quit [Ping timeout: 255 seconds]
ben_zen has quit [Ping timeout: 260 seconds]
pango has quit [Ping timeout: 260 seconds]
stephe- has quit [Ping timeout: 260 seconds]
alang_ has quit [Ping timeout: 260 seconds]
caligula_ has joined #ocaml
Ptival has joined #ocaml
_eko has joined #ocaml
stephe has joined #ocaml
alxbl has joined #ocaml
cthuluh has joined #ocaml
s4muel has joined #ocaml
alang_ has joined #ocaml
companion_cube has joined #ocaml
patronus_ has joined #ocaml
mal`` has joined #ocaml
Cypi_ has joined #ocaml
thizanne has joined #ocaml
pango has joined #ocaml
ben_zen has joined #ocaml
ben_zen is now known as Guest72875
_habnabit has joined #ocaml
diml_ has joined #ocaml
IbnFirnas has quit [*.net *.split]
ccasin has quit [*.net *.split]
mathieui has quit [*.net *.split]
mehdid has quit [*.net *.split]
fraggle__ has quit [*.net *.split]
fds has quit [*.net *.split]
milosn has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
wagle has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
snarkyboojum has quit [*.net *.split]
tizoc has quit [*.net *.split]
bitbckt has quit [*.net *.split]
IbnFirnas has joined #ocaml
ccasin has joined #ocaml
mathieui has joined #ocaml
mehdid has joined #ocaml
fraggle__ has joined #ocaml
fds has joined #ocaml
milosn has joined #ocaml
bernardofpc has joined #ocaml
wagle has joined #ocaml
Asmadeus has joined #ocaml
snarkyboojum has joined #ocaml
tizoc has joined #ocaml
bitbckt has joined #ocaml
groovy2shoes has joined #ocaml
Guest72875 is now known as ben_zen
<pippijn> wmeyer`: hi
groovy2shoes has quit [Quit: Computer has gone to sleep]
eikke has quit [Ping timeout: 258 seconds]
rly has quit [Quit: WeeChat 0.3.7]
eikke has joined #ocaml
frogfoodeater has joined #ocaml
bobry has joined #ocaml
Neros has quit [Ping timeout: 252 seconds]
frogfoodeater has quit [Ping timeout: 240 seconds]
<ousado> pippijn: hello :)
gnuvince has quit [Ping timeout: 252 seconds]
<ousado> pippijn: I can hear some lonesome project weeping on some harddisk of yours .. ;P
<pippijn> I'm sorry
<pippijn> ousado: I'm in china, it's a bit turbulent
<ousado> no worries
<pippijn> I'll do it at the end of next week
<ousado> sure, no rush
<pippijn> do you use any software for todo lists?
<ousado> actually I'm writing one, currently
<ousado> gotta organize my stuff
<pippijn> what are its features?
cross has quit [Quit: leaving]
<ousado> none, so far, but it's a bigger thing, integrated with project management
<pippijn> ah
<pippijn> I need something integrated with my system and workflow
<ousado> meaning project-specific workspace configurations, storing/reloading commandline histories, project aware email, starting up applications etc.
<pippijn> I don't have a large integrated something, I just have a collection of small utilities that work together
<ousado> mostly html base UI
<ousado> *based
<ousado> I'm using node-webkit for that, which is awesome if you don't have to write JS
<pippijn> well, if it exports a json service, I might want to use it
<pippijn> right now I have something (remind) that tells me when something is due
<pippijn> but I also need something that tells me what will soon be due
<ousado> :)
<pippijn> actually I just need a todo list somewhere
<pippijn> remind requires dates
cross has joined #ocaml
<pippijn> a todo list is general: this ought to be done, rather sooner than later
<flux> pippijn, many swear by emacs' org-mode :)
<pippijn> I swear by "one tool per job"
<flux> the best feature of it is that the todo list is just text
<pippijn> I don't live in an editor
<flux> (very) basically: * TODO title\ncontents here
<pippijn> I live in a window manager
<ousado> pippijn: which one?
<pippijn> xmonad
<ousado> I'm evaluating gnome shell currently
<ousado> I'd take a shot at xmonad, but I need a WM that's scriptable with some language haxe supports
<pippijn> oh
<ousado> so I guess I'll have to do the tiling part myself
<pippijn> yeah, that's probably not totally trivial
<ousado> there are some existing extensions, doesn't look too bad
<pippijn> you'd need an interface of some sort
<ousado> you mean for xmonad?
<rks> ousado: why do you want « some language haxe supports » ?
<pippijn> if you want to script it in haxe, yes
<ousado> because my whole infrastructure is written in haxe
<pippijn> you're wrong
<pippijn> in my opinion
<ousado> how so?
<pippijn> my infrastructure interfaces in language-independent ways
<pippijn> parts are in haskell, ocaml, shell script, perl, ...
<pippijn> C
<ousado> yes, I hate that :)
<pippijn> I like that
<ousado> and it has to be easily deployable somewhere else in the end
<pippijn> mine is trivial to deploy
<ousado> and haxe itself is a language independent thing already
<pippijn> just install the necessary software, start an update command, done
<pippijn> I've recently moved to a new laptop
<pippijn> after 45 minutes download, a few seconds compiling, everything was there and working
<ousado> sounds good. do you think anyone else but you would be able to use that setup directly?
<pippijn> no
<pippijn> if you don't know the WM keybindings, you're lost
<ousado> so with a cheatsheet everything would be fine?
<pippijn> yes
ollehar has joined #ocaml
smondet has joined #ocaml
adahlberg has joined #ocaml
jack__ has joined #ocaml
<jack__> hello :)
hto has quit [Read error: Connection reset by peer]
<jack__> help
<ousado> jack__: hello
<jack__> /join #ocaml
<ousado> jack__: you're in ocaml already
<jack__> let is_there_somebody status = match status with | No -> "No answers x(" | Yes -> "COOOL xD"
<jack__> let is_there_somebody status = match status with | No -> "No answers x(" | Yes -> "COOOL xD" | _ -> "WHAT ?!"
<jack__> /server irc.freenode.net
<jack__> /SERVER irc.freenode.net
<ousado> o_O
jack__ has quit [Quit: Page closed]
<adahlberg> Hello. Picking up on ocaml. I have a function that combines 2 lists, alternating each head and inserting it to the final list. I was wondering how to insert a tuple into a list. I would like my function to return a list of tuples like so [(list1[0], list2[0]), (list1[1], list2[1]) ...) I have the combination done. I just don't understand the tuple part :/
<adahlberg> let rec combine x y =
<adahlberg> match x, y with
<adahlberg> a::x', b::y' -> a::b::(combine x' y')
<adahlberg> | [], l | l, [] -> l
<adahlberg> ;;
<adahlberg> Thanks in advance!
<companion_cube> replace a::b:: by (a,b)::
<adahlberg> I knew it had to be something simple. Thanks!
<ggole> List.combine
<companion_cube> adahlberg: be careful, your last rule isnt' well typed
<ggole> adahlberg: are you reimplementing library functions as an exercise?
<companion_cube> maybe the case where lists do not have the same length is different here
<companion_cube> (like, truncate at the shortest list rather than fail)
<ggole> There's two reasonable choices: error, or truncate
<ggole> Yeah
ttamttam has quit [Quit: ttamttam]
hto has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
gnuvince has joined #ocaml
zbroyar has joined #ocaml
ttamttam has joined #ocaml
zbroyar has left #ocaml []
ocp has joined #ocaml
mikurubeam has joined #ocaml
cdidd has quit [Remote host closed the connection]
mye_ has joined #ocaml
darkf has quit [Quit: Leaving]
mye has quit [Ping timeout: 245 seconds]
mye_ is now known as mye
Neros has joined #ocaml
wwilly has quit [Read error: Connection reset by peer]
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
rwmjones has quit [Ping timeout: 256 seconds]
hkBst has quit [Ping timeout: 256 seconds]
ulfdoz has quit [Read error: Operation timed out]
rixed has quit [Ping timeout: 245 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
ulfdoz has joined #ocaml
rwmjones has joined #ocaml
SanderM has joined #ocaml
Uvs has joined #ocaml
<orbitz> are .cmi files native compiled or does it not really have a native/byte distinction?
<adrien_oww> cmi are only about the interface
<orbitz> so there is no real meaningful distinction there?
<adrien_oww> fun fact that isn't so funny: when building .cmx files and you don't have a corresponding .mli file, ocamlbuild will create a .cmo in order to create a .cmi as a byproduct
<orbitz> hah
<adrien_oww> there is _no_ distinction
<orbitz> ok
AlexB_ has joined #ocaml
<orbitz> adrien_oww: see, these are the reasons I'm writing my own version of ocamlmakefile :)
<orbitz> i get to learn all these wonderful facts
<adrien_oww> learning them has been fun and I've also been happy to forget about all the details
<AlexB_> Hi everyone! Basic question: I've a file foo.ml that defines a few trivial functions. I've another file, bar.ml, in the same directory, that use some functions from foo.ml, so it begins with the open Foo;; directive. Everything compile and run smoothly. Now I want to use some functions from bar.ml in the toplevel, so I do #use "bar.ml";; but get Error: Unbound module Bar. How do I do this?
<adrien_oww> #use is basically copy-pasting in the toplevel
<adrien_oww> unlike compiling "foo.ml" which defines a module "Foo", #use doesn't
<adrien_oww> I haven't heard of a way to use the same files no matter whether you're compiling or use'ing from the toplevel
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I have been trying to tell you all along).]
beginner42 has joined #ocaml
<AlexB_> so I should compile foo.ml first, then use #load?
<adrien_oww> that's a good way to do it, yes
<AlexB_> Let me try this :)
mikurubeam has joined #ocaml
<beginner42> can i get the internal string representation of a polymorphic variant?
<adrien_oww> does it even exist?
<Kakadu> beginner42: Have u already read a manual about interfacing C?
<beginner42> Kakadu: once or twice, but its been a while
<adrien_oww> the polymorphic variants are hashes internally, not strings
<Kakadu> but polymorhic variants with arguments are blocks
<ggole> The tag value is a hash
<beginner42> where can i read about that?
<beginner42> i would not need arguments
<ggole> The docs have a section on interfacing with C
<Kakadu> beginner42: http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual033.html http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&ved=0CDQQFjAA&url=http%3A%2F%2Fwww.linux-nantes.org%2F~fmonnier%2Focaml%2Focaml-wrapping-c.php&ei=i2VUUYSqPIv4sgb00YGQAQ&usg=AFQjCNG9ez31j4EqEbg96laVoYschPJ5Xg&sig2=q7bje1E8ASztNwvaJ5QQtw&bvm=bv.44342787,d.Yms
<ggole> It includes some information on representation of caml values
<Kakadu> oops, sorry
wwilly has joined #ocaml
wwilly has quit [Remote host closed the connection]
<beginner42> thank you, that seems to fit perfect :)
Zerker has quit [Ping timeout: 258 seconds]
Zerker has joined #ocaml
<beginner42> i want to translate a set of commands to a string and add it as first frame on a multiframe message
<beginner42> only one command per message
<AlexB_> @adrien_oww: It works. Thank you very much!
gnuvince has quit [Ping timeout: 264 seconds]
josch_ has quit [Ping timeout: 240 seconds]
josch_ has joined #ocaml
josch_ has quit [Changing host]
josch_ has joined #ocaml
LeNsTR is now known as lenstr
awm22 has quit [Quit: Leaving.]
mort___ has joined #ocaml
tane has quit [Quit: Verlassend]
AlexB_ has quit [Quit: Page closed]
dwmw2 is now known as dwmw2_gone
awm22 has joined #ocaml
paddymahoney has joined #ocaml
rixed has joined #ocaml
mika1 has quit [Quit: Leaving.]
cago has left #ocaml []
mye has quit [Quit: mye]
Snark has quit [Ping timeout: 246 seconds]
Snark has joined #ocaml
corecode has joined #ocaml
<corecode> hi
Neros has quit [Ping timeout: 248 seconds]
_yezariaely is now known as yezariaely
Yoric has quit [Ping timeout: 246 seconds]
ttamttam has quit [Quit: ttamttam]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
brendan_ has joined #ocaml
brendan_ is now known as brendan
mort___ has quit [Remote host closed the connection]
mort___ has joined #ocaml
mort___ has quit [Remote host closed the connection]
Zerker has quit [Ping timeout: 255 seconds]
Kakadu has quit []
mort___ has joined #ocaml
beginner42 has quit [Quit: irc2go]
mort___ has quit [Remote host closed the connection]
mort___ has joined #ocaml
Zerker has joined #ocaml
hkBst has quit [Quit: Konversation terminated!]
SanderM has quit [Read error: Connection reset by peer]
bobry has quit [Ping timeout: 245 seconds]
Neros has joined #ocaml
mort___ has quit [Quit: Leaving.]
rwmjones has quit [Read error: Operation timed out]
rwmjones has joined #ocaml
ttamttam has joined #ocaml
awm22 has quit [Ping timeout: 248 seconds]
bobry has joined #ocaml
adahlberg has quit [Remote host closed the connection]
ttamttam has quit [Remote host closed the connection]
eikke has quit [Ping timeout: 258 seconds]
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I have been trying to tell you all along).]
ggole has quit []
mikurubeam has joined #ocaml
Zerker has quit [Ping timeout: 240 seconds]
Kakadu has joined #ocaml
Zerker_ has joined #ocaml
IbnFirnas has quit [Ping timeout: 252 seconds]
lopex has quit [Ping timeout: 245 seconds]
AlexB_ has joined #ocaml
bobry has quit [Ping timeout: 264 seconds]
tane has joined #ocaml
<AlexB_> Yet-another-newbie workflow question. I'm working on a simple file with a trivial foo functions in it. I make a small modification on foo, and I want to see the result in the toplevel. What's the best way to do this? The only way I found is super inefficient (close the toplevel, recompile with ocamlc, reopen the toplevel, load the file, open the module)
<AlexB_> asked differently, is there a toplevel command to reset the bindings (just like f(). does in Erlang)?
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I have been trying to tell you all along).]
ontologiae has quit [Ping timeout: 248 seconds]
ollehar has joined #ocaml
amaloz has joined #ocaml
<adrien> first, you don't have to "open" modules to use them
<adrien> you also don't need to close the toplevel and reopen it to load a module
<Leonidas> I have switched to using unit tests, because these can be automated
<adrien> the values from the new module will simply shadow the ones from the previous module
<adrien> and depending on what you're doing, you can copy paste the contents of the file directly in the toplevel :P
<AlexB_> ok let me try that thanks!
<wmeyer`> adrien: o/
<adrien> morning wmeyer`
<wmeyer`> hello adrien
<bernardofpc> copy paste the contents of the file directly in the toplevel -> isn't there a cleaner method to "input" a file in the toplevel ?
<adrien> #use "file.ml";;
ocp has quit [Ping timeout: 255 seconds]
mikurubeam has joined #ocaml
gnuvince has joined #ocaml
lopex has joined #ocaml
<AlexB_> @adrien: "first, you don't have to "open" modules to use them"... it doesn't work for me: #load "foo.ml";; foo;; Error: Unbound value foo
<AlexB_> open Foo;;
<AlexB_> foo;;
<AlexB_> "hello world"
<AlexB_> ohhh
<AlexB_> Foo.foo...
<AlexB_> got it
<AlexB_> thanks guys!!!
<Kakadu> omg, this QML is strange.... http://wstaw.org/m/2013/03/28/plasma-desktopmu4913.png
<Kakadu> cool bug
paddymahoney has quit [Remote host closed the connection]
wwilly has joined #ocaml
* Kakadu hopes to finish QML-based ocamlbrowser clown
<corecode> is there a way to run ocaml on unhosted systems? (bare metal)
<corecode> well, ocaml binaries, not the compiler :)
<adrien> clone, not clown :P
<adrien> although it'd be funny ;-)
adahlberg has joined #ocaml
<adrien> corecode: have a look at mirage OS
<Kakadu> adrien: I know. I have remembered a joke about it and it is on tip of my tongue
<corecode> adrien: i'm more looking into microcontrollers; 32KB flash, 4KB RAM, that thing
<pippijn> I wan an ocamlbrowser clown
<Leonidas> # let f ?(foo = 1) ~bar = foo + bar;;
<Leonidas> # f 2;;
<Leonidas> - : int = 3
<Leonidas> # f ~bar:2;;
<Leonidas> - : ?foo:int -> int = <fun>
<Leonidas> why do I get a function when I pass a named argument?
paddymahoney has joined #ocaml
<ollehar> partial application?
<Leonidas> ollehar: but when I pass the same value, unnamed, I get a value
yacks has quit [Quit: Leaving]
<adrien> corecode: ocapic?
<ollehar> Leonidas: ah, sorry, don't know
<adrien> Leonidas: the ?(foo=1) argument is an optional argument
<adrien> so, it's, well, optional :-)
<adrien> ah
<adrien> had read too quickly
<Leonidas> adrien: but I am passing bar. I think.
<adrien> btw, if you have a function f ~foo ~bar ~baz, you can call f ~foo:1 ~bar:2 ~baz:3 or f 1 2 3
Yoric has joined #ocaml
<corecode> adrien: yea, i'm having a look at that
<corecode> adrien: but that doesn't compile to native code
<adrien> corecode: keep in mind that bytecode can be smaller than native code and native code is more work
<adrien> which CPU?
<Leonidas> adrien: that's what I would expect. but as you see, f 2 is not equal to f ~bar:2
<pippijn> if you have function f ?foo ~bar ~baz, you can't call f 1 2 3
<pippijn> (by the way)
<corecode> adrien: armel or avr8
<Leonidas> so I should move the optional arguments to the end, right?
<corecode> hi Leonidas
<Leonidas> hi corecode
<corecode> i think i've seen you elsewhere
<corecode> ##e?
<adrien> Leonidas: to my headache-mind it seems it doesn't make much sense to do the partial application you're describing except in trivial cases
<adrien> I doubt the compiler could properly decide which argument to omit
<Leonidas> corecode: no, I don't think so. But I've been around on freenode for quite some time, so possibly somewhere else :)
tianon has quit [Quit: "I'm a very important man. I've got a tower!"]
<pippijn> Leonidas: no, optional arguments at the end are not optional
<adrien> corecode: well, ocapic is interesting for the lower memory usage and openmirage is interesting for the approach (link in the OS)
<adrien> I'm not aware of something that combines the two
<Leonidas> pippijn: so, uhm, how can I combine optional arguments and named arguments?
<corecode> adrien: thanks
<corecode> the problem with ocapic is that it is entirely unportable because written in pic assembly :/
<adrien> the GC is?
<adrien> but it's a very short and simple one
<Leonidas> or, whatever, I don't even know how to call the function that I get from f ~bar:2: - : ?foo:int -> int = <fun>
<Leonidas> it looks like it would force me to specify the optional argument which I don't want to do
<adrien> hmm, right; for optional arguments the function should have at least one fixed argument
<adrien> like : let f ?foo ~bar () = ...
<adrien> the () will indicate when you're done
<adrien> otherwise, you can still use: ~foo:None
<adrien> since that's how it's implemented anyway
<corecode> adrien: the VM is
Zerker_ has quit [Ping timeout: 255 seconds]
<Leonidas> hmm, alright. Good to know. I think I'll just remove the label from foo and call it done. Not a big fan of passing unit around if not required.
awm22 has joined #ocaml
<Leonidas> adrien: thanks for explaining.
Zerker has joined #ocaml
<ollehar> anyone used dependent ml?
adahlberg has quit [Remote host closed the connection]
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I have been trying to tell you all along).]
thomasga has joined #ocaml
<AlexB_> It was said here a bit earlier that it is not needed to restart/reset the toplevel between calls to #load on the same file, but I get "The files foo.cmo and foo.cmo disagree over interface Foo", any pointers?
<wmeyer`> did you recompile your .mli file too?
<AlexB_> I used ocamlc, and do not produce any .mli file at any point in the process...
<AlexB_> I did wipe all .cmo, .cmi files between calls to ocamlc
tianon has joined #ocaml
_habnabit has quit [Remote host closed the connection]
<AlexB_> it's a bit frustrating, I'm sure there's an easy way to to reload a file in the toplevel
_habnabit has joined #ocaml
Snark has quit [Quit: Quitte]
mikurubeam has joined #ocaml
paddymahoney has quit [Remote host closed the connection]
bobry has joined #ocaml
watermind has joined #ocaml
<corecode> :/ over 100 VM opcodes
ulfdoz has quit [Ping timeout: 255 seconds]
gnuvince has quit [Ping timeout: 264 seconds]
Anarchos has joined #ocaml
ollehar has quit [Ping timeout: 255 seconds]
Uvs has quit [Quit: Uvs]
gnuvince has joined #ocaml
manud has joined #ocaml
mikurubeam has quit [Ping timeout: 264 seconds]
<Leonidas> AlexB_: have you seen Martins answer to that?
<AlexB_> yeah using Ledit?
paddymahoney has joined #ocaml
<Leonidas> AlexB_: and using a build system
<Leonidas> personally, I use rlwrap, but whatever
answer_42 has quit [Ping timeout: 256 seconds]
<AlexB_> in a nutshell, what does rlwrap does? someone else told me to use it
<AlexB_> I just want to reload a file in the toplevel, without restarting it... I might be missing something but I would have thought this is a very common action in a programmer workflow
<Leonidas> AlexB_: rlwrap wraps readline around the toplevel
<Leonidas> so you can arrow-up your past inputs
_andre has quit [Quit: leaving]
<Leonidas> AlexB_: and I can relate, I think the toplevel is quite bad
<AlexB_> this is certainly useful, but I dont see how it help solve my problem
<Leonidas> AlexB_: My recommendation is to use OUnit and write unit tests instead of using things in the toplevel
<Leonidas> if you need to test small things, you can use the toplevel and use the arrow keys to autocomplete stuff from your previous toplevel session
<AlexB_> Ok, thanks for the input Leonidas, it's appreciated!
<AlexB_> I've had success using unit tests in OCaml before, I guess I'll have to be more TDD and less REPL-DD..
<Leonidas> I can absolutely see your point, I love to try things out in the repl. especially as it is the only thing that can actually print out the outputs without having to write custom printers. :-/
Zerker has quit [Remote host closed the connection]
icarot has joined #ocaml
manud has quit [Ping timeout: 248 seconds]
AlexB_ has quit [Ping timeout: 245 seconds]
Zerker has joined #ocaml
ulfdoz has joined #ocaml
ttamttam has joined #ocaml
Pantoufle has quit [Ping timeout: 246 seconds]
mikurubeam has joined #ocaml
oriba has joined #ocaml
gnuvince has quit [Ping timeout: 248 seconds]
ttamttam has quit [Remote host closed the connection]
manud has joined #ocaml
Kakadu has quit []
awm22 has quit [Ping timeout: 260 seconds]
awm22 has joined #ocaml
wwilly has quit [Quit: Leaving]
manud has quit [Ping timeout: 248 seconds]
manud has joined #ocaml
manud has quit [Ping timeout: 260 seconds]
Zerker has quit [Quit: Colloquy for iPad - Timeout (10 minutes)]
Siphonblast has joined #ocaml
icarot has quit [Ping timeout: 264 seconds]
<watermind> hello, I'm trying to install Core from Jane Street
<watermind> I installed Opam and then used it to install core, core_extended and async
<watermind> furthermore I used these instructions to add core and friends to the toplevel
<watermind> but now when running ocaml I get the following error messages:
<watermind> e.g. No such package: core
<watermind> so I'm a bit lost... if core is installed with opam, why is it not found by ocaml
<watermind> am I missing some configuration step so that findlib does know where to get core from?
thomasga has quit [Quit: Leaving.]
<watermind> here is my .ocamlinit
fraggle__ has quit [Read error: Connection reset by peer]
<watermind> nevermind
<watermind> I think I know what it is
watermind has quit [Quit: Konversation terminated!]
amaloz has quit [Remote host closed the connection]
cdidd has joined #ocaml
watermind has joined #ocaml
fraggle_ has joined #ocaml
ollehar has joined #ocaml
smondet has quit [Ping timeout: 256 seconds]
djcoin has quit [Quit: WeeChat 0.3.9.2]
Siphonblast has quit [Quit: leeave()]
icarot has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Client Quit]
gnuvince has joined #ocaml
ulfdoz has quit [Ping timeout: 260 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
Yoric has quit [Ping timeout: 246 seconds]
watermind has quit [Quit: Konversation terminated!]
mikurubeam has quit [Quit: reboot]
tani has joined #ocaml
tane has quit [Ping timeout: 264 seconds]
mikurubeam has joined #ocaml
darkf has joined #ocaml