<rixed>
From a cursory look at OCaml syntax it seems there is no way to locally open a module when defining a type. I'm thinking about << type t = let open XYZ in ... >>. Has it been tried before? Is there any fundamental reason why it would be hard to add?
<flux[m]>
rixed: doesn't seem like it would cause trouble. maybe you can write a proposal ;)
<flux[m]>
I guess the `type t = Module.(...)` syntax could work as well
<flux[m]>
rixed: I guess you have a good use case for it?
<flux[m]>
maybe someone can think it as "dirty" to use expression syntax in types
<rixed>
flux[m]: My use case is merely to shorten access path to types in far away modules I want to combine. Nothing fancy. I might have a look at it at some point, although last time I tried to add support for a trivial syntax addition it turned out messier than expected :)
<flux[m]>
I guess in practical terms you can just "open" it before type definition, but it's always nice to be able to have as small scope as possible
Haudegen has joined #ocaml
barockobamo has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
khodzha has joined #ocaml
engil has quit [Changing host]
engil has joined #ocaml
jaar has joined #ocaml
notnotdan has quit [Quit: leaving]
notnotdan has joined #ocaml
mfp has joined #ocaml
<Drup>
That's not a syntax addition at all, though
<Drup>
there is currently no type-level local open.
jbrown has quit [Remote host closed the connection]
jbrown has joined #ocaml
_whitelogger has joined #ocaml
keep_learning_M has joined #ocaml
jao has joined #ocaml
jao is now known as Guest36652
dimitarvp has joined #ocaml
dimitarvp has quit [Client Quit]
Guest36652 is now known as jao
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
jbrown has joined #ocaml
hio has quit []
<flux[m]>
I guess you cannot use destructive module assignment for that, like module M := struct open .. type t = ... end type t = M.t, which would be a bit more like the same thing
<Drup>
It's not really the same semantics, and deriving one form from the other automatically is not so trivial
spew has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
Janni has joined #ocaml
<Janni>
Hello.
<Janni>
Is opam on opam?
<Janni>
I.e. a package that includes the executable .opam/.../bin/.opam...
jao has quit [Ping timeout: 272 seconds]
<oni-on-ion>
i think so, it can update itself
AtumT has joined #ocaml
<dinosaure>
Janni: opam install opam-devel ;)
<dinosaure>
then it advises you to copy the binary into /usr/local/bin
keep_learning_M has quit [Quit: This computer has gone to sleep]
FreeBirdLjj has joined #ocaml
jao has joined #ocaml
<Janni>
Thanks guys.
Janni has quit [Quit: Leaving]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]