mea-culpa has quit [Remote host closed the connection]
obadz has joined #ocaml
shinnya has joined #ocaml
cdidd has joined #ocaml
cdidd_ has quit [Ping timeout: 244 seconds]
AltGr has joined #ocaml
xaimus has quit [Quit: leaving]
empyrean has quit [Quit: Leaving]
empyreanx has joined #ocaml
empyreanx has quit [Remote host closed the connection]
xaimus has joined #ocaml
empyreanx has joined #ocaml
empyreanx has quit [Quit: Leaving]
empyreanx has joined #ocaml
empyreanx is now known as empyreanx_
jwatzman|work has quit [Quit: jwatzman|work]
empyreanx_ has quit [Quit: Leaving]
empyreanx has joined #ocaml
empyreanx has quit [Remote host closed the connection]
empyreanx has joined #ocaml
empyreanx has quit [Client Quit]
empyreanx has joined #ocaml
empyreanx has left #ocaml [#ocaml]
ril has joined #ocaml
tennix has joined #ocaml
echo-area has joined #ocaml
pyon is now known as nyon
swgillespie has joined #ocaml
toomuchtvrotsurb has quit [Remote host closed the connection]
tmtwd has quit [Ping timeout: 252 seconds]
tmtwd has joined #ocaml
<Algebr>
Is multi-core coming this end of year still?
nullcatxxx_ has joined #ocaml
__uu__ has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
__uu___ has joined #ocaml
Bluddy has quit [Quit: Connection closed for inactivity]
__uu__ has quit [Ping timeout: 264 seconds]
nyon is now known as sheaf-pyon
Algebr has quit [Remote host closed the connection]
Bluddy has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
f[x] has quit [Ping timeout: 256 seconds]
nullcatxxx_ has joined #ocaml
pilne has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.38/20150923193515]]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
pilne has joined #ocaml
darkf has joined #ocaml
jeffmo has quit [Quit: jeffmo]
ril is now known as ril[away]
psy_ has quit [Ping timeout: 246 seconds]
mac10688 has quit [Ping timeout: 240 seconds]
damason has quit [Remote host closed the connection]
yac has quit [Ping timeout: 246 seconds]
damason has joined #ocaml
pilne has quit [Quit: I hit quit!]
pilne has joined #ocaml
__uu___ has quit [Remote host closed the connection]
__uu__ has joined #ocaml
MercurialAlchemi has joined #ocaml
ril[away] is now known as ril
kushal has joined #ocaml
yac has joined #ocaml
keen___________7 has quit [Read error: Connection reset by peer]
keen___________7 has joined #ocaml
pilne has quit [Remote host closed the connection]
pilne has joined #ocaml
pilne has quit [Client Quit]
tmtwd has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 246 seconds]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
contempt has quit [Disconnected by services]
contempt has joined #ocaml
ril is now known as ril[away]
ril[away] is now known as ril
tibor_ has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
ril is now known as ril[away]
ril[away] is now known as ril
contempt has quit [Disconnected by services]
ril is now known as ril[away]
ril[away] is now known as ril
contempt has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
larhat1 has quit [Quit: Leaving.]
swgillespie has joined #ocaml
nullcatxxx_ has joined #ocaml
ggole has joined #ocaml
xificurC has quit [Read error: Connection reset by peer]
xificurC has joined #ocaml
tane has joined #ocaml
obadz has quit [Ping timeout: 265 seconds]
obadz has joined #ocaml
antkong has quit [Quit: antkong]
MercurialAlchemi has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ollehar has joined #ocaml
oscar_toro has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
MercurialAlchemi has quit [Read error: Connection reset by peer]
es has joined #ocaml
Kakadu has joined #ocaml
ollehar has quit [Ping timeout: 256 seconds]
Kakadu has quit [Remote host closed the connection]
ely-se has joined #ocaml
sivoais has quit [Ping timeout: 272 seconds]
freehck has joined #ocaml
sivoais has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
Haudegen has joined #ocaml
sivoais has quit [Ping timeout: 265 seconds]
sivoais has joined #ocaml
kushal has quit [Ping timeout: 250 seconds]
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
rand__ has joined #ocaml
sivoais has quit [Ping timeout: 268 seconds]
sivoais has joined #ocaml
orbifx has joined #ocaml
sh0t has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
jonludlam has joined #ocaml
sivoais has joined #ocaml
octachron has joined #ocaml
zpe has quit [Remote host closed the connection]
sivoais has quit [Ping timeout: 255 seconds]
sivoais has joined #ocaml
mort___ has joined #ocaml
sh0t has quit [Ping timeout: 256 seconds]
sivoais has quit [Ping timeout: 252 seconds]
srcerer has quit [Ping timeout: 272 seconds]
sivoais has joined #ocaml
yomimono has joined #ocaml
mort___ has left #ocaml [#ocaml]
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
es has quit [Quit: leaving]
MercurialAlchemi has joined #ocaml
Kakadu has joined #ocaml
sivoais has joined #ocaml
ely-se has quit [Quit: leaving]
ely-se has joined #ocaml
sivoais has quit [Ping timeout: 244 seconds]
zpe has joined #ocaml
MercurialAlchemi has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
MercurialAlchemi has joined #ocaml
keleshev has joined #ocaml
rfv has quit [Ping timeout: 256 seconds]
oldmanistan_ has quit [Read error: Connection reset by peer]
NhanH has quit [Ping timeout: 264 seconds]
lambdahands has quit [Ping timeout: 264 seconds]
n1ftyn8_ has quit [Read error: Connection reset by peer]
Bluddy has quit [Ping timeout: 240 seconds]
sivoais has quit [Ping timeout: 240 seconds]
msch has quit [Ping timeout: 268 seconds]
cojy has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
antkong has joined #ocaml
AltGr has left #ocaml [#ocaml]
k1000_ has joined #ocaml
sivoais has quit [Ping timeout: 244 seconds]
kushal has joined #ocaml
sivoais has joined #ocaml
kdas_ has joined #ocaml
kushal has quit [Ping timeout: 260 seconds]
sivoais has quit [Ping timeout: 256 seconds]
lambdahands has joined #ocaml
n1ftyn8_ has joined #ocaml
lambdahands has quit [Remote host closed the connection]
n1ftyn8_ has quit [Remote host closed the connection]
sivoais has joined #ocaml
zpe has quit [Remote host closed the connection]
NhanH has joined #ocaml
kdas_ has quit [Quit: Leaving]
kushal has joined #ocaml
oldmanistan_ has joined #ocaml
cojy has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
n1ftyn8_ has joined #ocaml
sivoais has joined #ocaml
msch has joined #ocaml
rfv has joined #ocaml
keleshev has quit [Ping timeout: 250 seconds]
sivoais has quit [Ping timeout: 265 seconds]
MercurialAlchemi has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
MercurialAlchemi has joined #ocaml
yomimono has quit [Ping timeout: 244 seconds]
aubergines has joined #ocaml
Bluddy has joined #ocaml
sivoais has quit [Ping timeout: 250 seconds]
sivoais has joined #ocaml
rgrinberg1 has quit [Ping timeout: 260 seconds]
yomimono has joined #ocaml
lambdahands has joined #ocaml
__uu___ has joined #ocaml
thomasga has joined #ocaml
__uu__ has quit [Ping timeout: 240 seconds]
sivoais has quit [Ping timeout: 240 seconds]
jonludlam has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
oscar_toro has quit [Ping timeout: 272 seconds]
keleshev has joined #ocaml
<keleshev>
I've just upgraded from 4.01.0 to 4.02.3 and I have this minor annoyance:
ely-se has quit [Quit: leaving]
<keleshev>
In repl I'm used to aliasing a module just to see module's contents, like: module M = Core.Std.List (* This used to print the whole signature *)
<keleshev>
But in 4.02.3 this prints back just the `module M = Core.Std.List`.
sivoais has quit [Ping timeout: 240 seconds]
jeffmo has joined #ocaml
<keleshev>
`#show_module Core.Std.List;;` is not much better either, it prints `module List = Core_kernel.Std_kernel.List`
larhat1 has joined #ocaml
sheaf-pyon is now known as elementary-pyon
tennix has quit [Ping timeout: 240 seconds]
<keleshev>
So is there a quick way to print module's signature in repl for 4.02.3?
larhat1 has quit [Client Quit]
sivoais has joined #ocaml
ely-se has joined #ocaml
jonludlam has joined #ocaml
<rks`>
keleshev: I don't think so
<keleshev>
rks`: ah, ok then, not a big deal.
<MercurialAlchemi>
keleshev: I think you should be able to see the whole signature in merlin
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
<keleshev>
MercurialAlchemi: just checked an in merlin <Leader-t> on something like `Lexing.from_string` (cursor on L) gives me `from_string` signature, not module's signature.
<keleshev>
MercurialAlchemi: when I point cursor at some module alias, it gives me "No type annotation found for the given text".
<keleshev>
MercurialAlchemi: it used to print module's signature, I remember.
<ggole>
#show is the way to do that, I guess you have to dereference manually :/
oscar_toro has joined #ocaml
jonludlam has quit [Ping timeout: 264 seconds]
<rks`>
keleshev: "No type annotation found for the given text" means that's not actually merlin
<rks`>
do you have ocamlspot or something else installed?
<ggole>
Or you could use a different hack, maybe module type L = module type of List
<keleshev>
rks`: no ocamlspot. Otherwise merlin seems to work.
<rks`>
try calling :MerlinTypeOf manually
<keleshev>
ggole: thanks, that totally works!
<rks`>
(also, I think it is bound to localleader-t, not leader-t)
sivoais has quit [Ping timeout: 255 seconds]
MercurialAlchemi has quit [Read error: Connection reset by peer]
MercurialAlchemi has joined #ocaml
<keleshev>
rks`: oops, "Not an editor command: MerlinTypeOf". Then I don't even know what is showing me those type signatures on leader-t...
sivoais has joined #ocaml
<def`>
Do you even have completion :D?
<keleshev>
def`: nope, just checked. Could be that my upgread to 4.02.3 broke Merlin...
_andre has joined #ocaml
<haesbaert>
keleshev: I think most of us use merlin with 4.02.3
<keleshev>
haesbaert: sorry, by "merlin" I meant "my setup of merlin"
<bernardofpc>
keleshev: #typeof "Core.Std.List" ;; should work
<bernardofpc>
(on toplevel)
<keleshev>
Of course, I didn't install merlin on the new switch!
<keleshev>
Wow, merlin got colors.
<ggole>
bernardofpc: there's no such directive, is that a utop thing?
<bernardofpc>
oh, maybe it's a utop thing
<keleshev>
bernardofpc: it gives me same: module Core.Std.List = Core_kernel.Std_kernel.List
<keleshev>
ggole's "module type L = module type of
jonludlam has joined #ocaml
<bernardofpc>
I have no Core here, so with plain Pervasives.List it worked
<keleshev>
List" is the most convenient thing so far.
sivoais has quit [Ping timeout: 244 seconds]
<bernardofpc>
maybe you have to walk the indirection list all the way down ?
ousado has quit [Quit: --]
<keleshev>
bernardofpc: yes, if you "dereference" it enough times #show and #typeof show the module signature. But that's not practical with something like Core.
echo-area has quit [Remote host closed the connection]
sivoais has joined #ocaml
<keleshev>
MercurialAlchemi: in merlin, it shows full signatures on "normal" modules, and just a path for aliased modules. But that's fine, I guess.
<keleshev>
MercurialAlchemi: consistent with top-level behavior.
<def`>
keleshev: just do twice
<keleshev>
def`: oh, my, didn't know about this trick, thanks!
rgrinberg1 has joined #ocaml
<def`>
keleshev: useful in other situations, you might enjoy :MerlinGrow/ShrinkEnclosing (localleader-n and -p)
sivoais has quit [Ping timeout: 260 seconds]
<companion_cube>
def`: do you know if rules in Menhir parsers can be parametrized by values? e.g. to carry a contex
<companion_cube>
t
rgrinberg1 has quit [Ping timeout: 272 seconds]
<def`>
companion_cube: lift in monad
sivoais has joined #ocaml
<companion_cube>
ok
thomasga has quit [Read error: Connection reset by peer]
thomasga has joined #ocaml
sepp2k has joined #ocaml
RichN has quit [Ping timeout: 272 seconds]
sivoais has quit [Ping timeout: 255 seconds]
sivoais has joined #ocaml
MercurialAlchemi has quit [Read error: Connection reset by peer]
RichN has joined #ocaml
MercurialAlchemi has joined #ocaml
ely-se has quit [Quit: leaving]
sivoais has quit [Ping timeout: 250 seconds]
ely-se has joined #ocaml
sivoais has joined #ocaml
keleshev has quit [Quit: [BX] *PHEAR MY BITCHX-NESS!* BOW TO ME!]
elementary-pyon is now known as sheaf
zpe has joined #ocaml
tane has quit [Quit: Verlassend]
sivoais has quit [Ping timeout: 256 seconds]
antkong has quit [Quit: antkong]
sivoais has joined #ocaml
Haudegen has quit [Ping timeout: 252 seconds]
tennix has joined #ocaml
sivoais has quit [Ping timeout: 250 seconds]
sivoais has joined #ocaml
tennix has quit [Ping timeout: 256 seconds]
zpe has quit [Remote host closed the connection]
MercurialAlchemi has quit [Read error: Connection reset by peer]
MercurialAlchemi has joined #ocaml
Haudegen has joined #ocaml
tennix has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
sivoais has quit [Ping timeout: 265 seconds]
sivoais has joined #ocaml
tennix has quit [Ping timeout: 240 seconds]
rgrinberg1 has joined #ocaml
Bluddy has quit [Quit: Connection closed for inactivity]