ziyourenxiang has quit [Ping timeout: 248 seconds]
zolk3ri has quit [Remote host closed the connection]
sepp2k has quit [Quit: Leaving.]
infinity0 has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
sh0t has quit [Remote host closed the connection]
KeyJoo has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 276 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
silver has quit [Read error: Connection reset by peer]
spew has joined #ocaml
sh0t has joined #ocaml
Orion3k has joined #ocaml
baboum has quit [Quit: WeeChat 2.0.1]
al-damiri has quit [Quit: Connection closed for inactivity]
mfp has quit [Ping timeout: 264 seconds]
wagle has quit [Remote host closed the connection]
wagle has joined #ocaml
jbrown has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
letoh has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
sh0t has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
pierpa has quit [Quit: Page closed]
Fuddin has joined #ocaml
<Fuddin>
Hi
<Fuddin>
Is anyone here?
mbuf has joined #ocaml
<simpson>
Fuddin: Sure, but that's probably not your actual question.
jao has quit [Ping timeout: 240 seconds]
<Fuddin>
Oh hey, sorry, just noticed that now!
<Fuddin>
Okay, my actual question:
<Fuddin>
I'm on MacOS Sierra (10.12) and I'm attempting to install ocamlfind, but it's not working.
<Fuddin>
I've installed opam by doing 'brew install opam'
<Fuddin>
But whenever I do 'opam install ocamlfind', I get:
<Fuddin>
ERROR while installing ocamlfind.1.7.3-1 =================================# # opam-version 1.2.2 # os darwin # command make all # path /Users/Ryan/.opam/system/build/ocamlfind.1.7.3-1 # compiler system (4.06.0) # exit-code 2 # env-file /Users/Ryan/.opam/system/build/ocamlfind.1.7.3-1/ocamlfind-76746-d0f245.env # stdout-file /Users/Ryan/.opam/system/build/ocamlfind.1.7.3-1/ocamlfind-76746-d0f245.out
kerrhau has quit [Ping timeout: 260 seconds]
kerrhau has joined #ocaml
mbuf has quit [Quit: Leaving]
KeyJoo has joined #ocaml
<Fuddin>
Hey KeyJoo, are you there?
<def`>
Fuddin: you shouldn't work with the system switch
<def`>
try opam switch 4.05.0, update the environment (`eval opam config env`), then you should have a working setup
MercurialAlchemi has joined #ocaml
Orion3k has quit [Remote host closed the connection]
spew has quit [Read error: Connection reset by peer]
whoman has quit [Remote host closed the connection]
whoman has joined #ocaml
xfbs has joined #ocaml
xfbs has quit [Client Quit]
Fuddin has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
xfbs has joined #ocaml
<xfbs>
Good morning everyone :) Quick question, is there anything like List.find that returns an index instead of an element? Eg. List.find (fun x -> x == 6) [1; 3; 5; 6; 9; 10] = 3
argent_smith has joined #ocaml
<Fardale>
In the standard library I don't think there exist such function
dtornabene has joined #ocaml
<Fardale>
but why do you need it ? It is not common to refer to a element of a list by it index
orbifx has joined #ocaml
cbot has quit [Quit: Leaving]
freyr has joined #ocaml
KeyJoo has quit [Quit: Good luck! Have a nice Day!]
mk9 has joined #ocaml
AltGr has joined #ocaml
cuicui has joined #ocaml
zolk3ri has joined #ocaml
andreas_ has joined #ocaml
mk9 has quit [Quit: mk9]
orbifx has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
mk9 has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
<Leonidas>
ShalokShalom2: so ppx_let could potentially also work for Lwt.t, yes. I've never tried though.
<Leonidas>
xfbs: List.findi in JST Core I would assume, but as Fardale said, it is not really common on lists.
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
cuicui has quit [Read error: Connection reset by peer]
cuicui has joined #ocaml
Serpent7776 has joined #ocaml
xfbs has quit []
mk9 has joined #ocaml
igitoor has quit [Ping timeout: 256 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
igitoor has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
_andre has joined #ocaml
mfp has joined #ocaml
dhil has joined #ocaml
jimmyrcom has quit [Ping timeout: 276 seconds]
zpe has quit [Read error: Connection reset by peer]
zpe_ has joined #ocaml
kerrhau has quit [Ping timeout: 268 seconds]
kakadu has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
<dinosaure>
orbifx[m]: I have a plan to extract the e-mail parsing from my project and I think, I will finish this week end :)
ShalokShalom2 is now known as ShalokShalom
Orion3k has joined #ocaml
letoh has joined #ocaml
<hannes>
dinosaure: \o/
cuicui has quit [Read error: Connection reset by peer]
cuicui has joined #ocaml
mengu has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
<orbifx[m]>
thanks dinosaure :D
sz0 has joined #ocaml
ShalokShalom has quit [Quit: Konversation terminated!]
ShalokShalom has joined #ocaml
letoh has quit [Ping timeout: 240 seconds]
baboum has joined #ocaml
silver has joined #ocaml
letoh has joined #ocaml
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe_ has joined #ocaml
zpe has quit [Write error: Connection reset by peer]
sepp2k has joined #ocaml
Guest97355 has joined #ocaml
spew has joined #ocaml
zpe has joined #ocaml
dtornabene has quit [Remote host closed the connection]
zpe_ has quit [Ping timeout: 256 seconds]
shinnya has joined #ocaml
sh0t has joined #ocaml
groovy2shoes has quit [Ping timeout: 276 seconds]
Guest97355 is now known as Haudegen
jao has joined #ocaml
jbrown has joined #ocaml
groovy2shoes has joined #ocaml
ziyourenxiang has joined #ocaml
Jesin has quit [Quit: Leaving]
dhil has quit [Ping timeout: 240 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
jao has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 248 seconds]
govg has quit [Quit: leaving]
dhil has joined #ocaml
moei has joined #ocaml
zpe has quit [Remote host closed the connection]
mk9_ has joined #ocaml
mk9 has quit [Ping timeout: 240 seconds]
mk9_ is now known as mk9
MercurialAlchemi has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
zpe has joined #ocaml
johnelse_ has joined #ocaml
johnelse has quit [Ping timeout: 268 seconds]
jao has joined #ocaml
zpe has quit [Remote host closed the connection]
jbrown has quit [Ping timeout: 240 seconds]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
Orion3k has quit [Remote host closed the connection]
freyr has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
mengu has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
Haudegen has quit [Remote host closed the connection]
baboum has quit [Quit: WeeChat 2.0.1]
mk9 has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
jbrown has joined #ocaml
cuicui has quit [Remote host closed the connection]
sepp2k has quit [Quit: Leaving.]
Serpent7776 has quit [Quit: Leaving]
_andre has quit [Quit: leaving]
demonimin has quit [Ping timeout: 268 seconds]
demonimin has joined #ocaml
dhil has quit [Ping timeout: 264 seconds]
sz0 has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
<ShalokShalom>
Drup: Hi :) I got anwer from Don Syme about SystemF:
<ShalokShalom>
In terms of the name of the language - yes, System F was in my mind when I chose the name. And the TAST still has TType_forall, though it doesn't correspond to a source level construct precisely. But it's not right to say "F# uses System F" - it's just better to say HM+extensions. The extensions are really best described by the language specification itself, but I guess you'd summarize them as "left-to-right algorithmic
<ShalokShalom>
processing of type information, used to do type-directed name resolution of the dot notation" and "constrained HM type inference where the constraints include statically resolved member constraints" and "inline code to allow otherwise-ungeneralizable-things to be generalized"
<Drup>
yeah, that description does fit very well with what I know about F# :)
<ShalokShalom>
fine :)
<ShalokShalom>
Do I understand it correct, that these extensions are somewhat modeled on the idol of SystemF?
<ShalokShalom>
Bad Wiki, will change that.
<Drup>
not really, no, it's orthogonal
<Drup>
Those are fairly pragmatic things that you need to make a usable language out of HM :p