adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
rig0rmortis has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rig0rmortis has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
ollehar has joined #ocaml
vicfred has quit [Ping timeout: 265 seconds]
laokz has joined #ocaml
vicfred has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
snowpanda has joined #ocaml
nicoo has quit [Ping timeout: 240 seconds]
rig0rmortis has quit [Ping timeout: 256 seconds]
rig0rmortis has joined #ocaml
decentpenguin has quit [Quit: ZNC crashed or something]
nicoo has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
rig0rmortis has quit [Quit: Textual IRC Client: www.textualapp.com]
laokz has quit [Ping timeout: 240 seconds]
vicfred has quit [Quit: Leaving]
laokz has joined #ocaml
aaaaaa has quit [Quit: leaving]
snowpand_ has joined #ocaml
laokz has quit [Ping timeout: 240 seconds]
snowpanda has quit [Ping timeout: 260 seconds]
laokz has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
narimiran has joined #ocaml
laokz has quit [Ping timeout: 258 seconds]
reynir has quit [Ping timeout: 260 seconds]
brown121407 has joined #ocaml
reynir has joined #ocaml
mbuf has joined #ocaml
osa1 has joined #ocaml
brown121407 has quit [Remote host closed the connection]
vicfred has joined #ocaml
chripell has quit [Ping timeout: 258 seconds]
chripell_ has joined #ocaml
Serpent7776 has joined #ocaml
laokz has joined #ocaml
nkly has quit [Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in]
ldb has joined #ocaml
<ldb> what could be the reason causes a OCaml program to terminate with SIGSEGV
<ldb> it that usually involves foreign function calls?
mbuf has quit [Ping timeout: 256 seconds]
chripell_ has quit [Ping timeout: 256 seconds]
chripell has joined #ocaml
delysin_ has quit [Quit: WeeChat 2.9]
snowpand_ has quit [Quit: Leaving...]
<d_bot> <ggole> Or unsafe array access, Obj.magic, etc
<def> stack overflow
delysin has joined #ocaml
<ldb> Can Unix system interaction (terminal IO, threads, file system) be a possible cause?
<def> that's unlikely (signal handling maybe?). unless you have custom FFI code, that's tricky to get right.
<ldb> i see
dborisog has joined #ocaml
Haudegen has joined #ocaml
Tuplanolla has joined #ocaml
dborisog has quit [Ping timeout: 258 seconds]
laokz has quit [Ping timeout: 246 seconds]
jbrown has joined #ocaml
nkly has joined #ocaml
nkly has quit [Ping timeout: 260 seconds]
nkly has joined #ocaml
ldb has quit [Quit: Connection closed]
olle has joined #ocaml
mbuf has joined #ocaml
bartholin has quit [Quit: Leaving]
motherfsck has quit [Ping timeout: 258 seconds]
adi_________ has quit [Read error: Connection reset by peer]
adi_________ has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
nicoo has quit [Ping timeout: 240 seconds]
nicoo has joined #ocaml
mfp has joined #ocaml
<d_bot> <mseri> Especially when the ffi passes around arrays or buffers
<d_bot> <mseri> There used to be an error in marshal/unmarshal code that could cause sigsegv but was fixed in 4.09 or 4.10
Haudegen has quit [Quit: Bin weg.]
raver has joined #ocaml
laokz has joined #ocaml
Fardale has left #ocaml ["WeeChat 2.8"]
Fardale has joined #ocaml
worc3131 has joined #ocaml
Putonlalla has quit [Quit: Leaving.]
Haudegen has joined #ocaml
OptimusMKD has quit [Quit: Leaving]
laokz has quit [Ping timeout: 264 seconds]
sgnb` has joined #ocaml
sgnb has quit [Ping timeout: 264 seconds]
tmhoang has quit [Quit: Alpine Linux, the security-oriented, lightweight Linux distribution]
tmhoang has joined #ocaml
tmhoang has quit [Quit: Alpine Linux, the security-oriented, lightweight Linux distribution]
tmhoang has joined #ocaml
laokz has joined #ocaml
borne has joined #ocaml
mbuf has quit [Quit: Leaving]
waleee-cl has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
borne has quit [Ping timeout: 244 seconds]
cranix has left #ocaml [#ocaml]
laokz has quit [Remote host closed the connection]
laokz has joined #ocaml
borne has joined #ocaml
laokz has quit [Quit: Leaving]
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #ocaml
Haudegen has joined #ocaml
osa1 has quit [Ping timeout: 240 seconds]
borne has quit [Ping timeout: 260 seconds]
chripell_ has joined #ocaml
chripell has quit [Ping timeout: 272 seconds]
sonologico has joined #ocaml
brown121407 has joined #ocaml
olle has quit [Ping timeout: 256 seconds]
gypsydave5 has joined #ocaml
<gypsydave5> Hey - I'm learning OCaml and I'm having some trouble with Functors... can anyone have a look at this and let me know why it's not compiling: https://privatebin.net/?a775b1962ec3be40#8QcaPqksAi5cHyTyNrXypGMEPUg6iMGb1WDY7REfJXWy
chripell has joined #ocaml
<gypsydave5> I'm getting a signature mismatch error : Values do not match:
<gypsydave5> val mem : M.t -> M.t list -> bool
<gypsydave5> val mem : 'a -> M.t list -> bool
<gypsydave5> is not included in
<gypsydave5> Can't seem that first 'a to be an M.t :(
<gypsydave5> s/seem/get
ggole has joined #ocaml
chripell_ has quit [Ping timeout: 260 seconds]
nullcone has joined #ocaml
<flux> it seems the key is that while the := did rewrite 'a t with M.t, it will not touch the base 'a in the signature of mem
<flux> and I don't think substituting 'a with M.t is possible either..
<flux> but perhaps you can use some other type in place of 'a, that could be rewritten
<gypsydave5> any idea how that might look?
<flux> in my experience this kind of specialization isn't done, though, and I would be interested to see if there is a solution 🤔. usually you can just do type custom_set = M.t SetImpl.t
<flux> I was thinking: type 'a value in the signature of Set
<flux> and then instead of 'a use 'a value
Serpent7776 has quit [Read error: Connection reset by peer]
<flux> and I believe you can either do the 'with' twice or use 'and'
<octachron> The signature of Set is only valid for polymorphic sets, and the functor is only implementing a monomorphic set.
<octachron> It is simpler to start with the signature for monomorphic sets.
<gypsydave5> gotcha - thanks!
bartholin has joined #ocaml
Serpent7776 has joined #ocaml
rond_ has joined #ocaml
<rond_> Hi!
<rond_> `let rec length list = function
<rond_> Oh nevermind
borne has joined #ocaml
borne has quit [Ping timeout: 265 seconds]
borne has joined #ocaml
brown121407 has quit [Remote host closed the connection]
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
rond_ has quit [Remote host closed the connection]
osa1_ has joined #ocaml
motherfsck has joined #ocaml
bartholin has quit [Quit: Leaving]
osa1_ is now known as osa1
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
motherfsck has quit [Ping timeout: 258 seconds]
borne has quit [Ping timeout: 260 seconds]
motherfsck has joined #ocaml
osa1 has quit [Remote host closed the connection]
osa1 has joined #ocaml
ggole has quit [Ping timeout: 244 seconds]
borne has joined #ocaml
osa1 has quit [Ping timeout: 260 seconds]
narimiran has quit [Ping timeout: 265 seconds]
motherfsck has quit [Ping timeout: 256 seconds]
motherfsck has joined #ocaml
amiloradovsky has joined #ocaml
amiloradovsky has quit [Ping timeout: 260 seconds]
gypsydave5 has quit [Ping timeout: 258 seconds]
Serpent7776 has quit [Quit: leaving]
Haudegen has quit [Ping timeout: 260 seconds]
zebrag has joined #ocaml
inkbottle has quit [Ping timeout: 265 seconds]
Tuplanolla has quit [Quit: Leaving.]
t-j-r has quit [Ping timeout: 265 seconds]
_tjr_ has joined #ocaml
mfp has quit [Ping timeout: 258 seconds]