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
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
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
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