<dieggsy>
how advisable or inadvisable is it to use jane street's Base (instead of the built-in standard library)
<companion_cube>
it's pretty ok I think
nfc has joined #ocaml
vicfred has joined #ocaml
<dieggsy>
I guess my question is more do you guys consider the feature set to be worth the extra dependency
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
rosterok has quit [Quit: Connection closed for inactivity]
<companion_cube>
I do, but with another stdlib :)
<dieggsy>
I'm also not entirely clear on the role of semicolons. I've seen it mentioned multiple times that I don't need them at all ? but if i write a code file with some function not terminated by semicolons and then a single un-indented line calling that function, i get errors as if i'm still in the body of the function
<dieggsy>
so, if i'm not supposed to use double semicolons, what's the idiomatic way of ending a function ?
mro_name has quit [Remote host closed the connection]
mro_name has joined #ocaml
mro_name_ has joined #ocaml
mro_name has quit [Ping timeout: 250 seconds]
<olle_>
Question: Would saving a result to a database preserve referential transparency?
<olle_>
I feel like it should
<olle_>
While loading obviously wouldn't
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
sbad has joined #ocaml
jsoo has quit [Remote host closed the connection]
waleee-cl has joined #ocaml
jsoo has joined #ocaml
MavneetK has joined #ocaml
MavneetK has quit [Ping timeout: 240 seconds]
<d_bot>
<giltho> Hi !
<d_bot>
<giltho> Anybody has advice on how to debug a stack overflow when for some reason the full backtrace is not provided ?
<d_bot>
<giltho> All I get is
<d_bot>
<giltho> ```
<d_bot>
<giltho> Original Backtrace:
<d_bot>
<giltho> Raised by primitive operation at file "GillianCore/engine/GeneralSemantics/General/GInterpreter.ml", line 948, characters 10-97
<d_bot>
<giltho> Called from file "GillianCore/engine/Abstraction/Verifier.ml", line 440, characters 10-107
<d_bot>
<giltho> Called from file "GillianCore/engine/Abstraction/Verifier.ml", line 654, characters 35-52
<d_bot>
<giltho> Called from file "list.ml", line 121, characters 24-34
<d_bot>
<giltho> Called from file "GillianCore/engine/Abstraction/Verifier.ml", line 653, characters 14-139
<d_bot>
<giltho> Called from file "GillianCore/engine/Abstraction/Verifier.ml", line 752, characters 17-67
<d_bot>
<giltho> Called from file "GillianCore/logging/logging.ml", line 50, characters 11-17
<d_bot>
<giltho> ```
<d_bot>
<haochenx> Hi guys, why this does not type check
<d_bot>
<haochenx>
<d_bot>
<haochenx> ```
<d_bot>
<haochenx> module type Greeting = sig
<d_bot>
<haochenx> type t
<d_bot>
<haochenx> val hello : string
<d_bot>
<haochenx> end
<d_bot>
<haochenx>
<d_bot>
<haochenx> module type MakeGreeting =
<d_bot>
<haochenx> (functor (M1 : Greeting)
<d_bot>
<haochenx> (M2 : Greeting with type t = M1.t) ->
<d_bot>
<haochenx> sig
<d_bot>
<haochenx> type t = M1.t
<d_bot>
<haochenx> val hello : string
<d_bot>
<haochenx> end with type M1.t = M2.t)
<d_bot>
<haochenx> ```
<d_bot>
<haochenx>
<d_bot>
<haochenx> while this does?
<d_bot>
<haochenx>
<d_bot>
<haochenx> ```
<d_bot>
<haochenx> module type Greeting = sig
<d_bot>
<haochenx> type t
<d_bot>
<haochenx> val hello : string
<d_bot>
<haochenx> end
<d_bot>
<haochenx>
<d_bot>
<haochenx> module type MakeGreeting =
<d_bot>
<haochenx> (functor (M1 : Greeting)
<d_bot>
<haochenx> (M2 : Greeting with type t = M1.t) ->
<d_bot>
<haochenx> sig
<d_bot>
<haochenx> type t = M1.t
<d_bot>
<haochenx> val hello : string
<zozozo>
@haochenx please avoid multiline code fragments and use a paste service please, ^^ (multiline code fragments tends to spam a bit the irc channel)
<d_bot>
<octachron> @haochenx , the `with` constraint applies to the `sig ... end` signature, it can only adds equalities to types defined in this signature, not to arbitrary types.
mro_name_ has quit [Remote host closed the connection]
shawnw has quit [Ping timeout: 265 seconds]
gopiandcode has quit [Remote host closed the connection]
mro_name has joined #ocaml
sbad has quit [Remote host closed the connection]
sbad has joined #ocaml
mro_name has quit [Ping timeout: 258 seconds]
mro_name has joined #ocaml
ankit has joined #ocaml
ankit has quit [Quit: Connection closed]
sbad has quit [Ping timeout: 245 seconds]
olle_ has quit [Ping timeout: 246 seconds]
Shreya has joined #ocaml
Shreya has quit [Ping timeout: 258 seconds]
Tuplanolla has joined #ocaml
bartholin has quit [Quit: Leaving]
kakadu has quit [Remote host closed the connection]
vicfred has joined #ocaml
vicfred has quit [Client Quit]
vicfred has joined #ocaml
Shreya has joined #ocaml
curtosis[away] has joined #ocaml
curtosis[away] has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
narimiran has quit [Ping timeout: 265 seconds]
olle_ has joined #ocaml
mro_name has quit [Quit: Leaving...]
olle_ has quit [Ping timeout: 265 seconds]
<d_bot>
<froyo> interesting that "Text", the package I find the nicest to work with when considering unicode, is considered deprecated
Shreya has quit [Quit: Leaving]
raver has joined #ocaml
tane has quit [Quit: Leaving]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
rock64 has joined #ocaml
<rock64>
There's no language out there with memory safe region-based memory allocation?
rock64 is now known as ollehar
<ollehar>
I did found some papers on it
<ollehar>
find*
<ollehar>
First-class regions, or something? Hm.
* qwr
. o O ( PL/I has area type, but of course it was unsafe ;) )
<ollehar>
PL/I?
<qwr>
that real old algol successor
<ollehar>
ah
<ollehar>
hehe
<qwr>
parasail seems to modern language with region based memory management