<infinity0>
is it possible to do something like module Make(M: sig <minimal interface> end) = struct include (actual full interface of M) (.. extra stuff ..) end
<infinity0>
if i do just "include M" the resulting module seems to hide the stuff that M actually has, that wasn't declared as part of the <minimal interface> because the (.. extra stuff ..) doesn't need it
<infinity0>
oh nvmd, the real-world-ocaml book has it in the "EXTENDING MODULES" section of the functors chapter
<infinity0>
module ExtendedOrig = struct module T = Orig include Orig include Extend(Orig) end, basically
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
kerrhau has joined #ocaml
cbot has joined #ocaml
<Denommus>
aantron: you can't use empty string as a react-native component, it seems
<Denommus>
aantron: unlike on the web, where you can
Denommus has quit [Quit: going home]
malina has quit [Read error: Connection reset by peer]
shinnya has quit [Ping timeout: 240 seconds]
mfp has quit [Ping timeout: 246 seconds]
mnemem_ has joined #ocaml
enterprisey has joined #ocaml
mnemem_ has quit [Ping timeout: 255 seconds]
marcux has quit [Ping timeout: 248 seconds]
Fulltime has joined #ocaml
<Fulltime>
hello?
Fulltime has quit [Quit: Page closed]
snhmib has quit [Quit: WeeChat 1.9.1]
enterprisey has quit [Quit: Leaving]
Soni has joined #ocaml
Armael has quit [Ping timeout: 246 seconds]
Armael has joined #ocaml
yno_ has quit [Ping timeout: 258 seconds]
yno_ has joined #ocaml
<aantron>
Denommus: thanks!
govg has quit [Ping timeout: 246 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
kerrhau has quit [Quit: bye!]
malina has joined #ocaml
kerrhau has joined #ocaml
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
malina has quit [Read error: Connection reset by peer]
malina has joined #ocaml
malina has quit [Remote host closed the connection]
malina has joined #ocaml
samrat has joined #ocaml
malina has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
dtornabene has quit [Remote host closed the connection]
yomimono has quit [Ping timeout: 255 seconds]
enterprisey has joined #ocaml
jonasen has joined #ocaml
mnemem_ has joined #ocaml
kerrhau has quit [Ping timeout: 240 seconds]
mnemem_ has quit [Ping timeout: 260 seconds]
MercurialAlchemi has joined #ocaml
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
kerrhau has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 is now known as Guest69019
Guest69019 has quit [Killed (barjavel.freenode.net (Nickname regained by services))]
al-damiri has quit [Quit: Connection closed for inactivity]
<rixed>
aantron: OK, thank you for confirming my observation and understanding. Well, I guess biology apply to computers right now, and in biology if you want to know what an organ is for you remove it. I will delete B by hand and see what breaks :)
FreeBirdLjj has joined #ocaml
Soni has joined #ocaml
FreeBirdLjj has quit [Client Quit]
mbuf has quit [Quit: Leaving]
raphinou has joined #ocaml
Associat0r_ has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Client Quit]
raphinou has quit [Quit: WeeChat 1.9]
<companion_cube>
hmmmm do first-class functors exist? I can't find the syntax
<companion_cube>
or should the functor type be named…
jonasen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
enterprisey has quit [Remote host closed the connection]
mnemem_ has quit [Ping timeout: 264 seconds]
<Drup>
companion_cube: you always need to name what you pack
dakk has joined #ocaml
<companion_cube>
won't work anyway, I need to constraint a type in the functor's argument
<companion_cube>
better stick to polymorphic functions that take and return first-class modules :3
<Drup>
companion_cube: the format is "NAME with ...."
<Drup>
so, you can use "with type"
mnemem_ has joined #ocaml
argent_smith has joined #ocaml
<companion_cube>
but not the functor's argument
Associat0r__ has joined #ocaml
Associat0r_ has quit [Ping timeout: 246 seconds]
AltGr has left #ocaml [#ocaml]
mnemem_ has quit [Ping timeout: 240 seconds]
ygrek_ has joined #ocaml
mengu has joined #ocaml
dhil has joined #ocaml
mfp has joined #ocaml
Associat0r__ has quit [Read error: Connection reset by peer]
jonasen has joined #ocaml
jmiven has quit [Quit: co'o]
kakadu has joined #ocaml
mengu has quit [Remote host closed the connection]
jmiven has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Client Quit]
malc_ is now known as duryodhana
samrat has quit [Ping timeout: 248 seconds]
zolk3ri has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Client Quit]
mnemem_ has joined #ocaml
mnemem_ has quit [Ping timeout: 248 seconds]
duryodhana is now known as yudhishthira
mengu has joined #ocaml
ziyourenxiang has joined #ocaml
shinnya has joined #ocaml
AltGr has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
mnemem_ has joined #ocaml
yudhishthira has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
jonasen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mengu has quit [Ping timeout: 264 seconds]
mnemem has joined #ocaml
samrat_ has joined #ocaml
_andre has joined #ocaml
mnemem_ has quit [Ping timeout: 260 seconds]
zolk3ri has quit [Quit: Lost terminal]
zolk3ri has joined #ocaml
mnemem_ has joined #ocaml
mnemem has quit [Ping timeout: 240 seconds]
mnemem has joined #ocaml
samrat_ has quit [Ping timeout: 240 seconds]
mnemem_ has quit [Ping timeout: 258 seconds]
ShalokShalom_ is now known as ShalokShalom
mnemem_ has joined #ocaml
mnemem has quit [Ping timeout: 248 seconds]
eikke has joined #ocaml
mk9 has joined #ocaml
Anarchos has joined #ocaml
mk9 has quit [Client Quit]
dhil has joined #ocaml
mengu has joined #ocaml
samrat_ has joined #ocaml
ShalokShalom_ has joined #ocaml
ShalokShalom has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Remote host closed the connection]
mengu has quit [Remote host closed the connection]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
al-damiri has joined #ocaml
donryudragoni has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
lucas_ has joined #ocaml
sz0 has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
donryudragoni has quit [Ping timeout: 240 seconds]
donryudragoni has joined #ocaml
<aantron>
rixed: i believe the coarseness of information learned by that method of biology is "this organ is needed for life" :D
donryudragoni has quit [Quit: WeeChat 1.9.1]
<infinity0>
lol nice
donryudragoni has joined #ocaml
dhil has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
donryudragoni has quit [Client Quit]
mk9 has quit [Quit: mk9]
donryudragoni has joined #ocaml
FreeBirdLjj has joined #ocaml
malina has joined #ocaml
cross has joined #ocaml
mk9 has joined #ocaml
dhil has quit [Ping timeout: 258 seconds]
freusque has quit [Quit: WeeChat 1.7.1]
DontKickMe has joined #ocaml
<DontKickMe>
Hello, I have issues with types and trying to do some exercices can anyone help me ?
<DontKickMe>
Here's my code https://pastebin.com/Mt2X3n5w : and i have error : ```File "monoids.ml", line 73, characters 46-47: Error: This expression has type int but an expression was expected of type INT.element```
mk9 has quit [Quit: mk9]
kolko has joined #ocaml
donryudragoni has quit [Quit: WeeChat 1.9.1]
jonasen has joined #ocaml
DontKickMe has quit [Quit: Page closed]
FreeBirdLjj has quit [Remote host closed the connection]
pecan has quit [Ping timeout: 246 seconds]
govg has joined #ocaml
lucas_ is now known as lucasAntwerp
lucasAntwerp is now known as luukAntwerp
AltGr has left #ocaml [#ocaml]
Simn has quit [Ping timeout: 255 seconds]
ShalokShalom_ has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
ziyourenxiang has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
shinnya has joined #ocaml
FreeBirdLjj has joined #ocaml
TheLemonMan has joined #ocaml
mbuf has joined #ocaml
ShalokShalom has joined #ocaml
dakk has quit [Ping timeout: 248 seconds]
shinnya has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
<def`>
zolk3ri: yes?
SpiceGuid has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
andreas__ has quit [Quit: Connection closed for inactivity]
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
kerrhau has joined #ocaml
mbuf has quit [Quit: Leaving]
SpiceGuid has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.46/20161213183751]]
slash^ has joined #ocaml
mengu has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]