Ragora has quit [Read error: Connection reset by peer]
Ragora has joined #ocaml
enterprisey has quit [Remote host closed the connection]
sam_ has quit [Ping timeout: 248 seconds]
andreas__ has quit [Quit: Connection closed for inactivity]
sam_ has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
mfp__ has quit [Ping timeout: 240 seconds]
Ragora has quit [Read error: Connection reset by peer]
Ragora has joined #ocaml
Ergatis has joined #ocaml
Ragora has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
jlam1 has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
jlam2 has joined #ocaml
jlam2 has quit [Read error: Connection reset by peer]
jlam_ has joined #ocaml
zv has quit [Quit: WeeChat 1.9]
jlam1 has quit [Ping timeout: 240 seconds]
zv has joined #ocaml
Ragora has joined #ocaml
Ergatis has quit [Read error: Connection reset by peer]
Ragora has quit [Read error: Connection reset by peer]
Ragora has joined #ocaml
MercurialAlchemi has joined #ocaml
Muzer has quit [Ping timeout: 255 seconds]
TobiasBales has joined #ocaml
TobiasBales has quit [Client Quit]
samrat_ has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
enterprisey has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
Muzer has joined #ocaml
samrat_ has quit [Ping timeout: 240 seconds]
TobiasBales has joined #ocaml
TobiasBales has quit [Client Quit]
samrat_ has joined #ocaml
TobiasBales has joined #ocaml
TobiasBales has quit [Client Quit]
Algebr has quit [Ping timeout: 252 seconds]
kalio has quit [Ping timeout: 240 seconds]
dakk has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
TobiasBales has joined #ocaml
Lightsephi has quit [Ping timeout: 248 seconds]
KeyJoo has quit [Ping timeout: 240 seconds]
BitPuffin|osx has quit [Remote host closed the connection]
BitPuffin|osx has joined #ocaml
eh_eff has joined #ocaml
Simn has joined #ocaml
freusque has joined #ocaml
eh_eff has quit [Ping timeout: 246 seconds]
samrat_ has quit [Ping timeout: 248 seconds]
samrat_ has joined #ocaml
cbot has quit [Quit: Leaving]
dakk has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
argent_smith has joined #ocaml
samrat_ has quit [Ping timeout: 260 seconds]
slash^ has joined #ocaml
samrat_ has joined #ocaml
KeyJoo has joined #ocaml
TobiasBales has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mfp__ has joined #ocaml
TobiasBales has joined #ocaml
mbuf has joined #ocaml
cthuluh has quit [Ping timeout: 260 seconds]
samrat_ has quit [Ping timeout: 255 seconds]
samrat_ has joined #ocaml
freyr has joined #ocaml
kalio has joined #ocaml
<freyr>
Is it possible to make Module's type constructors visible in functor? Say I have some Make(M : T) : (RESULT with type t := M.t), how to make t constructors visible within Make?
<Drup>
You mean re-export the constructors from M ? No, you can't
<freyr>
That's quite stupid since they (should be) functions to? So there is no sane workaround? The solution is not to use functors?
<Drup>
What are you trying to do ?
<Drup>
You can re-export constructors only by actual naming them, which you can't in the context of a functor, since you are operating on a generic type, hence you don't know the name of the constructors
<Drup>
you would have the exact same issues with functions
<Drup>
You can't name what you don't know :)
<freyr>
Aa, it seems so
<freyr>
right
<freyr>
thanx, I'll try to rethink about it
pippijn has joined #ocaml
tormen has quit [Ping timeout: 255 seconds]
Associat0r has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
copy_ has joined #ocaml
<def`>
freyr: you can export the equality, that's all
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 252 seconds]
Associat0r has quit [Read error: Connection reset by peer]
Associat0r has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
ShalokShalom_ has joined #ocaml
ShalokShalom has quit [Ping timeout: 240 seconds]
TheLemonMan has joined #ocaml
ShalokShalom_ is now known as ShalokShalom
mbuf has quit [Quit: Leaving]
samrat_ has quit [Ping timeout: 246 seconds]
andreas__ has joined #ocaml
maelkum has joined #ocaml
_andre has joined #ocaml
<orbitz>
companion_cube: Where would you like containers to stop? I'd like a place to put a common module type for Identifiers module type S = type t val to_string : t -> string val of_string : string -> t option end
<orbitz>
Is that something you' dput in containers if I PR it or no?
peterpp has joined #ocaml
peterpp is now known as peterppp
_andre has quit [Quit: leaving]
malina has joined #ocaml
malina has quit [Ping timeout: 240 seconds]
govg has quit [Ping timeout: 248 seconds]
govg has joined #ocaml
Associat0r has quit [Read error: Connection reset by peer]
Associat0r has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
peterppp has quit [Quit: Ex-Chat]
peterpp_ has joined #ocaml
dakk has quit [Ping timeout: 246 seconds]
<theblatte>
the channel logs are down (502 Bad Gateway)
<adrien>
you need to see with whitequark
sh0t has joined #ocaml
<theblatte>
adrien: where can they be reached?
<adrien>
I don't know :P
<adrien>
try /whois or twitter
<theblatte>
oh, whitequark is logged in, just not here :)
<theblatte>
pinged him
jlam_ has quit [Ping timeout: 240 seconds]
peterpp_ has quit [Quit: Ex-Chat]
ristos has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
KeyJoo has quit [Remote host closed the connection]
cthuluh has joined #ocaml
eh_eff has joined #ocaml
sam_ has quit [Ping timeout: 252 seconds]
eh_eff has quit [Ping timeout: 248 seconds]
jao has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
freusque has joined #ocaml
<sgnb>
rwmjones: did you suceed in fixing ocaml 4.05 on arm64, eventually?
freyr has quit [Remote host closed the connection]
<rwmjones>
sgnb: nooooo
<rwmjones>
do you have any ideas how to fix it?
<sgnb>
no
<sgnb>
rwmjones: my "fix" so far would be to disable ocamlopt
<rwmjones>
(!)
<sgnb>
(on arm64)
<sgnb>
infinity0: ^^^
MercurialAlchemi has joined #ocaml
<infinity0>
the thing is if we do that and then they fix it we have to rebuild-everything again on debian
<sgnb>
infinity0: or we can just wait for the next version of ocaml and re-enable ocamlopt then
<sgnb>
I'm pretty sure there will be another one before the next freeze
<companion_cube>
orbitz: it seems a bit… limited
<companion_cube>
module types are structural, it doesn't help if it's centralized in containers
sam_ has joined #ocaml
eh_eff has joined #ocaml
sam_ has quit [Ping timeout: 248 seconds]
eh_eff has quit [Ping timeout: 240 seconds]
tormen has joined #ocaml
<theblatte>
is there a way to tell ocamlc (or jbuilder, or ...) to pretend that .mli files do not exist? That would be convenient to write unit tests that test functions not exposed in the .mli for instance
peterpp_ has joined #ocaml
butterthebuddha has quit [Max SendQ exceeded]
butterthebuddha has joined #ocaml
eh_eff has joined #ocaml
<infinity0>
sgnb: hm that's true, yeah
<infinity0>
ok, i'll do an upload like that for next week in case it's not fixed before then
<infinity0>
rwmjones: are the failures you've been seeing, only to do with natdynlink, or is it all native code in general?
<infinity0>
i had been thinking it would be possible to keep ocamlopt but only disable natdynlink
<infinity0>
not sure if the coq build failure was only for natdynlink stuff (cmxs etc)
Associat0r has quit [Read error: Connection reset by peer]
tormen has quit [Remote host closed the connection]
cbot has joined #ocaml
tormen has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 252 seconds]
samrat has joined #ocaml
sam_ has joined #ocaml
tormen has quit [Quit: Lost terminal]
sam_ has quit [Ping timeout: 248 seconds]
tormen has joined #ocaml
<orbitz>
companion_cube: The reason is so I don'thave to keep on typing module Foo : sig .... end I coul just do module Foo : Identifier.S
Simn has quit [Ping timeout: 240 seconds]
<rwmjones>
infinity0: sorry, yes it only appears to affect natdynlink modules (and only in coq so far)
<rwmjones>
infinity0: I have the error from coq ...
<companion_cube>
orbitz: just have such a module in your code?
<companion_cube>
if it's 2 lines
<orbitz>
companion_cube: I know, but I use it across many projects. I can put it multiple palces, my question was if you think containers is an acceptable place for it and people would benefit from it, not that I lack options :)
<Drup>
sh0t: there are examples and the API is ... very typed :p
sh0t has quit [Read error: Connection reset by peer]
maarhart has joined #ocaml
maarhart has quit [Client Quit]
sam_ has joined #ocaml
rageoholic has joined #ocaml
<rageoholic>
Hey so I've got a dumb question. Lets say I have a file foo.ml that uses functions defined in bar.ml. How can I load this into utop since it complains about unbound module Bar?
xft0 has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
<rageoholic>
I feel like I must be missing something obvious here
<companion_cube>
you need to load bar first :D
<companion_cube>
(it's annoying, yes)
cbot_ has joined #ocaml
fraggle_ has joined #ocaml
cbot has quit [Ping timeout: 260 seconds]
xft0 has left #ocaml ["Leaving"]
mali__ has joined #ocaml
mali__ has quit [Remote host closed the connection]
enterprisey has joined #ocaml
sam_ has quit [Ping timeout: 248 seconds]
jimmyrcom_ has joined #ocaml
eh_eff has joined #ocaml
pierpa has joined #ocaml
<rageoholic>
Yeah loading the cmo doesn't do it in utop?
<rageoholic>
It still complains about the module being unbound
<companion_cube>
hmm, it should
<companion_cube>
#load "bar.cmo" doesn't work?
<rageoholic>
Well I'm using corebuild if that means anything. So #load "_build/bar.cmo"
<rageoholic>
Should I be using ocamlbuild instead?
<companion_cube>
it is ocamlbuild :)
<companion_cube>
under the hood
<companion_cube>
#directory "_build";; might help
<companion_cube>
to locate the .cmi
<companion_cube>
(maybe)
<rageoholic>
Ah that would make sense
<rageoholic>
Yup
<rageoholic>
That did the trick
<companion_cube>
:)
<rageoholic>
Thanks for the help. I'm really liking ocaml but I'm more used to lisp and when my REPL gets broken I get really upset
mengu has joined #ocaml
<companion_cube>
no pb :)
<companion_cube>
lisps have hardcore REPLs
<companion_cube>
in OCaml I also rely a lot on the typechecker in my editor
<rageoholic>
Yeah that's really helpful
<rageoholic>
merlin is a good tool
<companion_cube>
it's awesome, yes
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 252 seconds]
rageoholic has quit [Ping timeout: 252 seconds]
peterpp_ is now known as peterppp
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 is now known as Guest89227
infinity0_ has joined #ocaml
infinity0_ is now known as infinity0
Guest89227 has quit [Killed (tolkien.freenode.net (Nickname regained by services))]
rageoholic has joined #ocaml
enterprisey has quit [Quit: Leaving]
kakadu_ has quit [Remote host closed the connection]
enterprisey has joined #ocaml
tane has quit [Quit: Leaving]
TheLemonMan has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
enterprisey has quit [Ping timeout: 240 seconds]
rostero has quit [Quit: Connection closed for inactivity]
enterprisey has joined #ocaml
enterprisey has quit [Remote host closed the connection]
cbot has joined #ocaml
Denommus has quit [Quit: going home]
cbot_ has quit [Ping timeout: 252 seconds]
Simn has quit [Ping timeout: 248 seconds]
MercurialAlchemi has quit [Ping timeout: 248 seconds]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
rageoholic has quit [Ping timeout: 260 seconds]
ygrek has quit [Ping timeout: 248 seconds]
mengu has quit [Remote host closed the connection]