adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
newbie64 has joined #ocaml
newbie64 is now known as lolisa
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
kakadu has quit [Remote host closed the connection]
govg has quit [Ping timeout: 240 seconds]
mfp has quit [Ping timeout: 240 seconds]
noddy has joined #ocaml
richi235 has quit [Ping timeout: 252 seconds]
cbot has quit [Ping timeout: 260 seconds]
mengu has quit [Quit: Leaving...]
noddy has quit [Ping timeout: 240 seconds]
clockish has quit [Quit: bye]
tizoc has quit [Read error: Connection reset by peer]
clockish has joined #ocaml
tizoc has joined #ocaml
kamog has quit [Ping timeout: 240 seconds]
ryanartecona has joined #ocaml
Muzer has quit [Ping timeout: 258 seconds]
mars0i has joined #ocaml
diphuser has joined #ocaml
mars0i has quit [Client Quit]
MercurialAlchemi has joined #ocaml
Muzer has joined #ocaml
diphuser has quit [Quit: leaving]
freusque has joined #ocaml
freusque has quit [Ping timeout: 268 seconds]
ryanartecona has quit [Quit: ryanartecona]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
_whitelogger has joined #ocaml
govg has joined #ocaml
freusque has joined #ocaml
mars0i has joined #ocaml
MercurialAlchemi has joined #ocaml
<mars0i> both ocaml and irc newbie ...: I have a custom toplevel that I've compiled. (I didn't write it.) It works fine with rlwrap or ledit or just on its own, but I'd prefer to use it with utop. Not sure what I have to configure. utop? opam?
Simn has joined #ocaml
freusque has quit [Ping timeout: 252 seconds]
mars0i_ has joined #ocaml
mars0i has left #ocaml [#ocaml]
mars0i_ has quit [Client Quit]
mars0i has joined #ocaml
mars0i has quit [Client Quit]
freusque has joined #ocaml
mars0i has joined #ocaml
mars0i has quit [Ping timeout: 240 seconds]
freusque has quit [Ping timeout: 255 seconds]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
mars0i has joined #ocaml
mars0i has quit [Client Quit]
<Leonidas> rule 1 on IRC: wait enough for people in europe to wake up :/
dmi3y has joined #ocaml
MercurialAlchemi has joined #ocaml
dmi3y has quit [Quit: dmi3y]
dmi3y has joined #ocaml
orbifx has joined #ocaml
freusque has joined #ocaml
lolisa has quit [Quit: KVIrc 4.9.1 Aria http://www.kvirc.net/]
orbifx has quit [Ping timeout: 260 seconds]
freusque has quit [Ping timeout: 268 seconds]
orbifx-m has joined #ocaml
AltGr has joined #ocaml
dmi3y has quit [Quit: dmi3y]
octachron has joined #ocaml
orbifx-m has quit [Read error: Connection reset by peer]
copy` has quit [Quit: Connection closed for inactivity]
octachron has quit [Ping timeout: 268 seconds]
dmi3y has joined #ocaml
argent_smith has joined #ocaml
orbifx-m has joined #ocaml
dmi3y_ has joined #ocaml
<theblatte> rgrinberg: is opam-lock coming to opam or is there some other way to install it?
dmi3y has quit [Ping timeout: 255 seconds]
freusque has joined #ocaml
richi235 has joined #ocaml
dmi3y_ has quit [Quit: dmi3y_]
dmi3y has joined #ocaml
jack5638 has quit [Ping timeout: 240 seconds]
<AltGr> `opam switch import|export` has been improved in opam2, and can in particular store pins ; I didn't know about `opam-lock`
<AltGr> what's is mostly missing now is more option to `opam export`, I think
<theblatte> rgrinberg: there's no licence specified, should I open an issue about adding one?
mfp has joined #ocaml
<theblatte> AltGr: is opam2 the recommended version now?
<AltGr> it's still in beta
zpe has joined #ocaml
dmi3y has quit [Quit: dmi3y]
octachron has joined #ocaml
freyr has joined #ocaml
alfredo has joined #ocaml
spew has quit [Quit: foobar]
MK__ has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
freusque has quit [Quit: WeeChat 1.7]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
govg has joined #ocaml
sz0 has joined #ocaml
groovy2shoes has quit [Ping timeout: 245 seconds]
sepp2k has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
groovy2shoes has joined #ocaml
mf-jaun-baun has joined #ocaml
kakadu has joined #ocaml
<mf-jaun-baun> hello, i wanted to follow some of the steps outlined in a jane street article to use phantom types, but i noticed that (even after replacing their ref usage) their examples don't appear to typecheck (?) properly? does anyone have any advice? has something changed?
<mf-jaun-baun> i pastebin'd my ref changed version and put the compiler message in a comment below at https://pastebin.com/mrdTiXBt
<Drup> mf-jaun-baun: that's because your 'a is not phantom here, since it's used inside 'a ref
<Drup> in the article, it uses "int ref"
<Drup> if you want references with any content, you need two type parameters: one phantom, and one for the content
<mf-jaun-baun> Drup: thanks for replying to me- is there an example i could refer to somewhere?
<Drup> If you want a full blown version of that, CCVector in containers is exactly it
<mf-jaun-baun> i googled it, is this what you mean? https://github.com/c-cube/ocaml-containers
<Drup> yes
<mf-jaun-baun> i think i see- though in the file https://raw.githubusercontent.com/c-cube/ocaml-containers/25b714c3cb0da45294e94af29c043971d51d7998/src/core/CCVector.ml , they are using polymorphic variants? is there a reason for this?
<mf-jaun-baun> sorry to ask you to do so much
<Drup> in that specific case, it's not necessary
<Drup> (it sometimes is, when doing more complex things)
<mf-jaun-baun> hmm
<mf-jaun-baun> i hope that i understand completely someday
<mf-jaun-baun> thank you very much for helping me
<mf-jaun-baun> cya
mf-jaun-baun has quit [Quit: leaving]
octachron has quit [Quit: Leaving]
freusque has joined #ocaml
groovy2shoes has quit [Ping timeout: 245 seconds]
groovy2shoes has joined #ocaml
Muzer has quit [Ping timeout: 258 seconds]
Muzer has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
groovy2shoes has quit [Ping timeout: 260 seconds]
groovy2shoes has joined #ocaml
mrvn has left #ocaml [#ocaml]
noddy has joined #ocaml
rossberg has quit [Ping timeout: 255 seconds]
johnelse_ is now known as johnel_away
johnel_away has quit [Quit: Lost terminal]
_andre has joined #ocaml
rossberg has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
malc_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
groovy2shoes has quit [Ping timeout: 258 seconds]
groovy2shoes has joined #ocaml
johnelse has joined #ocaml
freyr has quit [Quit: Lost terminal]
debugging has joined #ocaml
govg has joined #ocaml
<debugging> Hello, sorry for bothering you. I have been trying to find a solution to a debugging problem, but Google didn't help. I am trying to use ocamldebug but everytime I try to set a break point in any program the debugger says: "Can't find any event there.". Is anybody familiar with this error?
<companion_cube> not an expert, but are you sure the program is compiled in debug mode?
<debugging> Yes, I compiled it using ocamlc -g options
<companion_cube> erf, then maybe your syntax for breakpoints is wrong? :/
<debugging> My syntax is break @module line
<debugging> I have been following the examples online
<debugging> If you know any other way for debugging I am really happy to hear about it :)
<companion_cube> looks ok, but did you capitalize the module name?
<companion_cube> I just tend to print messages in edbug mode
<companion_cube> I suppose you follow https://ocaml.org/learn/tutorials/debug.html#TheOCamldebugger
<debugging> yes, I respect the capitalization
<debugging> yes, that's thte tutorial I am following
tane has joined #ocaml
<companion_cube> thgen I don't know how to help :/
<debugging> don't worry, thank you, anyway ;)
<companion_cube> good luck
<debugging> Thank you :)
groovy2shoes has quit [Ping timeout: 255 seconds]
al-damiri has joined #ocaml
debugging has left #ocaml [#ocaml]
sh0t has joined #ocaml
alfredo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mengu has joined #ocaml
alfredo has joined #ocaml
groovy2shoes has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
ciniglio has quit [Ping timeout: 260 seconds]
ciniglio has joined #ocaml
jabroney has joined #ocaml
<rgrinberg> theblatte: sure, feel free to make an issue
richi235 has quit [Ping timeout: 252 seconds]
zpe_ has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
ryanartecona has joined #ocaml
sepp2k has quit [Quit: Leaving.]
sepp2k has joined #ocaml
johnelse is now known as johnel_away
johnel_away has quit [Quit: Lost terminal]
freusque has quit [Quit: WeeChat 1.7]
sepp2k has quit [Client Quit]
sepp2k has joined #ocaml
sepp2k has quit [Client Quit]
sepp2k has joined #ocaml
sepp2k has quit [Client Quit]
sepp2k has joined #ocaml
sepp2k has quit [Client Quit]
sepp2k has joined #ocaml
zpe_ has quit [Remote host closed the connection]
shinnya has joined #ocaml
mengu has quit [Quit: Leaving...]
maarhart has joined #ocaml
freehck has quit [Ping timeout: 260 seconds]
MercurialAlchemi has joined #ocaml
maarhart has quit [Remote host closed the connection]
Anyuta has joined #ocaml
Anyuta has left #ocaml [#ocaml]
ryanartecona has quit [Quit: ryanartecona]
johnelse has joined #ocaml
spew has joined #ocaml
alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]
copy` has joined #ocaml
johnelse has quit [Ping timeout: 260 seconds]
johnelse has joined #ocaml
ryanartecona has joined #ocaml
Anyuta has joined #ocaml
orbifx-m has quit [Read error: Connection reset by peer]
Anyuta has left #ocaml [#ocaml]
orbifx-m has joined #ocaml
johnelse has quit [Read error: No route to host]
orbifx-m has quit [Ping timeout: 258 seconds]
johnelse has joined #ocaml
average has joined #ocaml
shinnya has quit [Ping timeout: 255 seconds]
sepp2k has quit [Ping timeout: 260 seconds]
richi235 has joined #ocaml
orbifx-m has joined #ocaml
MK__ has quit [Remote host closed the connection]
ryanartecona has quit [Quit: ryanartecona]
spew has quit [Ping timeout: 260 seconds]
ryanartecona has joined #ocaml
<orbitz> Is it possible to express this type with-out the nesting that scalar has? https://bitbucket.org/snippets/orbitz/8nLK4
<orbitz> I want to be able to write a function with the type (scalar -> scalar)
<orbitz> But I would like to be able to construct the recursive function a bit less awkwardly
<orbitz> recursive value*
<Drup> it might be possible (depends exactly what you want), but it's probably not really better
<orbitz> Hrm. I was hoping GADTs would solve this but I'm too pedestiran
spew has joined #ocaml
noddy has quit [Ping timeout: 252 seconds]
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
kamog has joined #ocaml
TheLemonMan has joined #ocaml
noddy has joined #ocaml
<GomJabbar> if i'm matching types, can i use _ to match any type that i havent matched for yet?
<GomJabbar> like for instance
<GomJabbar> match e with | EMyType(x) -> do stuff | _ -> do other stuff
<GomJabbar> or does that only work for the internals assignments in the match
<Drup> GomJabbar: You can't match types, only constructors
<GomJabbar> sorry yes
<GomJabbar> those are constructors
<GomJabbar> not types
<Drup> Have you tried your code, then ? :)
<GomJabbar> so can you use _ to match all other constructors not specified?
zpe has joined #ocaml
noddy has quit [Ping timeout: 258 seconds]
ryanartecona has quit [Quit: ryanartecona]
kakadu has quit [Quit: Konversation terminated!]
zpe has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
larhat has joined #ocaml
averell has quit [Quit: .]
kakadu has joined #ocaml
|jbrown| has quit [Ping timeout: 255 seconds]
|jbrown| has joined #ocaml
ryanartecona has joined #ocaml
mengu has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
spew has quit [Quit: foobar]
tane has quit [Quit: Leaving]
inari has joined #ocaml
inari has quit [Client Quit]
pasmo has joined #ocaml
<pasmo> I'm trying to use the Graphics module on OSX 10.10 -- I have a minimal program that does `open Graphics;; open_graph "";;`, but when I compile and run it, it kind of hangs and nothing happens
<pasmo> I've installed xquartz, installed ocaml `--with-x11`, restarted a few times, and opened xquartz before running my ocaml program
<pasmo> any clues about what's happening? I don't get any visible errors and i've basically read all the google results I can dig up
orbifx has joined #ocaml
<companion_cube> I think open_graph might block until some event is received, or sth
<companion_cube> or until the window is closed?
<copy`> You can attach to the process with gdb or lldb and type `bt` to get a backtrace to see where it's stuck
<orbifx> elo
<Drup> open_graph is not supposed to block (at least not after the window is open)
AltGr has left #ocaml [#ocaml]
<pasmo> the reason I think something else is wrong besides my usage of the library is that I tried running this small graphics program -- http://www.cis.upenn.edu/~cis120/current/graphics.shtml
<pasmo> (it just draws a camel to make sure Graphics is working correctly)
<pasmo> and I get the same results
_andre has quit [Quit: leaving]
pasmo has quit [Ping timeout: 260 seconds]
isaachodes[m] has joined #ocaml
<orbifx> oops just missed him
ryanartecona has quit [Quit: ryanartecona]
kakadu has quit [Remote host closed the connection]
ryanartecona has joined #ocaml
noddy has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
ollehar has joined #ocaml
freechips has joined #ocaml
freechips has quit [Client Quit]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
Simn has quit [Read error: Connection reset by peer]
<orbifx> is using a record field identifiers any different than making functions to access them after compilation?
<orbifx> will `x.foo` be compiled differently to `let foo x = x.foo in foo x` ?
kamog has quit [Read error: Connection reset by peer]
kamog has joined #ocaml
larhat has quit [Quit: Leaving.]
ollehar has quit [Quit: ollehar]
seangrove has joined #ocaml
jabroney has quit [Quit: Leaving.]
ryanartecona has joined #ocaml
sh0t has quit [Remote host closed the connection]
richi235 has quit [Ping timeout: 260 seconds]
argent_smith has quit [Quit: Leaving.]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 is now known as Guest6406
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
infinity0 has quit [Remote host closed the connection]