rfg has joined #ocaml
rfg has quit [Client Quit]
synod has joined #ocaml
<
synod>
How do I instantiate a private type abbreviation in a compilation unit?
seafood has joined #ocaml
aj2009 has joined #ocaml
<
synod>
Anyone know how to instantiate a private type abbreviation?
<
julm>
synod: what do you call abbreviation?
<
julm>
I think, you should declare your type private only in the signature of the module; so you're free to instantiate it into the module
<
synod>
i have type a = int * int and type 'a t = private a
<
synod>
for instance
<
synod>
and I thought I could just ascribe the type in the module like let foo x : unit t = (x,x)
<
synod>
where foo would be int -> unit t
<
synod>
but of course this does not type check
<
synod>
because it refuses to lift a to unit t
<
synod>
even though the private abbreviation was declared in this compilation unit
<
synod>
julm: yup but without the module declaration
<
julm>
then put the signature into a .mli
<
synod>
is that possible? What good are private type abbreviations?
<
julm>
I know not; I've never used them
fraggle_ has quit [Quit: -ENOBRAIN]
_unK has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
slunk has quit [Remote host closed the connection]
valross has joined #ocaml
slunk has joined #ocaml
pikachuyann has quit [Quit: 'nuit / 'night]
joewilliams is now known as joewilliams_away
synod has quit [Quit: Page closed]
Edward_ has quit [Ping timeout: 252 seconds]
ulfdoz_ has joined #ocaml
aj2009 has quit [Quit: Leaving]
ulfdoz has quit [Ping timeout: 258 seconds]
|marius| has joined #ocaml
wormphlegm has joined #ocaml
wormphlegm has quit [Quit: hmm]
mjonsson has quit [Ping timeout: 240 seconds]
|marius| has quit [Remote host closed the connection]
joewilliams_away is now known as joewilliams
ulfdoz_ has quit [Quit: Reconnecting]
ulfdoz has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
joewilliams is now known as joewilliams_away
|marius| has joined #ocaml
wormphlegm has joined #ocaml
oc13 has joined #ocaml
wormphlegm has quit [Quit: hmm]
Amorphous has quit [Ping timeout: 265 seconds]
Amorphous has joined #ocaml
|marius| has quit [Remote host closed the connection]
ikaros has joined #ocaml
avsm has joined #ocaml
seafood has quit [Quit: seafood]
Yoric has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
Snark has joined #ocaml
seafood has joined #ocaml
valross has quit [Quit: Ex-Chat]
thelema has quit [Ping timeout: 276 seconds]
uberlazy has joined #ocaml
thelema has joined #ocaml
Associat0r has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
thelema has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
thelema has joined #ocaml
oc13 has quit [Ping timeout: 240 seconds]
_unK has joined #ocaml
uberlazy has quit [Quit: ChatZilla 0.9.86 [Firefox 3.6.8/20100722155716]]
uberlazy has joined #ocaml
uberlazy has quit [Client Quit]
pikachuyann has joined #ocaml
MarcWeber has quit [Quit: leaving]
th5 has joined #ocaml
_andre has joined #ocaml
sgnb has quit [Remote host closed the connection]
sgnb has joined #ocaml
slunk has quit [Ping timeout: 276 seconds]
mjonsson has joined #ocaml
_unK has quit [Ping timeout: 240 seconds]
mjonsson has quit [Quit: Leaving]
mjonsson has joined #ocaml
mjonsson has quit [Remote host closed the connection]
_unK has joined #ocaml
mjonsson has joined #ocaml
mal`` has quit [Ping timeout: 276 seconds]
mal`` has joined #ocaml
seafood has quit [Quit: seafood]
mal`` has quit [Ping timeout: 252 seconds]
mal`` has joined #ocaml
_unK has quit [Read error: Connection reset by peer]
Edward__ has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
_unK has joined #ocaml
slunk has joined #ocaml
fraggle_ has joined #ocaml
roconnor has quit [Ping timeout: 260 seconds]
ccasin has joined #ocaml
jakedouglas has joined #ocaml
_unK has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
_unK has joined #ocaml
joewilliams_away is now known as joewilliams
ttamttam has quit [Remote host closed the connection]
tomasz has joined #ocaml
tomasz has left #ocaml []
krnkktz has quit [Quit: adieu]
krankkatze has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
Edward__ has quit [Ping timeout: 272 seconds]
th5 has quit [Quit: th5]
eelte has quit [Ping timeout: 265 seconds]
ikaros has joined #ocaml
easy4 has joined #ocaml
philtor has joined #ocaml
avsm has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
iago has joined #ocaml
Yoric has quit [Quit: Yoric]
philtor has quit [Ping timeout: 265 seconds]
slunk has quit [Remote host closed the connection]
slunk has joined #ocaml
mbishop has quit [Ping timeout: 265 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
ikaros has joined #ocaml
thieusoai has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
ikaros has joined #ocaml
coucou747 has joined #ocaml
|marius| has joined #ocaml
|marius| has quit [Remote host closed the connection]
ikaros has quit [Quit: Leave the magic to Houdini]
|marius| has joined #ocaml
ikaros has joined #ocaml
metasyntax` has joined #ocaml
philtor has joined #ocaml
Edward__ has joined #ocaml
roconnor has joined #ocaml
<
roconnor>
{env with variables = addvar v} (* how do I read this piece of syntax? *)
<
adrien>
roconnor: it's record where all fields are the same as in the record 'env' except 'variables' which is 'addvar v'
|marius|_ has joined #ocaml
|marius| has quit [Ping timeout: 252 seconds]
Anarchos has joined #ocaml
avsm has joined #ocaml
sepp2k has quit [Quit: Leaving.]
|marius|_ has quit [Remote host closed the connection]
Edward__ has quit [Ping timeout: 272 seconds]
sepp2k has joined #ocaml
Snark has quit [Quit: Ex-Chat]
avsm has quit [Quit: Leaving.]
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 265 seconds]
tomasz has joined #ocaml
Edward_ has joined #ocaml
Edward_ has quit [Ping timeout: 276 seconds]
_andre has quit [Quit: *puff*]
_unK has quit [Remote host closed the connection]
Edward_ has joined #ocaml
bacam has quit [Read error: Connection reset by peer]
|marius| has joined #ocaml
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
bacam has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
slunk has left #ocaml []
slunk has joined #ocaml
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
_unK has joined #ocaml
iago has quit [Quit: Leaving]
ccasin has quit [Quit: Leaving]
fremo___ has quit [Read error: Connection reset by peer]
philtor has quit [Ping timeout: 240 seconds]
fremo__ has joined #ocaml
hto has quit [Read error: Connection reset by peer]
hto has joined #ocaml
jakedouglas has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
sepp2k1 has quit [Quit: Leaving.]
tomasz has quit [Ping timeout: 265 seconds]
tomasz has joined #ocaml
joewilliams is now known as joewilliams_away
<
pikachuyann>
bonne nuit / good night
pikachuyann has quit [Quit: Quitte]
ikaros has quit [Quit: Leave the magic to Houdini]
seafood has joined #ocaml