<Guest48350>
Hi guys, I need little help http://pastebin.com/pKryvTRu why I get errors? I just want to change value of newArtist if the "IF" expression is true
<Guest48350>
please help
yomimono has quit [Quit: Leaving]
<lyxia>
Guest48350: is that OCaml?
<Guest48350>
lyxia, yes
<lyxia>
It doesn't look like it...
<Drup>
that's not OCaml code
<Guest48350>
I'm sorry, wrong channel
Guest48350 has left #ocaml ["Leaving"]
<Drup>
^^'
<Enjolras>
what is it btw ? python ?
<Enjolras>
hmm no, there is an =
nightuser has quit [Ping timeout: 265 seconds]
<Drup>
That's what I was asking my self
<Drup>
It's obviously indentation aware
<Drup>
but it doesn't look like python nor SML nor haskell.
<Drup>
nor F#*
lobo has quit [Quit: leaving]
<Enjolras>
it might not be indentation aware, there is an end and ( ) after the if
<Drup>
Enjolras: but no separator between two assignements
<Enjolras>
right, but ; between the two statements
<Enjolras>
anyway.. :)
ril has joined #ocaml
ygrek has joined #ocaml
struktured has joined #ocaml
ril is now known as ril[away]
jprakash has joined #ocaml
mrm has quit [Ping timeout: 240 seconds]
jhaberku has joined #ocaml
AltGr has joined #ocaml
jhaberku_ has joined #ocaml
jhaberku has quit [Client Quit]
jprakash has quit [Ping timeout: 252 seconds]
jhaberku has joined #ocaml
jhaberku_ has quit [Read error: Connection reset by peer]
jhaberku has quit [Client Quit]
jhaberku has joined #ocaml
jhaberku has quit [Client Quit]
jhaberku has joined #ocaml
jhaberku has quit [Client Quit]
ril[away] is now known as ril
jhaberku has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
jprakash has joined #ocaml
ncthom91 has joined #ocaml
bobry has quit [Quit: Connection closed for inactivity]
ncthom91 has quit [Client Quit]
tmtwd has quit [Ping timeout: 265 seconds]
badkins has quit []
struktured has quit [Ping timeout: 252 seconds]
sqweek has quit [Ping timeout: 265 seconds]
sqweek has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
tmtwd has joined #ocaml
jhaberku has quit [Quit: Lost terminal]
mcc has joined #ocaml
<mcc>
Hi— is there a way to use ocaml open "Inside of a scope"? that is, inside of a "let" block, instead of for a whole file?
<Drup>
mcc "let open M in ..."
<Drup>
or, in a shorter way, "M.( .... )"
<mcc>
awesome, thank you
<mcc>
if I want to do two, do i just chain "let open M in let open N in … "? or chain the .s?
<Drup>
former
<mcc>
thx
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jprakash has quit [Ping timeout: 246 seconds]
jprakash has joined #ocaml
jao has quit [Ping timeout: 250 seconds]
dinasor is now known as pyon
darkf has joined #ocaml
antkong_ has quit [Quit: antkong_]
<Enjolras>
Is there a way to grab the string value of the error token in menhir ?
<Enjolras>
e = error works, but the type of e is unit
tmtwd has quit [Remote host closed the connection]
BitPuffin|osx has quit [Ping timeout: 246 seconds]
tmtwd has joined #ocaml
tmtwd has quit [Client Quit]
<mcc>
does anyone understand ocaml-ctypes?
<mcc>
i'm having some trouble understanding what the @-> operator actually does.
<mcc>
like, if you say: (window @-> int @-> int @-> string @-> returning void)
<mcc>
what are 'int" and "string" and "void"? what type/
<mcc>
what should i expect "int @-> returning void" to return?
creichert has quit [Remote host closed the connection]
<mcc>
i want to convert a list of type names to a ocaml-ctypes specification
psy_ has quit [Remote host closed the connection]
slash^ has joined #ocaml
toomuchtvrotsurb has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
swgillespie has joined #ocaml
swgillespie has quit [Max SendQ exceeded]
swgillespie has joined #ocaml
mcc has quit [Quit: This computer has gone to sleep]
mcc has joined #ocaml
mcc has quit [Client Quit]
psy_ has joined #ocaml
AlexRussia has joined #ocaml
toomuchtvrotsurb has quit [Remote host closed the connection]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ggole has joined #ocaml
shinnya has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
chris2 has quit [Ping timeout: 240 seconds]
AlexRussia has quit [Ping timeout: 256 seconds]
toomuchtvrotsurb has joined #ocaml
chris2 has joined #ocaml
xaimus has quit [Quit: leaving]
xaimus has joined #ocaml
toomuchtvrotsurb has quit [Ping timeout: 250 seconds]
slash^ has quit [Read error: Connection reset by peer]
huza has joined #ocaml
ygrek has joined #ocaml
teiresias has quit [Quit: leaving]
teiresias has joined #ocaml
ggole_ has joined #ocaml
sailorswift has joined #ocaml
ggole has quit [Ping timeout: 255 seconds]
toomuchtvrotsurb has joined #ocaml
kakadu has joined #ocaml
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Simn has joined #ocaml
sailorswift has joined #ocaml
ollehar has joined #ocaml
ely-se has joined #ocaml
xificurC has joined #ocaml
LnL has joined #ocaml
antkong has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
antkong has quit [Quit: antkong]
ollehar has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
Anarchos1 has joined #ocaml
ely-se has quit [Quit: Leaving...]
ygrek has quit [Ping timeout: 265 seconds]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
yomimono has joined #ocaml
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
zpe has joined #ocaml
<apache2>
void / unit
sailorswift has joined #ocaml
mv has joined #ocaml
native_killer has joined #ocaml
Anarchos1 has quit [Ping timeout: 260 seconds]
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
huza has quit [Ping timeout: 244 seconds]
BhavyaM has quit [Quit: Quit the channel]
antkong has joined #ocaml
|jbrown| has quit [Ping timeout: 246 seconds]
|jbrown| has joined #ocaml
yomimono has quit [Ping timeout: 260 seconds]
ely-se has joined #ocaml
pyon has quit [Quit: Can't you stop what's happening?]
sailorswift has joined #ocaml
octachron has joined #ocaml
swgillespie has joined #ocaml
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
pyon_ has joined #ocaml
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
pyon_ is now known as pyon
Anarchos1 has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
antkong has quit [Quit: antkong]
sailorswift has joined #ocaml
antkong has joined #ocaml
zpe has quit [Remote host closed the connection]
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
|jbrown| has quit [Ping timeout: 250 seconds]
nightuser has joined #ocaml
larhat2 has quit [Quit: Leaving.]
Anarchos1 has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
MercurialAlchemi has joined #ocaml
zpe has joined #ocaml
ollehar1 has quit [Ping timeout: 260 seconds]
bobry has joined #ocaml
Antoine59 has joined #ocaml
BitPuffin|osx has joined #ocaml
antkong has quit [Quit: antkong]
nightuser has quit [Ping timeout: 256 seconds]
sailorswift has joined #ocaml
larhat has joined #ocaml
nightuser has joined #ocaml
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rand000 has joined #ocaml
Tamae has joined #ocaml
<mrvn>
wasn't there a bit to check if it is ready to receive the next byte?
<mrvn>
ups
AltGr has left #ocaml [#ocaml]
NingaLeaf123 has joined #ocaml
NingaLeaf has quit [Read error: Connection reset by peer]
sailorswift has joined #ocaml
lobo has joined #ocaml
lolisa has joined #ocaml
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
sailorswift has joined #ocaml
tmtwd has joined #ocaml
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
sailorswift has joined #ocaml
kakadu has quit [Remote host closed the connection]
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ril has joined #ocaml
AlexRussia has joined #ocaml
martintrojer has quit [Ping timeout: 260 seconds]
Simn has quit [Quit: Leaving]
Simn has joined #ocaml
martintrojer has joined #ocaml
ely-se has quit [Quit: Leaving...]
<flux>
mcclurmc_, well, you can find out their type from the toplevel or the .mli?
ggole__ has joined #ocaml
ggole__ is now known as ggole
ggole_ has quit [Ping timeout: 246 seconds]
jaseemabid has joined #ocaml
<jaseemabid>
I'm unable to install ocamlfind. Error: `Could not build ocamlfind. The most common reason for that is a missing 'm4' system package.`. I do have the debian package m4 installed. What could be wrong?
<jaseemabid>
Ocaml 4.02.1 and Opam version 1.2.2 installed
nightuser has quit [Ping timeout: 245 seconds]
ely-se has joined #ocaml
octachron has quit [Quit: Leaving]
RichN is now known as Guest98165
Guest98165 has quit [Killed (card.freenode.net (Nickname regained by services))]
Guest98165 has joined #ocaml
<jaseemabid>
Anyone?
<Drup>
jaseemabid: can you pastebin "opam config report"
bobry has quit [Quit: Connection closed for inactivity]
bjorkintosh has quit [Quit: Leaving]
<Drup>
ely-se: no polymorphism ?
<ely-se>
Not yet implemented.
<Drup>
ok ^^
<ely-se>
There will be parametric polymorphism and type classes.
bjorkintosh has joined #ocaml
<Drup>
and subtyping, apparently ?
<ely-se>
No.
<ely-se>
It says "SubType", not "Subtype" :P. We call functions subroutines.
<gasche>
I find the name "mill-lang" confusing, I thought of the Mill CPU architecture and that it was a language designed to target it
<ely-se>
"subs" for short
<Drup>
ely-se: why not call them "functions" ? =')
<ely-se>
gasche: more people got confused by it. I might rename it at some point.
<gasche>
I think you lost the marketing battle at least :p
<ely-se>
Drup: I like to distinguish functions and procedures in the functions return a result whereas procedures don't, and a subroutine is either a function or a procedure.
native_killer has quit [Quit: Leaving]
<ely-se>
In fact, when sequencing expressions, all must have type unit except the last one.
<jaseemabid>
Drup: `install` command was shadowed by another stupid script in the path. All good!
jaseemabid has quit [Quit: Page closed]
<Drup>
well, all good then ? :D
mcclurmc has quit [Remote host closed the connection]
sailorswift has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<magistr>
ocaml - many troubles
<MercurialAlchemi>
Drup: is that your bot?
creichert has joined #ocaml
<Drup>
MercurialAlchemi: who ?
<MercurialAlchemi>
Drup: magistr
<Drup>
why in hell would you think that ?
<MercurialAlchemi>
well, it must be somebody's
<magistr>
rewrite a compiler
<magistr>
rewrite a stdlib
<magistr>
or a choice normal language
<MercurialAlchemi>
doesn't pass the turing test
dario1 has left #ocaml ["Konversation terminated!"]
ollehar has joined #ocaml
zpe has joined #ocaml
ollehar has quit [Ping timeout: 256 seconds]
<magistr>
and books - tapl and pure functional data structures (okasaki) uses ML language
<magistr>
Примерами неполных по Тьюрингу формализмов являются конечные автоматы, примитивно рекурсивные функции, контекстно-свободные и регулярные грамматики.
zpe has quit [Ping timeout: 240 seconds]
<Drup>
Pricey: pretty please ?
darkf has quit [Quit: Leaving]
<ely-se>
MercurialAlchemi: magistr's sole purpose here is so that you can test the /ignore command in your IRC client
<magistr>
and ocaml hasn't TCO
ollehar has joined #ocaml
<dsheets>
magistr, look, i know you're a troll but you could at least try not to say blatantly wrong things
ollehar has quit [Ping timeout: 244 seconds]
<magistr>
any functional language has TCO
<dsheets>
not clojure
<magistr>
but Ocaml is an exception
<dsheets>
it's really not, you should read the docs
* dsheets
walks away
<dmbaturin>
dsheets: It's not unlikely that magistr is not even a human.
<dsheets>
dmbaturin, perhaps... it is fucking stupid so maybe we're in some nlp trolling experiment
<dmbaturin>
Many messages look like a word previously used in conversation is used as a seed for a Markov chain or another text generation algorithm. I've seen better bots like that though.
nightuser has quit [Read error: No route to host]
<dsheets>
i don't understand why we don't have more mods... this is simply ridiculous that it's still ongoing
<dmbaturin>
The one in a Scheme channel I'm in is quite amusing.
<flux>
we have at least mrvn, maybe others :-)
<dsheets>
not enough
<Drup>
and adrien
<Drup>
but yes, not enough, apparently
<dsheets>
adrien_? adrien_znc?
<magistr>
ocaml channel is ashamed
<Drup>
dsheets: both, that's the same person
<dsheets>
i know, but they don't get alerted if you don't say their nick, potentially
<Drup>
dsheets: I pinged him yesterday already, he's probably on holiday
<dmbaturin>
adrien always responds eventually, just not always quickly.
<dmbaturin>
At least when lablgtk is involved. :)
<magistr>
and ocaml programmers are similar as Ocaml
<magistr>
so stupid and slow
matason has joined #ocaml
<dmbaturin>
magistr: Implying you are a human, there are much better trolling ideas around, if you care to actually read the docs.
ggole has quit []
swgillespie has joined #ocaml
nightuser has joined #ocaml
magistr was banned on #ocaml by flux [*!*@109.111.174.*]
magistr was kicked from #ocaml by flux [bye!]
<flux>
good thing drup pointed out I infact did have ops here.. :-)
<Drup>
flux: I like the fact that you didn't even knew it.
<flux>
I have a very dim memory of it being assigned..
<flux>
now I suppose it would be prudent to add a couple more.
<dmbaturin>
flux: It's like the classic storyline of a hero who doesn't yet know he's one. ;)
<flux>
I'm not going to grep my logs, but it must be some years ago since I've last used them, if ever :)
<dmbaturin>
Can the type of a regex matches with capture groups that can return tuples of different size depending on the regex given be expressed with GADTs?
<dmbaturin>
* regex matcher
slash^ has quit [Read error: Connection reset by peer]
<flux>
sadly it appears I am not permitted to add more +o flags to the chanserv
<dmbaturin>
Drup: You used GADTs for it?
<Drup>
dmbaturin: oh yes
<dmbaturin>
Let me see the types.
<Drup>
lot's of them
<Drup>
dmbaturin: it's a bit special purpose
<flux>
I'm guessing the founder bit is required for that
<Drup>
but really, the idea is the same
<Drup>
dmbaturin: I could extract the part doing all the regexp things
tane has joined #ocaml
Pricey has left #ocaml [#ocaml]
ygrek has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
tane has quit [Remote host closed the connection]
tane has joined #ocaml
<Drup>
dmbaturin: actually, let's do this.
<Drup>
Do you have a name proposal ? :D
ygrek has quit [Ping timeout: 255 seconds]
ollehar has joined #ocaml
<dmbaturin>
Drup: furgex? :)
<Drup>
Tregex ? :D
<Drup>
I started with TyRe, but it's too common apparently
<dmbaturin>
Reading the source, I think I get the idea but I need to play with it.
toomuchtvrotsurb has quit [Remote host closed the connection]
<Drup>
I will be Tyregex, I'm sure we can come up with numerous dinosaurs jokes.
<Drup>
It*
Anarchos1 has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
xificurC_ has joined #ocaml
xificurC has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Verlassend]
ygrek has joined #ocaml
matason has quit []
oscar_toro has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Ping timeout: 245 seconds]
Nahra has joined #ocaml
jbrown has joined #ocaml
QuanticPotato has joined #ocaml
ril has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
higgs has joined #ocaml
xificurC_ has quit [Ping timeout: 245 seconds]
antkong has joined #ocaml
QuanticPotato has quit [Ping timeout: 252 seconds]
<dinosaure>
hmmmhmmm, quand on utilise jsoo, on est obligé d'utiliser Js.string tout le temps ?
<ollehar>
dinosaure: english
<dinosaure>
oh sorry
<ollehar>
kein problem
<dinosaure>
i prefer #ocaml-fr :)
<ollehar>
no, don't split the community :(
<dmbaturin>
Sadly, learning ocaml doesn't automatically give you ability to speak french. :)
<dinosaure>
yes, my bad :) so it's possible to use native string in js_of_ocaml or it's mandatory to use Js.string ?
<dinosaure>
i'm lazy to convert all my code for js_of_ocaml
mcc has joined #ocaml
badkins has joined #ocaml
<mcc>
Hello-- I am writing ocaml and I have a type which I want to "scope" into a local scope. It's a structure and it's only used by three functions.
<mcc>
How do I do this? I'm seeing things suggesting it's possible, but my guess, something like let () = type foreignWrap = { bleh } in ... produces a "syntax error"
<dmbaturin>
I'm still to try it. It would be quite inconvenient if using Js.string would be required though.
<dinosaure>
hmm ok, thx
<ely-se>
mcc: make a module with that type and those three functions, and only expose the three functions, then include the module into an other module
<mcc>
if , is something like creating a local module... ok cool
<mcc>
ely: can a module be inside of a code block (like, a let () =) or does it need to be toplevel?
<mfp>
dinosaure: Js.string needed anytime you have to pass a Js.js_string Js.t (i.e., when for Javascript functions)
<mcc>
ely: i have this thing happening where I have a module that is defining a lot of functions, which instead of exporting, it actually stores into a hashtable.
<ely-se>
mcc: I think you can't have local modules.
<mcc>
ely-se: oh, that is a very compact solution.
<mcc>
ely-se: ok! thanks. i will take this all into consideration.
<mcc>
could I... *thinks* instead of "include M", could I somewhere later in the file say "open M in" ?
<dinosaure>
mfp: oh ok :d
<ely-se>
sure
<ely-se>
that also works
<mcc>
cool
<mcc>
that actually gives me most of what i wanted!
<dmbaturin>
mcc: let open M in ...
QuanticPotato has joined #ocaml
bobry has joined #ocaml
<mfp>
dinosaure: note that if you use Eliom_content.Html5.Manip instead of the DOM functions, there's likely to be less of a need for Js.js_string Js.t ...
<mfp>
(also: it is possible to use the eliom client-side lib without the server-side component)
<dmbaturin>
Anonymous structs could be fun though. let open struct ... end in ...
<mfp>
(the trick is to take the __eliom_appl_sitedata __eliom_appl_process_info, etc. values from an actual minimal Ocsigen/Eliom app and place them in your index.html)
matason has joined #ocaml
MrScout_ has joined #ocaml
MrScout_ has quit [Remote host closed the connection]
MrScout_ has joined #ocaml
QuanticPotato has quit [Quit: Leaving]
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 250 seconds]
antkong has quit [Quit: antkong]
malc_ has joined #ocaml
<ely-se>
dmbaturin: what'd be the benefit?
<ely-se>
just allowing local types instead seems more reasonable
<dmbaturin>
ely-se: Compared to local typed, probably not much.
ygrek has joined #ocaml
kakadu has joined #ocaml
ely-se has quit [Quit: Leaving...]
<mcc>
what hapepns if
<mcc>
you "open" two different modules
<mcc>
and there is a namespace collision on a struct field
<mrvn>
nothing
<mrvn>
shadowing
<mcc>
later open shadows earlier open?
<mrvn>
like with everything else
<mcc>
ok
<mrvn>
recent ocamls can use the shadowed label though if it already infered the type of the record
<mrvn>
e.g. open vec3; open vec2; let p3 = { z=1; x=2; y=2; } Since vec2 has no z ocaml knows x/y need to be from vec3 too
<mcc>
cool
<mrvn>
best not to do that though. open is kind of evil
<mcc>
yeah i'm afraid of it
<mcc>
ctypes seems to near-require it tho
<mrvn>
There is also a local open: M.(...)
<mcc>
*nodnod*
<mrvn>
things like ctypes that are ment to be opened usualy take care not to use to obvious names, like "x"
<mcc>
that makes sense
<mcc>
although ctypes is squatting on, like, "foreign" :/
<mcc>
*scratches head* if Merlin choked on "let open in" statements, how surprising would that be
<mrvn>
You can alias the ctypes module as C and then use C.whatever
<mcc>
that makes sense
<mrvn>
I frequently do that with Unix (U), Bigarray (BA) and so on.
* mrvn
channels some Garfield: "I hate mondays"
Simn has quit [Quit: Leaving]
ollehar1 has quit [Ping timeout: 265 seconds]
lordkryss has joined #ocaml
taion809 has left #ocaml ["Leaving"]
ygrek has quit [Ping timeout: 272 seconds]
malc_ has quit [Ping timeout: 260 seconds]
matason has quit []
malc_ has joined #ocaml
mv has quit [Remote host closed the connection]
toomuchtvrotsurb has joined #ocaml
toomuchtvrotsurb has quit [Ping timeout: 260 seconds]
dsheets has quit [Ping timeout: 244 seconds]
nightuser has quit [Ping timeout: 240 seconds]
bobry has quit [Quit: Connection closed for inactivity]
badkins has quit []
Haudegen has quit [Ping timeout: 265 seconds]
kandu has quit [Read error: Connection reset by peer]
kandu has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
antkong_ has joined #ocaml
Haudegen has joined #ocaml
nightuser has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]