<ocaml634>
i googled a bit and found that i've to enable syntax extensions in emacs
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
<ocaml634>
but how do i specify it in the .merlin file?
raphinou has quit [Quit: WeeChat 1.4]
<larhat>
ocaml634: "with compare" is the old, camlp4 based syntax extension. You should probably use ppx-based one nowadays — https://github.com/janestreet/ppx_compare
<larhat>
ocaml634: so you can install it via `opam install ppx_compare` and add it to .merlin/_tags
AlexRussia has quit [Ping timeout: 246 seconds]
wtetzner has joined #ocaml
<ocaml634>
how do i add it to .merlin/_tags?
<ocaml634>
is _tags a file, or a directory?
<ocaml634>
what should the syntax be?
<ocaml634>
thanks!
larhat has quit [Quit: Leaving.]
wtetzner has quit [Remote host closed the connection]
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
jbrown has quit [Remote host closed the connection]
larhat has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #ocaml
kakadu has quit [Remote host closed the connection]
<ocaml634>
hi def`, i've read that, i really don't understand it...
<ocaml634>
it says "Note: nowadays, PPX are the preferred way to extend the language. They can be specified like any other package. Other syntax extensions are deprecated and may disappear soon."
agarwal1975 has quit [Quit: agarwal1975]
<ocaml634>
do i say EXT ppx_deriving
<ocaml634>
?
agarwal1975 has joined #ocaml
<flux>
ocaml634, I think PKG ppx_deriving?
<ocaml634>
hmm i've tried that, doesn't seem to work
<ocaml634>
let me try again
<flux>
did you restart merlin after that?
nomicflux has joined #ocaml
wtetzner has joined #ocaml
jao has joined #ocaml
<ocaml634>
nice, i think you're right
<ocaml634>
PKG deriving.std works
<ocaml634>
now [@@deriving ord] doesn't give an error
<ocaml634>
i was trying to use the comparator from [@@deriving ord] to build a set
<ocaml634>
let set_test = Set.of_list compare_node [Regular 'A'; Regular 'B']
<ocaml634>
But there is a type mismatch between node -> node -> Ppx_deriving_runtime.int and ('a, 'b) Core_kernel.Comparator.t
<ocaml634>
anyone has an example of how to use Set.of_list?
<flux>
YourSet.of_list [1; 2; 3] ?-)
octachron has joined #ocaml
<flux>
it doesn't take a comparator, as the comparator is baked into the module YourSet
<flux>
ah, so I see that you're using Set directly. are you using some extended standard library, ie. core?
<flux>
plain ocaml sets are functorized, it seems yours aren't, so I guess the problem is your comparator
<flux>
I think Core uses comparators that return something else then an integer
<octachron>
Core comparators are a pair of a a comparison function + a type witness
agarwal1975 has quit [Ping timeout: 264 seconds]
<octachron>
in order to use a comparator, you need first to use Comparator.Make() to create the comparator from the comparison function
<ocaml634>
yes, i'm using core.
ocaml634 has quit [Ping timeout: 260 seconds]
pierpa has joined #ocaml
jnavila has quit [Remote host closed the connection]
agarwal1975 has joined #ocaml
jnavila has joined #ocaml
frug72 has quit [Ping timeout: 245 seconds]
shinnya has quit [Ping timeout: 252 seconds]
snhmib has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
d0nn1e has quit [Ping timeout: 264 seconds]
d0nn1e has joined #ocaml
larhat has quit [Quit: Leaving.]
infinity0 has quit [Ping timeout: 256 seconds]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
noddy has quit [Ping timeout: 246 seconds]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
smondet has joined #ocaml
trepta has joined #ocaml
wtetzner has quit [Remote host closed the connection]
dmbaturin_ is now known as dmbaturin
AlexRussia has quit [Ping timeout: 250 seconds]
wtetzner has joined #ocaml
zirman has quit [Remote host closed the connection]
infinity0 has quit [Ping timeout: 248 seconds]
zirman has joined #ocaml
smondet has quit [Read error: Connection reset by peer]
smondet has joined #ocaml
infinity0 has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
rossberg has quit [Ping timeout: 246 seconds]
jbrown has joined #ocaml
infinity0 has quit [Ping timeout: 264 seconds]
malc_ has joined #ocaml
infinity0 has joined #ocaml
rossberg has joined #ocaml
ohama has quit [Ping timeout: 268 seconds]
mlly has joined #ocaml
<mlly>
hello does anybody know if the author of tsdl library wrote all the ctypes bindings by hand or used a generator?
jao has quit [Disconnected by services]
jao has joined #ocaml
AlexRussia has joined #ocaml
<mlly>
ah it seems the project has been live since 2013
<mlly>
really i am thankful to these people writing bindings which must be extremely painful :(
<mlly>
wonder how doable it would be to generate these bindings from C headers using cil
zirman has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
_berke_ has joined #ocaml
rgrinberg has joined #ocaml
zirman has joined #ocaml
ohama has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
freusque has joined #ocaml
_andre has quit [Quit: leaving]
<_berke_>
what happened to the custom bigarray indexing syntax?
ryanartecona has joined #ocaml
<octachron>
_berke_, do you mean the `a.{0}` syntax or the proposition to make it more easily customizable?
<rgrinberg>
companion_cube: I think the rss link on your blog is broken
ygrek_ has joined #ocaml
<companion_cube>
hmm
<companion_cube>
just when I'm already tired and angry because of jupyter
<companion_cube>
rgrinberg: oh thanks, must be because of https
<companion_cube>
rgrinberg: fixed
<companion_cube>
was actually just a config issue ?!
<Armael>
ygrek_: I wanted to use sqlgg, but found out it doesn't handle NULLs. I'm a complete SQL noob, is it not annoying in practice? or is using nullable columns considered bad practice?..
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
ryanartecona has quit [Quit: ryanartecona]
Leonidas_ is now known as Leonidas
infinity0 has quit [Remote host closed the connection]
jackweirdy has joined #ocaml
jackweirdy has quit [Client Quit]
infinity0 has joined #ocaml
ryanartecona has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
jackweirdy has joined #ocaml
Sorella has joined #ocaml
<ygrek_>
Armael, it is a defect for sure, but for my usecases I could get away without NULLs
<Armael>
okay
<ygrek_>
but it can and should be improved one day :]
<Armael>
so do you put like empty strings?
<Armael>
ok :p
<ygrek_>
usually all fields have valid data
MercurialAlchemi has quit [Ping timeout: 246 seconds]
<octachron>
_berke_, there was a syntax conflict with another potential language extension based on type-based disambiguation for array-like data type
<octachron>
since the second proposition was much more complex and net yet completely implemented, and it was not possible to mesh the two proposition ideally, both proposition are lost in the limbo for now
<_berke_>
octachron: thanks
<flux>
funny how my ocaml doesn't anymore compile native binaries, seems to be because of debian
<flux>
none of my old switches work, complain that I should recompile with recompile with -fPIC when linking libasmrun.a
ryanartecona has quit [Quit: ryanartecona]
<flux>
I guess I'll try switch 4.04.0, hadn't compiled that before
<_berke_>
I tried 4.04.0 yesterday. with flambda it's unusable, it fails if you try to mutate a float variable in an objet. using 4.05 now
wtetzner has quit [Remote host closed the connection]
nomicflux has joined #ocaml
ryanartecona has joined #ocaml
rwmjones is now known as rwmjones|hols
<companion_cube>
4.03 is very usable
<Drup>
octachron: couldn't you just exclude .[] of the possible index operators ?
<octachron>
I will see, but I am bit lacking energy for this kind of fight right now
<companion_cube>
PRs on ocaml tend to have this effect :/
infinity0 has quit [Remote host closed the connection]
<Drup>
well, XL just pinged you, you should at least try to poll if people are ok with the idea
infinity0 has joined #ocaml
<Leonidas>
any caml people at 33c3?
isd1 has joined #ocaml
isd has quit [Disconnected by services]
isd1 is now known as isd
<lobo>
Leonidas: jep. at the OpenLab Augsburg / NixOS / Curry-Club / Functional... assembly ;-)
<companion_cube>
anyone willing to suffer and help me write a jupyter kernel library?
<mlly>
what's jupyter?
<mlly>
nvm
<companion_cube>
jupyter-notebook, I mean
<companion_cube>
(there's iocaml but it's for an old version of the protocol, and it's using its own custom zmq implem)
<companion_cube>
and it uses threads instead of lwt
<companion_cube>
(that being said, I started from their atdgen spec)
<mlly>
companion_cube: do you use jupyter in your line of work?
wtetzner has joined #ocaml
<companion_cube>
no, just for a side project
Algebr has joined #ocaml
<companion_cube>
well, it would also be useful for iocaml since iocaml doesn't support recent versions of jupyter
mlly has quit [Ping timeout: 260 seconds]
<Drup>
companion_cube: why does it matter that iocaml uses an old version of the protocol ? It works really well and you can even use browser-only notebooks ...
jackweirdy has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<companion_cube>
errr, it does not work with my version of the notebook
<companion_cube>
nor does it handle the signature scheme
wtetzner has quit [Ping timeout: 250 seconds]
<companion_cube>
and in the current state, it's deeply tied to the ocaml kernel
<Drup>
what do you mean it doesn't work ? It's extremly self contained
<Drup>
(at least for the jsoo-powered one)
<companion_cube>
oh, the jsoo one
<companion_cube>
I was thinking of the one that used the regular jupyter infrastructure
<companion_cube>
not pure JS
<companion_cube>
something that can be used to write kernels for other languages, in other words
<companion_cube>
or for OCaml + unix/C
<companion_cube>
(the full OCaml)
octachron has quit [Quit: Leaving]
jackweirdy has joined #ocaml
nomicflux has quit [Quit: nomicflux]
zirman has quit [Remote host closed the connection]
jnavila has quit [Quit: Konversation terminated!]
maattdd has joined #ocaml
wolfcore has quit [Ping timeout: 250 seconds]
maattdd has quit [Client Quit]
maattdd has joined #ocaml
maattdd has quit [Read error: Connection reset by peer]
freusque has quit [Ping timeout: 252 seconds]
johnelse has joined #ocaml
johnelse is now known as Guest76272
jackweirdy has quit [Read error: Connection reset by peer]
ryanartecona has quit [Quit: ryanartecona]
kakadu has quit [Remote host closed the connection]
troydm has joined #ocaml
scitesy has joined #ocaml
zirman has joined #ocaml
<Algebr>
why would really_input and really_input_line block?
<Algebr>
rather, get hung
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
smondet has quit [Ping timeout: 245 seconds]
<Algebr>
okay, never saw this exception before: Exception: Sys_blocked_io.
zirman has quit [Ping timeout: 258 seconds]
<aantron>
Algebr: are you using a channel in non-blocking mode?
<aantron>
as for why it's blocking, assuming it was not in non-blocking mode before, perhaps because there was no input to read?
infinity0 has quit [Remote host closed the connection]