<def`>
nojb: if I remember well, it's a cache to improve complexity of typechecking
govg has joined #ocaml
<nojb>
def`: thanks! useful to know
<def`>
nojb: yep, when you expand an alias
<def`>
e.g you have type 'a t = 'a * 'a
<def`>
it is first stored as Tconstr (['a], [t], ref Mnil)
<def`>
then during typechecking you might need to unify with 'a * 'a, the Mnil will be mutated to Mcons (_, _, Ttuple(['a],['a])) once and for all
<def`>
abbreviations are cleared before marshalling (in cmi or cmt)
<nojb>
I see
<def`>
that's all I know, can't guarantee it's 100% correct ;)
<nojb>
thanks it is very useful
vanila has quit [Quit: Leaving]
<nojb>
What other sources of type aliases are being considered ? I guess that type constraints of abstract types are also a source of such abbrevs ?
MercurialAlchemi has joined #ocaml
<def`>
hmm, I am not sure what you mean?
<ggole>
module M = F (X) with type t = ...
<ggole>
Where t is the alias
<ggole>
(I think.)
<def`>
well in this case, it's just a type constructor that gets a manifest added
<def`>
so a this level, it's just a type_decl with a manifest = Some Tconstr
<nojb>
the abbrevs are a list Mcons (…, Mcons (…, …)) but I am wondering what are the possible reasons why an entry would be added to the list
<ggole>
Maybe they're just a list of abbreviations.
<ggole>
Eg type t = int type s = t type u = s
* ggole
is guessing :(
mort___ has left #ocaml [#ocaml]
Simn has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
Pepe_ has joined #ocaml
JuggleTux has joined #ocaml
Cyanure has joined #ocaml
hekmek has joined #ocaml
antegallya has quit [Ping timeout: 244 seconds]
Yoric has quit [Remote host closed the connection]
Thooms has joined #ocaml
Yoric has joined #ocaml
samrat has joined #ocaml
enitiz has joined #ocaml
antegallya has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
oscar_toro has joined #ocaml
alexi5 has joined #ocaml
Yoric has quit [Ping timeout: 265 seconds]
antegallya has quit [Ping timeout: 245 seconds]
nicoo has quit [Ping timeout: 250 seconds]
kakadu has joined #ocaml
leowzukw_ has joined #ocaml
leowzukw has quit [Ping timeout: 264 seconds]
enitiz has quit [Ping timeout: 244 seconds]
nicoo has joined #ocaml
rfv has quit [Ping timeout: 245 seconds]
cojy has quit [Read error: Connection reset by peer]
n1ftyn8 has quit [Read error: Connection reset by peer]
msch has quit [Ping timeout: 265 seconds]
cojy has joined #ocaml
n1ftyn8 has joined #ocaml
rfv has joined #ocaml
msch has joined #ocaml
govg has quit [Ping timeout: 265 seconds]
BitPuffin has joined #ocaml
pdewacht has quit [Ping timeout: 255 seconds]
samrat has quit [Ping timeout: 264 seconds]
chinglish has quit [Ping timeout: 265 seconds]
chinglish has joined #ocaml
shinnya_ has joined #ocaml
samrat has joined #ocaml
kotee has joined #ocaml
q66 has joined #ocaml
antegallya has joined #ocaml
mort___ has joined #ocaml
mort___ has quit [Quit: Leaving.]
avsm has joined #ocaml
bjorkintosh has quit [Quit: Leaving]
bjorkintosh has joined #ocaml
alexi5 has quit [Ping timeout: 245 seconds]
nojb has quit [Quit: nojb]
rock_neurotiko has joined #ocaml
govg has joined #ocaml
nojb has joined #ocaml
vanila has joined #ocaml
rand000 has joined #ocaml
psy_ has quit [Read error: Connection reset by peer]
psy_ has joined #ocaml
AlexRussia has quit [Ping timeout: 255 seconds]
chinglish has quit [Ping timeout: 244 seconds]
chinglish has joined #ocaml
BitPuffin has quit [Ping timeout: 264 seconds]
adrien has quit [Remote host closed the connection]
adrien has joined #ocaml
gustav___ has quit [Ping timeout: 245 seconds]
gustav___ has joined #ocaml
Cyanure has quit [Remote host closed the connection]
nojb has quit [Quit: nojb]
avsm has quit [Quit: Leaving.]
nojb has joined #ocaml
seggy has quit [Ping timeout: 265 seconds]
nojb has quit [Client Quit]
struktured has quit [Ping timeout: 265 seconds]
struktured has joined #ocaml
seggy has joined #ocaml
samrat has quit [Ping timeout: 244 seconds]
pyon has quit [Ping timeout: 244 seconds]
* struktured
is making an ocaml forge account.
nojb has joined #ocaml
BitPuffin has joined #ocaml
leowzukw_ has quit [Quit: Lost terminal]
samrat has joined #ocaml
pdewacht has joined #ocaml
pyon has joined #ocaml
<dmbaturin>
Make sure that account is not forged.
<struktured>
this is state of the art techonlogy running this web site, don't you worry.
lu324 has joined #ocaml
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
AlexRussia has joined #ocaml
darkf has quit [Quit: Leaving]
AlexRussia has quit [Ping timeout: 256 seconds]
kapil__ has quit [Quit: Connection closed for inactivity]
nojb has quit [Quit: nojb]
AlexRussia has joined #ocaml
eventualbuddha has joined #ocaml
<eventualbuddha>
is oasis a good starting point for a ocaml newbie wanting to write a library?
uris77 has joined #ocaml
AlexRussia has quit [Ping timeout: 264 seconds]
Cyanure has joined #ocaml
<MercurialAlchemi>
eventualbuddha: as a build system?
<eventualbuddha>
MercurialAlchemi: yeah
<MercurialAlchemi>
or as a library to study?
AlexRussia has joined #ocaml
<MercurialAlchemi>
yeah, it works
<eventualbuddha>
it seems like there is an awful lot of generated code. I kind of wonder if I’d be better off just starting with ocamlbuild so I can actually understand what’s going on
marynate has quit [Quit: Leaving]
pyon has quit [Ping timeout: 240 seconds]
zwer_z is now known as zwer
struktured has quit [Ping timeout: 252 seconds]
pyon has joined #ocaml
pyon has quit [Ping timeout: 245 seconds]
enitiz has joined #ocaml
mort___ has joined #ocaml
Yoric has joined #ocaml
araujo has quit [Read error: Connection reset by peer]
araujo has joined #ocaml
Yoric has quit [Ping timeout: 265 seconds]
uris77 has quit [Quit: leaving]
<Drup>
the generated code is not very important ...
Yoric has joined #ocaml
pyon has joined #ocaml
vanila has quit [Quit: Leaving]
rgrinberg has joined #ocaml
pyon has quit [Ping timeout: 240 seconds]
pyon has joined #ocaml
mcc has joined #ocaml
leowzukw has joined #ocaml
Hannibal_Smith has joined #ocaml
nojb has joined #ocaml
jgjl has joined #ocaml
ingsoc has joined #ocaml
<ingsoc>
hi
<ingsoc>
is jocaml still being developed ?
<Drup>
the last download is 4.01
nojb has quit [Quit: nojb]
<ingsoc>
Drup: is jocaml still not multicore like ocaml is ?
<Drup>
no idea.
<Drup>
pretty sure it doesn't change, since it's message passing stuff.
dsheets__ has quit [Ping timeout: 240 seconds]
govg has quit [Ping timeout: 245 seconds]
<MercurialAlchemi>
talking about released, don't we have a released ppx-enabled merlin yet?
govg has joined #ocaml
<ingsoc>
it might be an idea for the documentation to reference other languages/approaches to highlight similarities or differences to maybe aid grokking it.
govg is now known as Guest47236
<ingsoc>
and what is the official(unofficial) standard lib, I notice there's "Batteries Included" and also "Core"
<ingsoc>
I was reading that there were some problems with the built in ocaml libs hence why these 3rd party ones were developed
<MercurialAlchemi>
there is also containers
<MercurialAlchemi>
the problem with the default stdlib is that it's quite limited
<MercurialAlchemi>
and awful in some places
<ingsoc>
I think I read some functions had been built without using tail calls that could result in exhausting stack
Guest47236 has quit [Quit: leaving]
govg_ has joined #ocaml
<MercurialAlchemi>
well, not everything can be tail rec
<MercurialAlchemi>
but I wouldn't say that's the biggest issue with the default stdlib
<MercurialAlchemi>
(nice username btw)
<ggole>
A bunch of the list functions
<Drup>
that's not really an issue anyway
<ingsoc>
I was just mentioning something I had read
<ggole>
They could be tail recursive if people cared enough.
<ingsoc>
not saying it is the death nell for the standard lib
<Drup>
ggole: for list.map, it's annoying
<ggole>
(I admit it's not all that important in practice.)
kakadu has quit [Remote host closed the connection]
<kotee>
dmbaturin: a pragmatic aspect is: fun x -> raise gets 'b to be good to be used in either (match i with | 1 -> () | _ -> this_f i) or (match s with | "foo" -> 42 | _ -> this_f s) ...
rand000 has quit [Quit: leaving]
rgrinberg has quit [Quit: Leaving.]
mcclurmc_ has joined #ocaml
nojb has joined #ocaml
rgrinberg has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
Cyanure has quit [Remote host closed the connection]
oscar_toro has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
nojb has quit [Quit: nojb]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
knoedl has quit [Read error: Connection reset by peer]
rock_neurotiko has joined #ocaml
Muzer has quit [Read error: Connection reset by peer]