wtetzner has quit [Remote host closed the connection]
slash^ has joined #ocaml
S11001001 has joined #ocaml
Simn has joined #ocaml
AlexDenisov has joined #ocaml
<jerith>
nicoo: Unspeakable GC patches in pypy or ocaml?
<nicoo>
jerith: The compactor patches we discussed at DebConf (in OCaml), where you said you should introduce me to some PyPy GC people :P
<jerith>
Ah, right.
<jerith>
You can find them all in Switzerland at the moment, I believe.
<nicoo>
I'm very far away from Switzerland at the moment
jamesst20 has joined #ocaml
<jerith>
My implied suggestion that you crash their sprint wasn't *entrely* serious. ;-)
jamesst20 has quit [Ping timeout: 240 seconds]
<nicoo>
I totally would, if I was on the right continent. (OK, s/totally/perhaps/)
<jerith>
I'm sure you'd be welcome. But you might suddenly find yourself refactoring metainterpreter optimisations or something.
<nicoo>
I don't know anything about PyPy, so that's unlikely
<adrien>
morning :)
<adrien>
nicoo: do you use or know nixos? :P
<nicoo>
I do, why?
pyx has joined #ocaml
<nicoo>
Also, ah! Totally up before you
pyx has quit [Client Quit]
FreeBirdLjj has quit [Remote host closed the connection]
<adrien>
yeah, totaly still not sleeping :)
<adrien>
there's a github pr about using findlib in the compiler codebase; currently it's expecting findlib packages in $(ocamlc -where)/.. or something like that; would that be an issue for nix?
<adrien>
(yeah, the kind of question you love to hear when you're actually hoping to get to bed :P )
MercurialAlchemi has joined #ocaml
sfri_ has quit [Ping timeout: 255 seconds]
<nicoo>
adrien: No idea off-hand, check yourself :P
<nicoo>
And yes, I just read GH#1065
sfri has joined #ocaml
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Read error: Connection reset by peer]
mryau has joined #ocaml
malina has joined #ocaml
orbifx has joined #ocaml
<adrien>
:P
demonimin has quit [Ping timeout: 240 seconds]
orbifx has quit [Ping timeout: 260 seconds]
demonimin has joined #ocaml
<mryau>
Hello, is there any tutorials for Batteries BatParserCo module?
FreeBirdLjj has joined #ocaml
larhat has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
larhat has quit [Quit: Leaving.]
arj has joined #ocaml
arj has quit [Client Quit]
malina has quit [Ping timeout: 240 seconds]
arj has joined #ocaml
jamesst20 has joined #ocaml
spew has joined #ocaml
shinnya has joined #ocaml
malina has joined #ocaml
jamesst20 has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Simn has quit [Quit: Leaving]
cbot has quit [Quit: Leaving]
spew has quit [Ping timeout: 240 seconds]
malina has quit [Ping timeout: 240 seconds]
ciniglio has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
malina has joined #ocaml
mfp has joined #ocaml
tane has joined #ocaml
silver_ has joined #ocaml
zpe has quit [Remote host closed the connection]
silver_ is now known as silver
<companion_cube>
not that I know of
zpe has joined #ocaml
<companion_cube>
if you know parsec (for haskell) it's probably quite similar in principle
djellemah has quit [Ping timeout: 268 seconds]
malina has quit [Ping timeout: 240 seconds]
zpe has quit [Remote host closed the connection]
arj has quit [Quit: Leaving.]
arj has joined #ocaml
abeaumont has joined #ocaml
djellemah has joined #ocaml
lopex has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
slash^ has joined #ocaml
jamesst20 has joined #ocaml
bobbypriambodo has joined #ocaml
bobbypriambodo has quit [Client Quit]
bobbypriambodo has joined #ocaml
bobbypriambodo has quit [Ping timeout: 255 seconds]
<Drup>
yeah, it can outputs indentation for a specific line
<alex``>
oki
<alex``>
we pass the whole buffer to stdin, and it outputs the whole buffer, only touching the lnum
<alex``>
?
<alex``>
given lnum* with --lines <n>
<_y>
i think only a limited context is passed to ocp-indent
<alex``>
getline('1','$')
<alex``>
'$' doesn’t refer to last buffer line?
<alex``>
or current line
<_y>
$ is last line, so you are probably right
<_y>
ocp-indent is given the whole file, but i thought that maybe it would only use a limited context around your lines and discard the rest, but i don't see anything in the manual in that sense
<_y>
(man ocp-indent)
<alex``>
for limited context we have to know where starts context
infinity0 has quit [Remote host closed the connection]
<alex``>
i'm ok for first version with whole buffer
jamesst20 has quit [Remote host closed the connection]
<alex``>
it's only to give a starting point :p
jamesst20 has joined #ocaml
<_y>
alex``, of course, it would only be a heuristics, but that’s a fairly reasonable approximation
infinity0 has joined #ocaml
<_y>
to avoid really big cost each time you insert a new line in a big source file
<Drup>
you guys are seriously over estimating the cost of parsing a whole file ^^'
<alex``>
XD
infinity0 has quit [Remote host closed the connection]
<alex``>
Drup may be costly on kakoune
jamesst20 has quit [Ping timeout: 240 seconds]
<alex``>
with multi selections
<Drup>
I have no idea what it is, but honestly, I doubt it
<_y>
Drup, idk, i have experience with painful editing of 800-lines-long source files with vim
<alex``>
oki
infinity0 has joined #ocaml
<Drup>
_y: 800 is not very long and I doubt ocp-indent was causing a slow down
<Drup>
it's probably more costly to *color* your file with syntax coloration rules than whatever ocp-indent is doing.
<_y>
may be due to syntax coloring as well, but those are regex matching with limited context
wtetzner has joined #ocaml
<alex``>
the syntax for ocp-indent --lines range only?
<alex``>
-l RANGE, --lines=RANGE (absent=-)
<alex``>
Only re-indent the lines in RANGE (eg. 10-12), adapting to the current indentation of surrounding lines. Lines start at 1.
<alex``>
not list of ranges / lines ?
<_y>
try it!
<alex``>
i would like to pass the given lines
<alex``>
on kakoune, on <ret> i would like doing one `ocp-indent` --lines and given each selection line
<alex``>
instead of spawning a shell with ocp-indent for each selection
<alex``>
seems not handled
AlexDenisov has joined #ocaml
<Drup>
try to call ocp-indent several time, and if it's too slow, make a feature request
<alex``>
ouki
<alex``>
i think it should handle a list anyway
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Simn has joined #ocaml
arj has joined #ocaml
larhat has joined #ocaml
fre has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
lucybun has quit [Quit: lucybun]
AlexDenisov has joined #ocaml
lucybun has joined #ocaml
AlexDeni_ has joined #ocaml
jamesst20 has joined #ocaml
copy` has joined #ocaml
AlexDenisov has quit [Ping timeout: 255 seconds]
johnf_ has joined #ocaml
jamesst20 has quit [Ping timeout: 240 seconds]
iyy has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
jnavila has quit [Ping timeout: 260 seconds]
kakadu has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
d0nn1e has quit [Ping timeout: 260 seconds]
fre has joined #ocaml
djellemah_ has joined #ocaml
d0nn1e has joined #ocaml
zpe has quit [Remote host closed the connection]
jamesst20 has joined #ocaml
wtetzner has quit [Remote host closed the connection]
atsampson has quit [Ping timeout: 240 seconds]
atsampson has joined #ocaml
wtetzner has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0_ is now known as infinity0
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
wtetzner has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
<alex``>
Re
infinity0 has joined #ocaml
Xadnem has joined #ocaml
fre has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
fre has joined #ocaml
arj has quit [Quit: Leaving.]
wtetzner has joined #ocaml
jamesst20 has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
jamesst20 has joined #ocaml
jamesst20 has quit [Ping timeout: 264 seconds]
mengu has joined #ocaml
<alex``>
Drup: list support will not work well with --numeric actually
<alex``>
adding list support to --lines
<alex``>
numeric should return a list
<alex``>
double empty lines to separate list?
<alex``>
one*
freusque has quit [Ping timeout: 260 seconds]
cbot has quit [Ping timeout: 255 seconds]
ryanartecona has quit [Ping timeout: 255 seconds]
orbifx has quit [Ping timeout: 260 seconds]
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
myst|fon has joined #ocaml
octachron has quit [Quit: Leaving]
johnf_ has joined #ocaml
abeaumont has joined #ocaml
foo30303 has quit [Quit: leaving]
zv has joined #ocaml
wtetzner has joined #ocaml
spew has quit [Ping timeout: 260 seconds]
<_y>
the Weird Midnight Question:
<_y>
is it possible to define a value of type 'a t = T of 'a t t (whose evaluation terminates and without invokation to magic)?
<_y>
without -rectypes
<companion_cube>
don't you need a base case?
<_y>
i thought it was possible because « let rec x = T x » is accepted with -rectypes, and i assumed this option do not add expressivity to the language
<_y>
but after more reflexion maybe that last assertion is true only for the type system (ie a recursive *type* definition that is accepted with -rectypes will always be accepted without, modulo the addition of constructors)
jamesst20 has joined #ocaml
<_y>
i don’t know how type polymorphism mixes with type recursivity
<_y>
roughly speaking, i would have guessed that this type is the greatest fixpoint of µt . t∘t, which is (??) the constant function equal to the unit type, so 'a t should have (exactly) one inhabitant
jamesst20 has quit [Ping timeout: 264 seconds]
<companion_cube>
there is no fxipoint to this definition?
<companion_cube>
I mean, no fixpoint using finite values
<companion_cube>
there's only one solution and it's infinite; it would work as a codatatype
<_y>
but it may as well have no sense at all :-)
<companion_cube>
but not as a datatype
<_y>
yes companion_cube, that’s why i considered the *greatest* fixpoint
<companion_cube>
so you want a codatatype
<companion_cube>
not available in OCaml ^^
<_y>
since ocaml is turing-complete, it accepts much more than the lesser fixpoint, so i assume what ocaml accepts really is the greatest fixpoint
<_y>
hm but now i have stated this, i realize it may be false, for example i know no way of building an arbitrary (= not cyclic) infinite list in ocaml
mengu has quit [Read error: Connection reset by peer]
<_y>
(“question for a friend”)
<_y>
btw, does there exist people trying to add cothings to ocaml?
<companion_cube>
no idea
<companion_cube>
you can do stuff with recursive functions though
<companion_cube>
like, `type 'a t = unit -> 'a node and 'a node = Nil | Cons of 'a * 'a t`
<companion_cube>
this makes it possible to build infinite lists
mengu has joined #ocaml
Xadnem has quit [Quit: leaving]
tormen has quit [Quit: Lost terminal]
Simn has quit [Read error: Connection reset by peer]
<mengu>
my best sopranos moment
<mengu>
when tony kills cifaretto
<mengu>
"she was a beautiful innocent creature what she'd ever do to you?"
<mengu>
oh damn
<mengu>
wrong channel
<companion_cube>
that's an interesting change though