<pyon>
How do I project from a tuple? (Similar to Standard ML's #1, #2, #3, etc.)
tautologico has joined #ocaml
msaegesser has quit [Ping timeout: 255 seconds]
msaegesser has joined #ocaml
<adrien>
you don't
<adrien>
let a, _, _ = triplet in
<adrien>
...
<adrien>
or let a, _b, _c = triplet in ...
<Drup>
(not that fst and snd for pairs are predefined)
<Drup>
note*
<mrvn>
unfortunately one can't write 'let a, ... = n_let in '
englishm has joined #ocaml
tobiasBora has quit [Quit: Konversation terminated!]
pango has quit [Ping timeout: 245 seconds]
shinnya has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
rz has quit [Quit: Ex-Chat]
rz has joined #ocaml
q66 has quit [Quit: Leaving]
tautologico has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
pango has joined #ocaml
ontologiae has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
rz has quit [Quit: Ex-Chat]
jao` has quit [Ping timeout: 272 seconds]
zarul has quit [Ping timeout: 264 seconds]
siddharthv has joined #ocaml
siddharthv has quit [Client Quit]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
philtom has joined #ocaml
philtom has quit [Read error: No route to host]
milosn has quit [Ping timeout: 240 seconds]
milosn has joined #ocaml
zarul has joined #ocaml
zarul has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 246 seconds]
jbbza has joined #ocaml
<jbbza>
Type Checker is killing me
avi___ is now known as avi__
<jbbza>
1) Set a reference to a list, 2) Pass it to an function, which may or may not update the reference 3) Attempt to dereference it for a function call and Ocaml says the types are not compatible
<jbbza>
Error: This expression has type 'a list but an expression was expected of type (((string * string * int * 'b list) list -> (string * string * int * 'b list) list -> unit) * Set.t * 'a list ref * (string * string * int * 'b list) list * (string * string * int * 'b list) list) list list
<jbbza>
Should be compatible...
<mrvn>
nope
ontologiae has quit [Ping timeout: 245 seconds]
<jbbza>
Please elaborate
<mrvn>
the two types are not the same
<mrvn>
Note that there is a 'a in the second one
<jbbza>
Yeah, but 'a has the type of that entire type
<jbbza>
ocaml just did not deduce it for some reason
<mrvn>
that would be (((((string * string * int * 'b list) list -> (string * string * int * 'b list) list -> unit) * Set.t * 'a list ref * (string * string * int * 'b list) list * (string * string * int * 'b list) list) list) as 'a) list
<jbbza>
Yes, 'a has that type
<mrvn>
doubtfull. And I think that would need -rectypes
<jbbza>
Its not doubtful since I wrote the program, but thanks
<mrvn>
try defining a type and annotating it
<jbbza>
I'll look into that. Rectypes worked, thanks for the help
<mrvn>
Then you need to encapsulate it in a constructor.
samrat has joined #ocaml
malo_ has quit [Ping timeout: 272 seconds]
jbbza has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
ZenosDance has joined #ocaml
oscar_toro has joined #ocaml
ggole has joined #ocaml
<mrvn>
do you mean a spin lock?
Kakadu has joined #ocaml
demonimin has quit [Remote host closed the connection]
demonimin has joined #ocaml
chris2 has quit [Ping timeout: 272 seconds]
shinnya has joined #ocaml
axiles has joined #ocaml
chris2 has joined #ocaml
Mandus has quit [Ping timeout: 246 seconds]
ZenosDance has quit [Ping timeout: 272 seconds]
Mandus has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
MercurialAlchemi has joined #ocaml
gereedy has quit [Ping timeout: 240 seconds]
gereedy has joined #ocaml
hhugo has joined #ocaml
pminten has joined #ocaml
<companion_cube>
whitequark: why do you need to specify "yojson" in your deriving library?
<companion_cube>
you could just copy the type definition and underline it's compatible with yojson's one
Simn has joined #ocaml
rand000 has joined #ocaml
<whitequark>
companion_cube: I'll ask the inverse question: why would I want to do that?
<companion_cube>
because the type might be compatible with jsonm too, for instance :)
<whitequark>
what?
<whitequark>
jsonm is a purely streaming codec
<companion_cube>
hmm right
<companion_cube>
nevermind, I thought yojson wasn't the only non-streaming json lib
zarul has quit [Ping timeout: 255 seconds]
milosn_ has joined #ocaml
milosn_ has quit [Client Quit]
milosn_ has joined #ocaml
milosn_ has quit [Client Quit]
dnm has joined #ocaml
<whitequark>
"Effectivement, le "::" n'est pas un véritable opérateur, mais bien un constructeur de type."
<whitequark>
>véritable opérateur
<ggole>
?
dnm has quit [Ping timeout: 276 seconds]
hhugo has quit [Quit: Leaving.]
<def`>
'true operator' although this sentence is wrong
<def`>
it's not a type constructor either (:|)
<Drup>
(soon™)
<whitequark>
it's pretty impressive how many french loanwords english has
<whitequark>
I think it was like 80% overall?
<def`>
soon what?
<Drup>
(I spoke with doligez, he said "we will look at it during the next weeks")
tautologico has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tautologico has joined #ocaml
zpe has joined #ocaml
hhugo has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
morphles has joined #ocaml
<morphles>
Anyone here using oscigen/eliom? I'm trying the tutorial, but I'm having a problem, generated javascript does not run. Tutorial says alert should pop on page load but it does not. Maybe someone has any idea why that might be?
oriba_ is now known as oriba
<whitequark>
morphles: I can't really say what your problem is with so little details, but here is an example that I know to work: https://github.com/whitequark/eliom-example
<whitequark>
maybe that helps
ygrek has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
oriba has quit [Quit: Verlassend]
lbaan has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
ZenosDance has joined #ocaml
tautologico has quit [Ping timeout: 264 seconds]
mhi^ has quit [Quit: Lost terminal]
mcclurmc has quit [Remote host closed the connection]
samrat has quit [Quit: Computer has gone to sleep.]
mhi^ has joined #ocaml
morphles has quit [Ping timeout: 245 seconds]
wwilly has quit [Ping timeout: 260 seconds]
axiles has quit [Quit: Quitte]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 255 seconds]
Submarine has quit [Quit: Leaving]
Hannibal_Smith has quit [Remote host closed the connection]
hhugo has quit [Quit: Leaving.]
<ygrek>
can anybody succeed installing opam-publish?
<ygrek>
it fails at building cudf
<ygrek>
with # ocp-build -init: unknown option '-scan'
<whitequark>
ocp-build :/
<whitequark>
I think ocp-index install fails with same error
<ygrek>
yes, that's not the first time it fails the build for me
* ygrek
wonders does anybody care or it is some sort of ocp-mafia?
tobiasBora has joined #ocaml
sad0ur has quit [Ping timeout: 276 seconds]
ygrek has quit [Ping timeout: 246 seconds]
gperetin has quit [Ping timeout: 260 seconds]
gperetin has joined #ocaml
thomasga has joined #ocaml
Nahra` has quit [Ping timeout: 245 seconds]
tane has quit [Quit: Verlassend]
sad0ur has joined #ocaml
thomasga has quit [Quit: Leaving.]
Kakadu has quit [Quit: Konversation terminated!]
<tobiasBora>
Hello !
<philed>
Yo!
<tobiasBora>
I need to know in an Ocaml script if an Ocaml library is installed ? What is the best way to install it ?
<tobiasBora>
*to check if the library is installed
<philed>
Oh. No idea. Does ocamlfind expose an API ?
<tobiasBora>
Well if so I don't see any documentation...
abbe has quit [Read error: Connection reset by peer]
<def`>
then no completion query made its way to merlin :'
<philed>
Merlin is awesome btw. I used to be extremely jealous of Fsharpers in Visual Studio. Not at all any more.
thizanne has joined #ocaml
<def`>
and auto-complete or company-mode ?
<def`>
philed: thanks :)
<ggole>
I think I've mistaken some of the existing emacs completion machinery for merlin :/
<def`>
:D
<ggole>
But why was there a change in behaviour when I updated?
ZenosDance has quit [Ping timeout: 272 seconds]
<def`>
I can't tell. But you still didn't answer my question, which could help pointing out the problem
<def`>
… Which makes me guess it is auto-complete. I added some "magic auto config" for beginners, but that shouldn't affect you
<ggole>
auto-complete-mode seems to work ok
<ggole>
It's M-TAB that is the culprit
<ggole>
But that's not your concern, that's tuareg-mode.
<ggole>
Sorry for the mistake.
<def`>
Strange :|
<def`>
And you're welcome.
* ggole
wonders if merlin could be persuaded to help M-TAB
<ggole>
But I'll consider that tomorrow, time for bed.
<ggole>
Thanks again.
ggole has quit []
ustunozgur has joined #ocaml
dnm has joined #ocaml
rand000 has quit [Quit: leaving]
WraithM has joined #ocaml
ollehar has joined #ocaml
zozozo has joined #ocaml
Thooms has quit [Ping timeout: 255 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
Simn has quit [Quit: Leaving]
ollehar has quit [Quit: ollehar]
malo_ has joined #ocaml
oriba has joined #ocaml
cody__ has joined #ocaml
ontologiae has quit [Ping timeout: 276 seconds]
martintrojer has quit [Ping timeout: 255 seconds]
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
darkf has joined #ocaml
martintrojer has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
<tobiasBora>
Hello !
<tobiasBora>
I've a pretty strange behaviour with cmdliner
<tobiasBora>
I've configured the script to match "create_website" (like git add, here add=create_website), but when I call in command line juste "create" it works !
<tobiasBora>
Is it a normal behaviour to "autocomplete" ?
<tobiasBora>
(note that even with "cre" it works, but not with "c")
<tobiasBora>
def`: Thank you for the API I didn't saw your answer !
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
mcclurmc has joined #ocaml
tobiasBora has quit [Quit: Konversation terminated!]