ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
<adrien> 00:51 Drup : simply : shared constants
<adrien> you forgot the quotes around "constants" ;p
oriba_ has joined #ocaml
ptc has joined #ocaml
ptc is now known as Guest56898
<companion_cube> I just realized that if assemblage gets production-ready, we'll get to use merlin with it
<Drup> adrien: shared string literals
<Drup> :D
iorivur has joined #ocaml
oriba has quit [Ping timeout: 264 seconds]
<adrien> :)
iorivur has quit [Ping timeout: 264 seconds]
reem has quit [Remote host closed the connection]
manud has joined #ocaml
travisbrady has quit [Quit: travisbrady]
reem has joined #ocaml
swgillespie has joined #ocaml
skinkitten has quit [Quit: Leaving]
iorivur has joined #ocaml
ollehar1 has joined #ocaml
AltGr has joined #ocaml
<ollehar1> no template engine for ocisgen?
<ollehar1> writing html in code doesn't look too good :P
<Algebr> ollehar1: I was alittle worried about that too, but its seems okay...however no designers will be able to work on the project...
<ollehar1> Algebr: yeah
<smondet> ollehar1: ocaml is more readable than html :) and then a "template" is just a function
<ollehar1> smondet: tell that to a webb buro
<ollehar1> bouro
<Algebr> actually building the UI this way feels more at home, like desktop gui application
<ollehar1> byrå
monoprotic has quit [Ping timeout: 264 seconds]
<ollehar1> bureau
<ollehar1> asch
<Drup> ollehar1: it's something I have in my todo list
<ollehar1> Drup: oh ok
<dmbaturin> Drup: Do you have any drafts/ideas already?
<ollehar1> there is a template package for ocaml that I used for my homepage
<ollehar1> ocaml-template or something like this
<Drup> dmbaturin: the step one is a decent (potentially resilient to errors) html parsing library
<dmbaturin> ollehar1: https://github.com/rgrinberg/ocaml-mustache Logicless though.
<Drup> I don't plan to write that one
<dmbaturin> Drup: Maybe limit it to decent HTML? :)
<Drup> if we limit ourselves to decent html, we have things that are almost good
<ollehar1> json as template? never seen that. pretty cool.
<Drup> so such a library might be done at some point
<Drup> step 2 will be basically to translate html documents into tyxml function
<ollehar1> so you will validate the HTML?
<Drup> tyxml functions are often not the exact html element name (because of various reasons)
<Drup> so you need a little bit of translation
<Drup> step 3 is transforming an html "template" into an ocaml function (and do a ppx in the same swing, since it's the same thing)
<Drup> there was a start to do step 2/3 by Eyyub https://github.com/Eyyub/ppx_tyxml but it needs more work
<dmbaturin> Drup: Why a template processor would want to parse HTML though?
<Drup> because of the way tyxml and eliom works, you don't have the choice
<Drup> it allows several interesting things too
madroach has quit [Ping timeout: 264 seconds]
<Drup> (like reactive templates)
<Drup> (and it would check the validity of the html by type checking as a by-product)
madroach has joined #ocaml
<Drup> also, ideally, we would use the occasion to simplify/make uniform tyxml naming conventions.
jao has quit [Ping timeout: 264 seconds]
<Drup> (note that it's not the ideal way you want to do templating for templating purposes)
<Drup> (it's the way I would do it in the context of eliom, which is a bit specific, we all the various way of doing/using tyxml combinators)
<Drup> with*
<ollehar1> what would be the ideal way of doing templating...?
<Drup> I don't know, I never worked with designers
<ollehar1> and what's reactive templates?
<ollehar1> I work with designers now.
<ollehar1> TYPO3
<ollehar1> PHP
<Drup> I mean that you could use whatever eliom (or js_of_ocaml) modules producing html
<ollehar1> Anything that looks like HTML is good enough for a designer, I would guess.
<Drup> there are several, with different semantics
<Drup> there is one for "textual" html, one for virtual dom a-la React.js (except it's different and older), one for raw dom-tree
<Drup> and you have the same combinators for all of them
waneck has quit [Read error: No route to host]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
<ollehar1> hm
<Drup> I should post that in tyxml's bugtracker, gimme a sec :D
<Algebr> Drup: do you know if ocsigen is used by anyone in a commerical setting?
<Drup> the current situation is a bit messy, but it has been alive and may be alive again. :D
ontologiae has quit [Ping timeout: 256 seconds]
<Drup> probably other too, I don't know if smondet's things count as commercial setting
<ollehar1> super cool!
Simn has quit [Quit: Leaving]
<Algebr> OMG that's AWESOME!!
manud has quit [Quit: manud]
<Drup> I know Unhammer did some things and I think it was related to his work. There are other links on ocsigen's front page
manud has joined #ocaml
<Drup> It's a bit hard to know, because people don't necessarily tell us when they use ocsigen, js_of_ocaml in particular.
<Drup> (js_of_ocaml being arguably more used than eliom :p)
Thooms has quit [Quit: WeeChat 1.0.1]
<Drup> (oh, js_of_ocaml is used internally in facebook too, for hack and flow)
<kaiyin> Is it straight forward to use that instead of desktop gui, i.e. creating offline web apps?
<Drup> I wouldn't say straight forward, but yes, you can do it
codemiller has joined #ocaml
<Drup> (I know someone did it with node-webkit, in particular)
<kaiyin> ok. I would prefer ocaml.
<Drup> it's in ocaml
<Drup> everything is in ocaml :D
<Drup> you just use node-webkit as a ... GUI toolkit ?
<Drup> :p
<kaiyin> node-webkit is in ocaml? I thought it was node.js stuff.
<Drup> oh no, but do show some html, you need a browser at some point
<Algebr> I'm also not seeing the purpose of node-webkit
<Algebr> why not just use chromium or something like that
<Drup> because you can't really do local js execution
<Drup> it's very limited
ollehar1 has quit [Quit: ollehar1]
<kaiyin> ocaml is a bit lacking in the gui land.
<Drup> the argument that was given to me for node-webkit was that 1) the GUI was written in html, which was considered better than other options 2) it was portable trivially
<Drup> I don't say it's a good idea, I just say i has been done
<Drup> it's possible for phones too
manud has quit [Quit: manud]
<kaiyin> anyone tried this: https://github.com/vouillon/ocaml-android ?
<Drup> whitequark did a more uptodate version
swgilles_ has joined #ocaml
<kaiyin> I am curious, what framework do you folks use for gui in ocaml?
<Drup> I'm going to give a silly answer that will not satisfy you: https://github.com/diml/lambda-term
swgillespie has quit [Ping timeout: 240 seconds]
swgilles_ has quit [Client Quit]
<kaiyin> :-) that looks like a useful library, too.
<Drup> and rather nice to work with
<tokenrove> kaiyin: i have had success using lablgtk in the past. i have been thinking about using yeti (another ML, not ocaml) on android.
<tokenrove> also, the code for unison isn't, perhaps, the most idiomatic ocaml, but it's an interesting example of a widely-distributed ocaml program with a GUI.
swgillespie has joined #ocaml
<tokenrove> (that's not to cast aspersions on it; it's just that there are some stylistic oddities to the code, and i remember there was something i didn't like about how some of the gui implementations were done.)
<Drup> (note that unison is rather old)
<Drup> I'm pretty sure a nice GUI framework would be achievable in OCaml with carefully applied FRP
<Drup> (and some nice declarative interface)
Guest56898 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<tokenrove> i think if i was writing something new, i would experiment with the wxwidgets bindings. of course, if i had lots of room to experiment, it would be cool to do something from scratch with FRP concepts.
<Drup> lambda-term use a bit of FRP, and FRP works very well in eliom too
ptc has joined #ocaml
ptc is now known as Guest79546
travisbrady has joined #ocaml
monoprotic has joined #ocaml
RossJH has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
monoprotic_2 has joined #ocaml
monoprotic has quit [Ping timeout: 272 seconds]
ygrek has joined #ocaml
kaiyin has quit [Ping timeout: 246 seconds]
meteo has joined #ocaml
monoprotic_2 has quit []
oriba_ has quit [Quit: oriba_]
badkins has quit []
monoprotic has joined #ocaml
yminsky has joined #ocaml
q66 has quit [Quit: Leaving]
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
badon has quit [Remote host closed the connection]
badon has joined #ocaml
myst has quit [Read error: Connection reset by peer]
chinglish has joined #ocaml
natrium1970 has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
lordkryss has quit [Quit: Connection closed for inactivity]
<natrium1970> Looking at http://pastebin.com/eem29Y1b, is there an elegant way to avoid having to create module S, and then creating module S1 just to make the type S.t knowable to the user?
manud has joined #ocaml
oriba has joined #ocaml
yminsky has quit [Quit: yminsky]
travisbrady has quit [Quit: travisbrady]
Guest79546 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
oriba has quit [Client Quit]
<natrium1970> I’ve eventually figured out how to do this with functors, but It’s not clear what to do for ordinary modules.
<smondet> natrium1970: why don't you inline the module type? module S:Intf with type t = int = struct ... end
yminsky has joined #ocaml
rgrinberg has joined #ocaml
ptc has joined #ocaml
<natrium1970> smondet: You say that it as if I’m intimidating familiar with modules :). I didn’t realize that that syntax was allowed.
ptc is now known as Guest87349
<natrium1970> s/intimidating/intimately/
<smondet> ah ok :) I assumed that knowing how to use `with type ...` was more "advanced"
Guest87349 has quit [Client Quit]
<natrium1970> I have 3 or 4 books on OCaml, not including the official stuff. Beyond the very basics, no sources describe them very well.
<natrium1970> Basically, the books show one case, but not other cases. Also, these use one syntax in actual code listings, and then they said, “Or you could use the alternate syntax below,” where the stuff below is the generic syntax and not the exactly syntax used in the demo program.
<natrium1970> Anyway, I forgot to thank you.
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<struktured> natrium1970: I agree that all the "with" constructs are confusing and it took me several sources until I absorbed them all.
<natrium1970> I just want one source that actually covers this thoroughly. If I even understand it myself, maybe I will try to write something. Oh, and the books out there are pretty ancient, too. For example, one book talks about Ocaml lacking first-class modules.
<Algebr> Why does opam have to recompile existing packages for when installing new ones?
<natrium1970> Is it upgrading the existing packages?
darkf has joined #ocaml
<Algebr> no, just recompiling
<Algebr> I wanted to install lablgtk but backed off after seeing how much stuff it wanted to recompile, 7 other packages.
<natrium1970> I tried to install something with opam a couple weeks ago. It might have been lablgtk. I reached a dead-end when it couldn’t install some newer version of lwt, without really giving a reason why.
<Algebr> I wonder if there is something like python's virtualenv in ocaml/opam
<natrium1970> Among other things, Opam won’t install GTK+ itself, and GTK+ looks awful on Mac.
<Algebr> hmm, to be fair, I kind of don't want a langauge package manager to install stuff outside of itself. GTK looks awful cause its running under X11
<natrium1970> I checked on my system, and upgrade wants to upgrade two packages, and it also wanted to recompile 4 others because they depend on the packages that would be upgraded.
<Algebr> but yea, for OS X, I might as well write objc, which isn't too bad.
<natrium1970> There’s a pretend-native version for Mac.
<Algebr> Oh, there is actually a way to get native looking widgets with gtk on OS X but its really hard to get to work, at least it was for me and I gave up.
<natrium1970> Like the GIMP uses it, and it sure doesn’t act like an OS X appl.
<Algebr> yea, and the Mono guys did it too
<Algebr> but in both cases the people that did it are/were core gtk devs..so yea.
ptc has joined #ocaml
manizzle has quit [Ping timeout: 256 seconds]
ptc is now known as Guest51249
<natrium1970> But th dialog boxes have the buttons in the incorrect order for Mac, and it’s impossible to cycle through the Layer, Toolbox, and other dialogs. Just on and one.
Denommus has quit [Quit: going home]
<natrium1970> I’m gone.
natrium1970 has quit [Quit: natrium1970]
<Algebr> agreed
vanila has quit [Quit: Leaving]
<Algebr> Oh, did you check out QT stuff on OS X? That looks better, much better.
Guest51249 has quit [Ping timeout: 245 seconds]
<Algebr> I played with Qt5 and Python on OS X. Was so easy and nice looking.
swgillespie has joined #ocaml
<struktured> Algebr: I enjoyed my time with Qt4, might mess around with lablqt bindings one day
codemiller has quit [Ping timeout: 252 seconds]
kapil__ has joined #ocaml
<Algebr> After I watched that video of even Linus talking about how he enjoyed Qt over gtk, i knew I didn't want to use gtk anymore.
Nashukray has joined #ocaml
ptc_ has joined #ocaml
yminsky has quit [Quit: yminsky]
codemiller has joined #ocaml
codemiller has joined #ocaml
mearnsh has quit [Ping timeout: 272 seconds]
mearnsh has joined #ocaml
badon has quit [Quit: Leaving]
Algebr has quit [Ping timeout: 256 seconds]
thorsten` has quit [Ping timeout: 252 seconds]
Cypi has quit [Ping timeout: 252 seconds]
Cypi has joined #ocaml
thorsten` has joined #ocaml
manud has quit [Quit: manud]
Nashukray has quit [Quit: Textual IRC Client: www.textualapp.com]
manizzle has joined #ocaml
mearnsh has quit [Ping timeout: 272 seconds]
mearnsh has joined #ocaml
testcocoon has quit [Ping timeout: 246 seconds]
cufisz has joined #ocaml
pdewacht has quit [Ping timeout: 250 seconds]
pdewacht has joined #ocaml
cdidd has quit [Ping timeout: 245 seconds]
cdidd has joined #ocaml
keen__________58 has joined #ocaml
keen__________57 has quit [Ping timeout: 252 seconds]
iorivur has quit [Ping timeout: 240 seconds]
Axle has joined #ocaml
testcocoon has joined #ocaml
Denommus has joined #ocaml
manizzle has quit [Ping timeout: 255 seconds]
matason has joined #ocaml
iorivur has joined #ocaml
iorivur has quit [Client Quit]
iorivur_ has joined #ocaml
mearnsh has quit [Ping timeout: 272 seconds]
SomeDamnBody has joined #ocaml
mearnsh has joined #ocaml
milosn has quit [Ping timeout: 264 seconds]
milosn has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
ptc_ has quit [Ping timeout: 252 seconds]
SomeDamnBody has quit [Ping timeout: 264 seconds]
reem has quit [Remote host closed the connection]
reem has joined #ocaml
jneen is now known as jneen|afk
divyanshu has quit [Ping timeout: 252 seconds]
rfv has quit [Ping timeout: 252 seconds]
divyanshu has joined #ocaml
rfv has joined #ocaml
Axle has quit [Quit: Leaving.]
codemiller has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
manud has joined #ocaml
reem has quit [Remote host closed the connection]
MooseAndCaml has joined #ocaml
manud has quit [Quit: manud]
<MooseAndCaml> Would someone mind checking out this gist https://gist.github.com/caseybasichis/a212924aabab0f90fc8e . I'm getting a "The variant type unit has no constructor. Any ideas?
reem has joined #ocaml
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
<MooseAndCaml> oof... got it, after an hour. forgot the else
reem has quit [Remote host closed the connection]
reem has joined #ocaml
ygrek has joined #ocaml
manud has joined #ocaml
psy_ has quit [Read error: No route to host]
reem has quit [Ping timeout: 250 seconds]
psy_ has joined #ocaml
jneen|afk is now known as jneen
jneen is now known as jneen|zzz
reem has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
MrScout_ has quit [Ping timeout: 245 seconds]
psy_ has quit [Ping timeout: 255 seconds]
badon has joined #ocaml
Haudegen has quit [Ping timeout: 245 seconds]
tane has joined #ocaml
Haudegen has joined #ocaml
yomimono has joined #ocaml
<MooseAndCaml> Hi is it possible to match a list of tuples like: | ((om,hpc) as h) :: ((om2,hpc2) as h2) :: t -> h
AlexRussia has quit [Ping timeout: 265 seconds]
troydm has quit [Ping timeout: 264 seconds]
reem has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 240 seconds]
larhat has joined #ocaml
<MercurialAlchemi> MooseAndCaml: yes
badon has quit [Ping timeout: 264 seconds]
<MercurialAlchemi> though you don't seem to do anything with your variables here
<MercurialAlchemi> eg, in your example, first_item :: second_item :: tail would be sufficient
Haudegen has joined #ocaml
reem has joined #ocaml
yomimono has quit [Ping timeout: 250 seconds]
<MooseAndCaml> Hi, I was having issues getting it to compile: Here is a similar one. Taking a value value from a tuple and a copy of the tuple, would this work? let aux acc ((_,_,om,_) as t ) =
<rks`> it should yes
badon has joined #ocaml
<MooseAndCaml> ok, thats very helpful. thank will clean up quite a lot of code
<MooseAndCaml> thank you, that will... its 3:24 am here
AlexRussia has joined #ocaml
<rks`> :)
rgrinberg has quit [Quit: Leaving.]
domsj has joined #ocaml
AlexRussia has quit [Ping timeout: 244 seconds]
AlexRussia has joined #ocaml
larhat has quit [Quit: Leaving.]
ghostpl has joined #ocaml
mort___ has joined #ocaml
avsm has joined #ocaml
baz_ has joined #ocaml
baz_ has quit [Client Quit]
Simn has joined #ocaml
ontologiae has joined #ocaml
avsm has quit [Quit: Leaving.]
Hannibal_Smith has quit [Quit: Leaving]
dsheets_ has joined #ocaml
reem has quit [Remote host closed the connection]
manud has quit [Quit: manud]
Kakadu has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
reem has joined #ocaml
tane has quit [Quit: Verlassend]
psy_ has joined #ocaml
larhat has joined #ocaml
paradoja has joined #ocaml
Pepe__ has joined #ocaml
Pepe_ has quit [Remote host closed the connection]
Pepe__ has quit [Client Quit]
yomimono has joined #ocaml
oscar_toro has joined #ocaml
oscar_toro1 has left #ocaml [#ocaml]
Haudegen has quit [Ping timeout: 256 seconds]
jonludlam has joined #ocaml
oscar_toro has left #ocaml [#ocaml]
oscar_toro has joined #ocaml
reem has quit [Remote host closed the connection]
Haudegen has joined #ocaml
reem has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
Pepe_ has joined #ocaml
lordkryss has joined #ocaml
badon_ is now known as badon
_andre has joined #ocaml
myyst has joined #ocaml
RossJH has joined #ocaml
zpe has joined #ocaml
psy__ has joined #ocaml
psy__ has quit [Max SendQ exceeded]
psy_ has quit [Read error: No route to host]
shinnya has quit [Ping timeout: 246 seconds]
ygrek has quit [Ping timeout: 250 seconds]
ollehar has quit [Quit: ollehar]
ollehar has joined #ocaml
<_andre> anyone ever got this with merlin & vim? vim.error: Vim(let):E716: Key not present in Dictionary: merlin_home."/".v:val
Pepe_ has quit [Quit: leaving]
<MercurialAlchemi> _andre: nope
<def`> _andre: which version of vim?
<_andre> def`: 7.4.052 from Ubuntu 14.04
psy_ has joined #ocaml
AltGr has left #ocaml [#ocaml]
psy_ has quit [Max SendQ exceeded]
<def`> _andre: could you share the output of :scriptnames?
psy_ has joined #ocaml
<_andre> the error only happens when opening a file in a new tab via :tabedit
<def`> and what is the output of :echo g:merlin
psy_ has quit [Max SendQ exceeded]
<_andre> it's just {}
psy_ has joined #ocaml
<def`> ok, it seems some initialization script is skipped. what about :scriptnames?
<def`> ok, plugin/merlin.vim is not there… Hmm, strange
<def`> First, could you just check that ~/.opam/4.02.1/share/merlin/vim/plugin/merlin.vim is there? Then I'll find a way to clean this :)
<_andre> it's there
<_andre> i have the "set rtp+=..." in .vim/after/ftplugin/ocaml.vim
<_andre> this should be fine right?
<def`> well, that's not the way it is intended to work
<def`> a few global settings are expected to be set before
<def`> try moving the rtp to your main .vimrc
<_andre> yeah, that fixed it
<_andre> thought i would be able to keep the merlin stuff only for ocaml files
<def`> vim lazily load stuff anyway
<def`> (if your concern is performance)
<_andre> it was more for organization
<_andre> but it's ok, i don't care that much :)
<def`> I see. Normally, once initialized, merlin shouldn't interact with anything (except .ml/.mli and .merlin), otherwise it's a bug :P
iorivur_ has quit [Quit: No Ping reply in 180 seconds.]
iorivur has joined #ocaml
hugo has joined #ocaml
hugo is now known as Guest58741
jonludlam has quit [Ping timeout: 246 seconds]
jonludlam has joined #ocaml
destrius has quit [Quit: Leaving.]
captain_furious has joined #ocaml
<captain_furious> let x = List.last [1;2;3];; returns val x : int option = Some 3
<captain_furious> how do i cast to int so the result can be used in arithmetic expression
<captain_furious> x + 5 is an error
<lyxia> let Some x = List.last ...
<lyxia> A match is cleaner
<companion_cube> you should deal with the case "None" too
<captain_furious> yeah, I just got the non-exhaustive match warning
<companion_cube> basically, List.last can fail, and you should deal with its result accordingly
Guest58741 has quit [Quit: Leaving]
<captain_furious> yeah understood. are exceptions used much (wrap stuff with try block or do you tend to cover all basis (by using the type systems help) before you consider using exception ?
<captain_furious> exceptions*
<companion_cube> hmmmmmm, both styles exist
<companion_cube> using the type system is more robust and explicit, but sometimes exceptions come handy
ollehar has quit [Remote host closed the connection]
ollehar has joined #ocaml
ollehar has quit [Remote host closed the connection]
ollehar has joined #ocaml
dsheets_ has quit [Ping timeout: 255 seconds]
psy_ has quit [Ping timeout: 245 seconds]
Submarine has quit [Remote host closed the connection]
leowzukw has joined #ocaml
Denommus has quit [Quit: Bye]
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
psy_ has quit [Read error: Connection reset by peer]
psy_ has joined #ocaml
psy_ has quit [Remote host closed the connection]
monoprotic_2 has joined #ocaml
larhat1 has joined #ocaml
ghostpl has quit [Remote host closed the connection]
Algebr has joined #ocaml
larhat has quit [Ping timeout: 256 seconds]
ghostpl has joined #ocaml
monoprotic has quit [Ping timeout: 265 seconds]
dsheets_ has joined #ocaml
mort___ has quit [Ping timeout: 250 seconds]
mort___ has joined #ocaml
Axle has joined #ocaml
uris77 has joined #ocaml
Pepe_ has joined #ocaml
thomasga has joined #ocaml
ptc has joined #ocaml
ptc is now known as Guest53590
Algebr has quit [Ping timeout: 245 seconds]
travisbrady has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
destrius has joined #ocaml
travisbrady has quit [Quit: travisbrady]
Algebr has joined #ocaml
travisbrady has joined #ocaml
mort___ has quit [Quit: Leaving.]
uris77 has quit [Quit: leaving]
mort___ has joined #ocaml
travisbrady has quit [Quit: travisbrady]
badkins has joined #ocaml
travisbrady has joined #ocaml
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
Guest53590 has quit [Ping timeout: 245 seconds]
Axle has quit [Quit: Leaving.]
olauzon has joined #ocaml
gargaml has quit [Quit: WeeChat 1.1.1]
uris77 has joined #ocaml
destrius has quit [Quit: Leaving.]
ghostpl has quit [Read error: Connection reset by peer]
slash^ has joined #ocaml
ghostpl has joined #ocaml
skinkitten has joined #ocaml
bjorkintosh has quit [Ping timeout: 245 seconds]
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
leowzukw has quit [Ping timeout: 246 seconds]
leowzukw has joined #ocaml
paradoja has quit [Read error: Connection reset by peer]
ptc has joined #ocaml
ptc is now known as Guest21463
Guest21463 has quit [Client Quit]
rgrinberg has joined #ocaml
paradoja has joined #ocaml
ptc_ has joined #ocaml
ontologiae has quit [Ping timeout: 255 seconds]
iorivur has quit [Ping timeout: 245 seconds]
Thooms has joined #ocaml
iorivur has joined #ocaml
darkf has quit [Quit: Leaving]
badkins has quit []
mort___ has quit [Ping timeout: 265 seconds]
reem has quit [Remote host closed the connection]
ollehar1 has joined #ocaml
captain_furious1 has joined #ocaml
captain_furious has quit [Ping timeout: 246 seconds]
MrScout has joined #ocaml
moei has quit [Quit: Leaving...]
divyansh_ has joined #ocaml
mort___ has joined #ocaml
iorivur has quit [Ping timeout: 245 seconds]
yomimono has quit [Ping timeout: 256 seconds]
jonludlam has quit [Ping timeout: 246 seconds]
ghostpl has quit [Remote host closed the connection]
MrScout has quit [Remote host closed the connection]
jonludlam has joined #ocaml
mort___ has quit [Quit: Leaving.]
<Drup> whitequark: just for info, llvm ocaml binding is broken in master
<Drup> (sorry, deadline, no time to fix it)
rgrinberg has quit [Quit: Leaving.]
matason has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml
iorivur has joined #ocaml
ptc_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<whitequark> Drup: broken how?
domsj has quit [Ping timeout: 256 seconds]
<Drup> File "/home/gabriel/source/llvm/bindings/ocaml/executionengine/Debug+Asserts/llvm_executionengine.ml", line 54, characters 28-77:
<Drup> Error: This expression has type nativeint
<Drup> but an expression was expected of type int64
<Drup> I didn't even tried to understand, I just picked an older version
<whitequark> ohh
<whitequark> no, that's wrong
<whitequark> I mean, you won't get a JIT then
<Drup> I don't care about the JIT here
<whitequark> the error is known, it's because ctypes were fucked up in 0.3.3
<whitequark> and you have pinned master ctypes
<Drup> ah, I may have pinned ctypes
<whitequark> this actually needs to be changed in LLVM anyway
Haudegen has quit [Ping timeout: 265 seconds]
chinglish has joined #ocaml
iorivur has quit [Ping timeout: 245 seconds]
paradoja has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
badkins has joined #ocaml
jwatzman|work has joined #ocaml
manizzle has joined #ocaml
ollehar1 has quit [Ping timeout: 240 seconds]
jneen|zzz is now known as jneen
mort___ has joined #ocaml
ptc has joined #ocaml
arj has joined #ocaml
ptc is now known as Guest20666
psy_ has quit [Ping timeout: 245 seconds]
arj has quit [Client Quit]
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
jonludlam has quit [Ping timeout: 264 seconds]
mort___ has quit [Quit: Leaving.]
rand000 has joined #ocaml
thomasga has quit [Ping timeout: 250 seconds]
psy_ has joined #ocaml
q66 has joined #ocaml
<whitequark> goddamn oasis
<whitequark> and people who for some inexplicable reason always build example code
zpe has quit [Remote host closed the connection]
Hannibal_Smith has joined #ocaml
ontologiae has joined #ocaml
manizzle has quit [Ping timeout: 245 seconds]
travisbrady has quit [Quit: travisbrady]
ontologiae has quit [Ping timeout: 265 seconds]
MooseAndCaml has quit [Ping timeout: 246 seconds]
MrScout_ has joined #ocaml
dsheets_ has quit [Ping timeout: 255 seconds]
Algebr has quit [Ping timeout: 255 seconds]
MrScout_ has quit [Remote host closed the connection]
Thooms has quit [Quit: WeeChat 1.0.1]
Kakadu has quit [Quit: Page closed]
uris77 has quit [Quit: leaving]
bjorkintosh has joined #ocaml
bytbox has joined #ocaml
ghostpl has joined #ocaml
Algebr has joined #ocaml
travisbrady has joined #ocaml
mort___ has joined #ocaml
pango has joined #ocaml
MooseAndCaml has joined #ocaml
larhat1 has quit [Quit: Leaving.]
manizzle has joined #ocaml
troydm has joined #ocaml
hsuh has quit [Ping timeout: 244 seconds]
hsuh has joined #ocaml
bytbox has quit [Remote host closed the connection]
leowzukw has quit [Ping timeout: 244 seconds]
leowzukw has joined #ocaml
vanila has joined #ocaml
MrScout has joined #ocaml
zpe has joined #ocaml
mort___ has quit [Quit: Leaving.]
zpe has quit [Ping timeout: 246 seconds]
<vanila> hi
<vanila> what was are there to expoit ocaml programs?
<vanila> completely unrelated to pinata ......
<vanila> ways*
Kakadu has joined #ocaml
<adrien_znc> logic errors
<adrien_znc> implementation errors in the runtime
<adrien_znc> usual posix api misuses
* adrien_znc afk
<smondet> vanila: also, unexpected implmentation of a turing machine :)
<vanila> haha
<vanila> that could be interesting
<vanila> i'd love to read about that actually, are there documented cases of that happening in ocaml?
<vanila> ive seen geometry of flesh on the bone, where they found it in libc i think
<smondet> in ocaml, I don't know
<vanila> i realy want this to be how the pinata is broken
<vanila> cool link, ty!
<smondet> the input for piñata is mostly HTTP/TLS/TCP/... packets, I have the impression that an accidental turing machine, would be a protocol flaw
<smondet> also, a turing machine can get infinite loops and stuf alike, but not necessarily do memory-unsafe operations
<adrien_znc> but if you can ask it any question... :)
nze` has joined #ocaml
mv has joined #ocaml
leowzukw has quit [Quit: Lost terminal]
<vanila> if you could trick it into somehow processing the private key and telling you information it wasnt supposed to idk..
<vanila> really interesting
<adrien_znc> actually, even you don't get the key but can get the machine to do any operation you want with the key, it's equally broken
<mv> Hi, what is the best way of debugging my corebuild build system? I can't build a file that opens Core.Async, despite ocamlfind finding async.
<adrien_znc> it never worked? probably show the code
<rgrinberg> Core.Async?
<rgrinberg> never heard of that module
<mv> Sorry, Async.Std
lostman has quit [Quit: Connection closed for inactivity]
<rgrinberg> what command are you using, what error are you getting
<mv> corebuild code.native
<rgrinberg> how about $ corebuild code.native -pkg async
mort___ has joined #ocaml
<mv> rgrinberg: ffs, why did it have to be so simple?
<mv> thanks
manud has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
<rgrinberg> NP
Algebr has quit [Ping timeout: 265 seconds]
ontologiae has joined #ocaml
manizzle has quit [Remote host closed the connection]
wwilly has joined #ocaml
MooseAndCaml has quit [Ping timeout: 246 seconds]
Thooms has joined #ocaml
gargaml has joined #ocaml
bytbox has joined #ocaml
bytbox has quit [Remote host closed the connection]
_andre has quit [Quit: leaving]
pyon has joined #ocaml
tane has joined #ocaml
enitiz has joined #ocaml
Submarine has quit [Quit: Leaving]
ebzzry has joined #ocaml
pyon has quit [Quit: restart]
pyon has joined #ocaml
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
zpe has joined #ocaml
enitiz has quit [Ping timeout: 245 seconds]
captain_furious1 has quit [Ping timeout: 245 seconds]
manud has quit [Quit: manud]
Anarchos has joined #ocaml
enitiz has joined #ocaml
bytbox has joined #ocaml
willy_ has joined #ocaml
wwilly has quit [Ping timeout: 250 seconds]
zpe has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 255 seconds]
Thooms has quit [Ping timeout: 265 seconds]
<seliopou> What's the difference between Lwt.protected and Lwt.no_cancel?
Haudegen has joined #ocaml
Thooms has joined #ocaml
dav has joined #ocaml
shinnya has joined #ocaml
travisbrady has quit [Quit: travisbrady]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
Haudegen has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
travisbrady has joined #ocaml
Anarchos has joined #ocaml
axiles has joined #ocaml
dsheets_ has joined #ocaml
divyansh_ has quit [Quit: Textual IRC Client: www.textualapp.com]
enitiz has quit [Ping timeout: 264 seconds]
Algebr has joined #ocaml
<Algebr> I'm trying to understand what's the current state of threading code in Ocamlworld. From what I understand Ocaml really only runs one thread at a time, even in compiled code, and that the answer to this is either Lwt or Async.
<Drup> so, there are two things
<Drup> concurency and parallelism
<Drup> which do you want ?
<Algebr> I want real threads like pthreads
<Drup> that's a mean, not an end
<Algebr> How are you separating the meaning of concurrency and parallelism?
<adrien> ocaml has real threas
domsj has joined #ocaml
<adrien> threads
<adrien> on linux they are pthreas
<adrien> pthreads*
* adrien kicks his keyboard
<Drup> concurrency is about semantic, parallelism is for efficiency
<Algebr> Drup: okay, then I am wanting concurrency
<Drup> then Lwt/Async are the answers, yes
<Algebr> and if I wanted parallelism?
<adrien> for semantic you also have the Thread module
<Algebr> that's an awesome repo
oscar_toro has quit [Ping timeout: 252 seconds]
manud has joined #ocaml
jonludlam has joined #ocaml
Algebr has quit [Remote host closed the connection]
kaiyin has joined #ocaml
<kaiyin> Could anyone help me understand this error?
<Anarchos> kaiyin let me look
<kaiyin> ok
<Drup> you have leftovers from a previous build, I would guess
<Anarchos> i think you changed something in textstat.ml between Users/user and Users/kayin
<Anarchos> kaiyin lines 2 and 3 of your error. So you must erase the .cmo and .cmi files , and rebuild them in a clean way.
<Anarchos> companion_cube you didn't put any predicate or find in your CCMultiSet implementation ?
<kaiyin> Anarchos: just did that, still got the error.
manud has quit [Quit: manud]
zpe has joined #ocaml
hilquias` has quit [Ping timeout: 246 seconds]
MrScout_ has joined #ocaml
MrScout has quit [Ping timeout: 245 seconds]
zpe has quit [Ping timeout: 264 seconds]
<kaiyin> ok, I got it, I need to cd into the folder where textstat.cmo is stored.
<Anarchos> kaiyin the problem is you are loading a .cmo file, but your toplevel matches it against a wrong .cmi file. Or another .cmo file is already loaded but different. Are you sure you have no .ocamlinit file ?
NSA360 has joined #ocaml
<kaiyin> no, i don't have that file.
<Anarchos> anyway you have two textstat.cmo files colliding
gargaml has quit [Quit: WeeChat 1.1.1]
badkins has quit []
mort___ has quit [Quit: Leaving.]
Hannibal_Smith has quit [Quit: Leaving]
mort___ has joined #ocaml
travisbrady has quit [Quit: travisbrady]
<companion_cube> Anarchos: use Sequence
swgillespie has joined #ocaml
<companion_cube> CCMultiSet.to_seq s |> Sequence.find p
<Anarchos> companion_cube i added let filter f m = M.filter (fun x n -> f x) m
<Anarchos> it is more in the style of your coding ;)
<companion_cube> well sure, but I didn't implement it
<companion_cube> I take PRs if you need it
bytbox has quit [Ping timeout: 256 seconds]
struktured has quit [Ping timeout: 245 seconds]
<companion_cube> but that's filter, not find
rgrinberg has quit [Quit: Leaving.]
<Anarchos> companion_cube filter is just fine for me.
<Anarchos> i added the corresponding declaration in the module type S.
rgrinberg has joined #ocaml
<kaiyin> what library do i need to load for Float.of_int?
<companion_cube> Core, probably
<companion_cube> or just use float_of_int
<companion_cube> Anarchos: I'll wait the PR ;)
<kaiyin> ok
<Anarchos> companion_cube what is a pr ?
<companion_cube> pull request, on github
<companion_cube> or a patch by mail if you're too reluctant to use github
<companion_cube> anyway, good night
<Anarchos> but it forces me to fork your project on github ?
<Anarchos> yeah, good night ;)
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
Kakadu has quit [Remote host closed the connection]
olauzon has quit [Quit: olauzon]
tane has quit [Quit: Verlassend]
rand000 has quit [Quit: leaving]
SomeDamnBody has joined #ocaml
<kaiyin> https://gist.github.com/kindlychung/8205e1abf2c36bec3948 why do i get a "This argument cannot be applied with label ~f" error here?
Guest20666 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<Drup> because you are using List.map and not Core.Std.List.map
<kaiyin> Drup: is there something like `import` in java?
<Drup> open :)
domsj has quit [Ping timeout: 250 seconds]
<kaiyin> Why do get `Unbound module: Core`? :S
<kaiyin> +i
ptc has joined #ocaml
ptc is now known as Guest39114
<Drup> how are you building your code ?
bytbox has joined #ocaml
<kaiyin> I just typed #use file.ml in utop.
<Drup> do #require "core" before
bytbox has quit [Remote host closed the connection]
travisbrady has joined #ocaml
<kaiyin> that did it. thanks.
Simn has quit [Quit: Leaving]
t4nk239 has joined #ocaml
<t4nk239> I have a very quick question about ocaml exceptions, is there anyway to catch all types of exceptions? For example if I am using assert_raise to test a generic module that implements an interface.
Sorella has quit [Quit: Connection closed for inactivity]
<kaiyin> maybe `with _ -> ...` ?
<Drup> try ... with e -> ...
<Drup> it will catch anything and bind the exception as "e"
<kaiyin> Just a quick observation, judging from number of members on freenode, the haskell community seems to be significantly larger than ocaml?
<Drup> a lot more people diping, but I wouldn't say much more bathing. :p
<rgrinberg> kaiyin: a more objective way of testing the waters http://githut.info/
MrScout_ has quit [Remote host closed the connection]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
MrScout has joined #ocaml
<kaiyin> it confirms my observation. ;-)
enitiz has joined #ocaml
skinkitten has quit [Quit: Leaving]