<marvin2>
ollehar are you asking why he'd use (+) 1?
<companion_cube>
when `succ` exists? crazy! :p
<ollehar>
marvin2: yes
<ollehar>
marvin2: or rather, I advised against it.
<marvin2>
why?
<ollehar>
marvin2: obfuscation
<marvin2>
how would you write that if there wasn't succ?
<ollehar>
marvin2: + 1?
<ollehar>
marvin2: probably x + 1
CcxWrk has joined #ocaml
<marvin2>
wait, it has been a while since I used ocaml. isn't (+) 1 a function?
<ollehar>
marvin2: It's a partial application of a function
<marvin2>
yes, so x + 1 isn't a valid alternative if you need a function
KeyJoo has quit [Quit: KeyJoo]
<ollehar>
marvin2: no
<Armael>
yes (+) 1 is a function
slamzy has quit [Remote host closed the connection]
gravicappa has joined #ocaml
waleee has joined #ocaml
leedo27 has joined #ocaml
leedo27 has quit [Remote host closed the connection]
al-damiri has joined #ocaml
freyr69 has quit [Remote host closed the connection]
Algebr`` has quit [Ping timeout: 245 seconds]
jstolarek has quit [Ping timeout: 250 seconds]
Algebr`` has joined #ocaml
asymptotically has quit [Quit: Leaving]
Haudegen has quit [Read error: Connection reset by peer]
Algebr`` has quit [Ping timeout: 268 seconds]
marvin2 has quit [Ping timeout: 272 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
sagotch has quit [Quit: Leaving.]
bartholin has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
sigma_g has quit [Quit: meh]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ziyourenxiang has quit [Ping timeout: 245 seconds]
Algebr`` has joined #ocaml
fraxamo has joined #ocaml
labdog has joined #ocaml
fenrus0220 has joined #ocaml
fenrus0220 has quit [Remote host closed the connection]
labdog has quit [Client Quit]
Haudegen has joined #ocaml
<companion_cube>
ocp-browse is totally unusable now‽ so slow
waleee has quit [Quit: WeeChat 2.3]
<theblatte>
'File "absint/ProcCfg.mli", line 41, characters 2-8: Expected declaration'
<theblatte>
File "absint/ProcCfg.mli", line 41, characters 2-8: Actual declaration
<theblatte>
hmmmmmm
<companion_cube>
u drunk ocamlc??
marvin2 has joined #ocaml
<spew>
hahahahaha
<theblatte>
what does "module A = X" do in module signatures?
<spew>
drunk on absint probably
<theblatte>
for instance this doesn't typecheck: module M (X : sig end) : sig module A = X end = struct module A = X end ;;
<theblatte>
Modules do not match: sig end is not included in (module X)
<theblatte>
it doesn't typecheck but using the signature of M (exported in a .mli) elsewhere does what I expect, I just can't seem to be able to satisfy it
<octachron>
theblatte, in the signature "module A = X" defines an alias A to X in a signature, but aliases are stripped inside a functor body
<theblatte>
ok so I can make aliases, but not to the functor parameters? :'(
<theblatte>
so instead I have to write sig module A : module type of X with type t = X.t and type t' = X.t' and ...
<theblatte>
ocamlc seems happy with this workaround so far
<theblatte>
so I guess I'm confused why restriction 2 exists given the workaround
<octachron>
Since it is a functor argument, you should have a module type around, no?
<theblatte>
yes
<octachron>
Otherwise, the restriction exists because a full module alias allow to access the whole module and not the module restricted to the argument signature
<theblatte>
but I want the module type inside to have all the (type and modules) equalities wrt the module argument
<theblatte>
I mean I found a (verbose) workaround, but I was quite puzzle why ocamlc was unhappy since it lets me express the module alias in the signature
<theblatte>
I guess the error should be in the signature of the result of the functor?
<theblatte>
octachron: thanks! I see a "Aliases to functor parameters" section :)
<octachron>
Maybe, but bubbling such error to the right place is not always easy within the typechecker
<theblatte>
sure
Algebr`` has quit [Remote host closed the connection]
Algebr`` has joined #ocaml
Algebr`` has quit [Ping timeout: 250 seconds]
asymptotically has joined #ocaml
Algebr`` has joined #ocaml
Algebr`` has quit [Ping timeout: 268 seconds]
gravicappa has quit [Ping timeout: 268 seconds]
kakadu_ has joined #ocaml
asymptotically has quit [Remote host closed the connection]
Algebr`` has joined #ocaml
Algebr`` has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
malina has quit [Ping timeout: 250 seconds]
Algebr`` has joined #ocaml
Algebr`` has quit [Ping timeout: 250 seconds]
asymptotically has joined #ocaml
fraxamo has quit [Quit: Leaving]
pyx has joined #ocaml
pyx has quit [Client Quit]
malina has joined #ocaml
Algebr`` has joined #ocaml
pierpal has quit [Ping timeout: 244 seconds]
Haudegen has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
aplainzetakind has joined #ocaml
pierpal has quit [Ping timeout: 246 seconds]
Algebr`` has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
<Drup>
companion_cube: yes, the last version is broken, the lazy loading doesn't work
<Drup>
I reported it already
<companion_cube>
yeah :/
Algebr`` has joined #ocaml
Algebr`` has quit [Ping timeout: 244 seconds]
Algebr`` has joined #ocaml
Algebr`` has quit [Ping timeout: 250 seconds]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
jnavila has quit [Remote host closed the connection]
spew has quit [Quit: going home]
bartholin has quit [Remote host closed the connection]
Algebr`` has joined #ocaml
TC01 has quit [Ping timeout: 268 seconds]
TC01 has joined #ocaml
kvda has joined #ocaml
TC01 has quit [Ping timeout: 244 seconds]
Algebr`` has quit [Ping timeout: 244 seconds]
ygrek__ has joined #ocaml
asymptotically has quit [Quit: Leaving]
kotrcka has quit [Quit: WeeChat 2.2]
hannes` has joined #ocaml
hannes has quit [Ping timeout: 260 seconds]
kakadu_ has quit [Remote host closed the connection]