slash^ has quit [Read error: Connection reset by peer]
<flux>
alain91, try if this fixes it: let foo (x,a) (y,b) = let (||) = Pervasives.(||) in (x=y) || (a=b)
clog has joined #ocaml
Sorella has joined #ocaml
lobo has joined #ocaml
slash^ has joined #ocaml
<alain91>
when I run a clean toplevel then the error doesn't raise but when I include file with #use "xxx.ml";; I have got some errors and after that the behaviour of the interpreter change an I have an error when I try to do : let foo (x,a) (y,b) = (x=t) || (a=b);; the fix is to use or instead of ||. My project is to run hol-light code to test hig order logic but the code seems complicated for me
<ggole>
Does xxx.ml bind ||?
<def`>
alain91: xxx.ml redefine ||
<alain91>
I will have a look on some redefinition of ||
<alain91>
Got it. There is a redefinition of ||. Thank You :-)
Algebr2 has quit [Ping timeout: 240 seconds]
<flux>
alain91, maybe you can use #use_mod instead of #use and then selectively open the module where you need it
<gasche>
it is not very good for projects to redefine (||)
<gasche>
because there is no clean solutions for users beside if _ then true else _
alain91 has quit [Quit: Page closed]
<gasche>
it would be better for hol-light to define say (||.)
<gasche>
but the problem can also be avoided by not importing their namespace
<gasche>
for example #mod_use "xxx.ml";; and then everything declared by xxx is Xxx.foo
<ggole>
It's downright cheeky to steal || (unless you have a super-good reason, which doesn't seem likely here)
<gasche>
well hol-light is about dealing with logic, so from a very relaxed perspective it kind of makes sense to take advantage of the convenient || syntax
<gasche>
hol-light is a rather specific ecosystem that sort of defines its own conventions
<gasche>
(for example they still use a toplevel as main user interface, which I find rather amazing in a sort of horrible sense)
<ggole>
But as you pointed out, it's easy to use ||. or |.| or something and get the same precedence
<def`>
(you mean ocaml toplevel?)
<gasche>
yeah
<def`>
it makes sense to me
<def`>
the toplevel is unfriendly, but that's a problem of ocaml
<gasche>
I'm not saying it's a bad design decision
<gasche>
but in practice it's unwieldy
<gasche>
and I never had contacts from HOL users to improve things for them
<gasche>
they were exciting about binary checkpointing programs that would allow them to save a toplevel state and restore it immediately
<gasche>
s/exciting/excited/
<gasche>
but I doubt they, say, adopted utop, which would be a first sane step
<flux>
nowadays I think there are general linux solutions for that, that even might work
<gasche>
they use them when they can
<gasche>
and I think it works for them
<gasche>
but still, my point is that they are playing by their own (odd) rules, not really a part of the larger OCaml ecosystem
pierpa has joined #ocaml
<def`>
yes
<gasche>
def`: if you find that this sounds fun, you should write to John Harrison (the main dev, working at Intel), maybe you could work with him
<gasche>
(I've met him a couple of time from a distance, I think Xavier knows him a bit better)
<def`>
gasche: huhu, not particularly, I am in a troll mood but there are limits :D
<gasche>
he is doing cool stuff promoting formal verification inside Intel
<gasche>
I think it could be interesting to work on improving their OCaml ecosystem
<def`>
I heard that Intel is quite uptodate on formal verification.
<def`>
but I will keep what you said in mind :)
lewis1711 has joined #ocaml
<reynir>
It might raise an error at runtime if there's a function somewhere in the arguments
<reynir>
woops, I was scroleld up
larhat1 has quit [Quit: Leaving.]
sbrouf has joined #ocaml
toomuchtvrotsurb has joined #ocaml
toomuchtvrotsurb has quit [Ping timeout: 250 seconds]
Bahman has quit [Quit: Ave atque vale]
yegods has joined #ocaml
octachron has joined #ocaml
Algebr2 has joined #ocaml
Akshay has quit [Quit: Leaving]
Algebr2 has quit [Ping timeout: 250 seconds]
ncthom91 has joined #ocaml
lewis1711 has quit [Ping timeout: 240 seconds]
psy_ has quit [Read error: No route to host]
lobo has quit [Quit: leaving]
psy_ has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
keep_learning has quit [Quit: This computer has gone to sleep]
mac10688 has joined #ocaml
<Kakadu>
Any ideas what can lead to this kind of error? I checked fresh toplevel and it seems to be OK. Merlin also doesn't highlight this error http://paste.in.ua/1074/raw/
<Kakadu>
Error: This module is not a structure; it has type Html5_sigs.Make(Tyxml_js.Xml)(Tyxml_js.Svg).T
JacobEdelman has joined #ocaml
<Kakadu>
hmmm, I needed to add package(js_of_ocaml.tyxml) to the _tags file
ncthom91 has joined #ocaml
<Kakadu>
weird
ncthom91 has quit [Client Quit]
Algebr2 has joined #ocaml
<def`>
Kakadu: might be related to module aliases... if there is no implementation, it considers the module as being abstract
sz0 has quit [Quit: Connection closed for inactivity]
malc_ has joined #ocaml
hay207 has quit [Remote host closed the connection]
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
|jbrown| has joined #ocaml
^elyse^ has joined #ocaml
^elyse^ has quit [Client Quit]
sbrouf has quit [Ping timeout: 250 seconds]
Kakadu has quit [Quit: Page closed]
malc_ has quit [Ping timeout: 264 seconds]
tane has joined #ocaml
malc_ has joined #ocaml
Kakadu has joined #ocaml
larhat1 has joined #ocaml
Algebr2 has joined #ocaml
Druup is now known as Drup
keep_learning has quit [Quit: This computer has gone to sleep]
keep_learning has joined #ocaml
mcint has quit [Quit: mcint]
malc_ has quit [Ping timeout: 264 seconds]
keep_learning has quit [Quit: This computer has gone to sleep]
groovy2shoes has joined #ocaml
malc_ has joined #ocaml
keep_learning has joined #ocaml
keep_learning has quit [Client Quit]
malc_ has quit [Ping timeout: 272 seconds]
malc_ has joined #ocaml
ollehar1 has joined #ocaml
Guest99870 has quit [Quit: bye!]
malc_ has quit [Ping timeout: 240 seconds]
yegods has quit [Remote host closed the connection]
malc_ has joined #ocaml
rand has quit [Ping timeout: 272 seconds]
trix has joined #ocaml
ldopa has joined #ocaml
trix is now known as Guest53377
<gasche>
def`: I was reading neovim stuff on reddit and I wondered whether merlin takes advantage of its supposed API goodness
<gasche>
I know rgrinberg uses it and merlin works for him
<gasche>
but neovim seems to have a lot of stuff that should make it easier than vim to support (and maybe better possible support), so maybe a separate frontend would be interesting?
<gasche>
(eg. would neovim be an interesting host for your higher-order-sexps experiment?)
^elyse^ has joined #ocaml
Major_Bi1 has joined #ocaml
Major_Biscuit has quit [Ping timeout: 256 seconds]
JacobEdelman has quit [Quit: Connection closed for inactivity]
_whitelogger has joined #ocaml
cojy_ has joined #ocaml
johnf has quit [Read error: Connection reset by peer]
johnf has joined #ocaml
rom1504_ has joined #ocaml
reynir has quit [Disconnected by services]
reynir1 is now known as reynir
seako_ has joined #ocaml
simn__ has joined #ocaml
oskarth_ has joined #ocaml
fraggle__ has joined #ocaml
emmanueloga_ has joined #ocaml
bitbckt_ has joined #ocaml
baum_ has joined #ocaml
sigjuice_ has joined #ocaml
Algebr2 has quit [Remote host closed the connection]
Leonidas_ has joined #ocaml
habnabit has joined #ocaml
ollehar1 has quit [*.net *.split]
groovy2shoes has quit [*.net *.split]
zpe_ has quit [*.net *.split]
Sim_n has quit [*.net *.split]
kalzz has quit [*.net *.split]
rossberg_ has quit [*.net *.split]
cojy has quit [*.net *.split]
oskarth has quit [*.net *.split]
bitbckt has quit [*.net *.split]
_habnabit has quit [*.net *.split]
seako has quit [*.net *.split]
emmanueloga has quit [*.net *.split]
dexterph has quit [*.net *.split]
sigjuice has quit [*.net *.split]
Leonidas has quit [*.net *.split]
rom1504 has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
aphprentice has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
baum has quit [*.net *.split]
rfv has quit [*.net *.split]
_whitelogger_ has quit [*.net *.split]
lpaste has quit [*.net *.split]
lpaste has joined #ocaml
kalzz has joined #ocaml
groovy2shoes has joined #ocaml
seako_ is now known as seako
oskarth_ is now known as oskarth
cojy_ is now known as cojy
emmanueloga_ is now known as emmanueloga
aphprentice_ is now known as aphprentice
rossberg_ has joined #ocaml
rfv_ is now known as rfv
ceryo has joined #ocaml
dexterph has joined #ocaml
larhat1 has quit [Quit: Leaving.]
ceryo_ has joined #ocaml
ceryo has quit [Ping timeout: 250 seconds]
lobo has quit [Quit: leaving]
Major_Biscuit has joined #ocaml
|jbrown| has quit [Remote host closed the connection]
Asmadeus_ is now known as Asmadeus
BitPuffin|osx has joined #ocaml
nullcatxxx_ has joined #ocaml
govg has quit [Ping timeout: 272 seconds]
govg has joined #ocaml
Kakadu has quit [Quit: Page closed]
sbrouf has joined #ocaml
sbrouf has quit [Ping timeout: 256 seconds]
rand has quit [Quit: leaving]
Haudegen has quit [Ping timeout: 256 seconds]
ldopa has quit [Ping timeout: 240 seconds]
ldopa has joined #ocaml
ggole has quit []
Haudegen has joined #ocaml
zpe_ has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
f[x] has joined #ocaml
Kakadu has joined #ocaml
JacobEdelman has joined #ocaml
^elyse^ has quit [Quit: Leaving]
pothepanda has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
Major_Biscuit has quit [Ping timeout: 250 seconds]
Major_Bi1 has joined #ocaml
<pothepanda>
whats a good starting point to learn OCaml ?
Major_Bi1 has quit [Client Quit]
Major_Biscuit has joined #ocaml
govg has quit [Ping timeout: 256 seconds]
govg has joined #ocaml
psy_ has quit [Remote host closed the connection]
<Drup>
pothepanda: there happen to be a mooc for beginners right now :)
<pothepanda>
Drup, i saw this on the topic, but "Registration closed"
malc_ has quit [Quit: leaving]
<Drup>
oh, that's unfortunate
<pothepanda>
yup i guess it is indeed
<pothepanda>
well thanks anyway, will try the learn section from OCaml website and real world ocaml
zpe_ has quit [Remote host closed the connection]
bitbckt_ is now known as bitbckt
bitbckt has quit [Changing host]
bitbckt has joined #ocaml
<reynir>
pothepanda: the course content in creative commons BY-NC-ND licensed. I guess I then could share it with you if you're interested.
<pothepanda>
reynir, thanks but please do not bother :) i will look into other sources. if i still want to go through the course I guess I will wait. thanks anyway
<pothepanda>
want or need
habnabit is now known as _habnabit
<pothepanda>
im still trying to compile my first program though :D cant make ocamlfind find the core lib :D
<reynir>
pothepanda: OK, let me know if you change your mind :)
<bernardofpc>
pothepanda: probably you have to use "corebuild" instead of ocamlbuild if you're following RWO
<pothepanda>
bernardofpc, im stuck one step behind, as i cannot get the bytecode from ocamlc
<pothepanda>
reynir, thanks :)
groovy2shoes has quit [Quit: Leaving]
^elyse^ has joined #ocaml
ceryo has joined #ocaml
<bernardofpc>
I don't use core myself, but I guess you can use corebuild foo.byte to build the bytecode
<bernardofpc>
(use ocamlbuild/corebuild instead of trying to figure out ordering and complicated lib paths for your compilation, it will ease your learning by allowing you to focus on code-compile-test)
ceryo_ has quit [Ping timeout: 240 seconds]
<bernardofpc>
afterwards yoou can learn how it's done in the details, if that matters
groovy2shoes has joined #ocaml
rwmjones|holiday is now known as rwmjones
Guest1746 is now known as johnelse
darkf has quit [Quit: Leaving]
nullcatxxx_ has quit [Read error: Connection reset by peer]
nullcatxxx_ has joined #ocaml
groovy2shoes has quit [Quit: Leaving]
larhat1 has joined #ocaml
systmkor has quit [Ping timeout: 272 seconds]
BitPuffin|osx has quit [Ping timeout: 240 seconds]