00:04
peterpp has joined #ocaml
00:27
peterpp has quit [Ping timeout: 260 seconds]
00:30
sam____ has quit [Ping timeout: 248 seconds]
00:31
sam___ has joined #ocaml
00:36
sam___ has quit [Ping timeout: 248 seconds]
00:37
cbot has quit [Ping timeout: 240 seconds]
01:08
mfp__ has quit [Ping timeout: 240 seconds]
01:24
jimmyrcom_ has joined #ocaml
01:28
infinity0 has quit [Remote host closed the connection]
01:32
sam___ has joined #ocaml
01:34
infinity0 has joined #ocaml
01:36
sam___ has quit [Ping timeout: 240 seconds]
01:44
kalio has quit [Quit: WeeChat 1.9]
01:47
KeyJoo has quit [Ping timeout: 240 seconds]
01:48
cbot has joined #ocaml
02:21
sh0t has quit [Remote host closed the connection]
02:28
khodzha has joined #ocaml
02:29
khodzha has quit [Client Quit]
02:33
sam___ has joined #ocaml
02:36
KeyJoo has joined #ocaml
02:38
sam___ has quit [Ping timeout: 248 seconds]
02:40
al-damiri has joined #ocaml
03:28
mengu has quit [Remote host closed the connection]
03:34
sam___ has joined #ocaml
03:38
sam___ has quit [Ping timeout: 260 seconds]
03:42
teknozulu has joined #ocaml
03:48
<
teknozulu >
Hey. I'm about to build a program that involves a graph computation of a kind / computing "nodes" that depend on the results of other nodes. Defining the nodes will involve declaring which nodes they depend on. All of this information will be available at compile time, so I was wondering if there is a way to leverage the type system so that the compiler can produce an error if I declare a node that requires the
03:55
<
teknozulu >
I think I can narrow the context down to this: I'm looking for a type of a Map implementation which is able to tell at compile time whether a key exists, given that all insertions into the Map are done at the top level / with certainty
04:06
SomeDamnBody has joined #ocaml
04:07
<
SomeDamnBody >
I can't install camlp4 because topdirs.cmi doesn't exist. Also, I'm trying to pin a particular package to master, but that package installs a bunch of submodules beneath it. How do I pin a package to master
04:08
<
SomeDamnBody >
Actually, I think I know how to pin to master, which I may have gotten wrong.
04:10
MercurialAlchemi has joined #ocaml
04:35
sam___ has joined #ocaml
04:39
sam___ has quit [Ping timeout: 260 seconds]
04:51
teknozulu has quit [Ping timeout: 276 seconds]
04:55
MercurialAlchemi has quit [Ping timeout: 260 seconds]
05:06
<
keep_learning >
Hi Everyone
05:06
<
keep_learning >
What is the latest version of Opam
05:07
<
keep_learning >
u5935541@newport:~/Mukesh/Code/Coq/formalized-voting/paper-code-with-ballot$ opam --version
05:07
<
keep_learning >
1.2.2
05:07
<
keep_learning >
Mine is 1.2.2 and when I using opam switch --all
05:07
<
keep_learning >
Mine is 1.2.2
05:08
<
keep_learning >
I can see the latest OCaml version -- -- 4.04.0+trunk latest trunk snapshot
05:08
<
keep_learning >
I am wondering why it is not showing ocaml-4.05 ?
05:20
<
Armael >
did you run `opam update` ?
05:22
<
keep_learning >
Armael: opam update will update installed package or itself ?
05:22
<
Armael >
opam update will fetch the latest list of packages and compilers
05:23
<
keep_learning >
Armael: Thank you.
05:23
<
Armael >
it's not the opam program itself that you want to update in this case, just the list of which packages/compilers are available
05:35
al-damiri has quit [Quit: Connection closed for inactivity]
05:35
MercurialAlchemi has joined #ocaml
05:35
sam___ has joined #ocaml
05:40
sam___ has quit [Ping timeout: 260 seconds]
05:56
jlam_ has joined #ocaml
05:56
jlam__ has quit [Ping timeout: 240 seconds]
06:02
cbot has quit [Quit: Leaving]
06:36
sam___ has joined #ocaml
06:41
sam___ has quit [Ping timeout: 240 seconds]
06:44
mbuf has joined #ocaml
06:59
ziyourenxiang has joined #ocaml
07:02
rbocquet has joined #ocaml
07:05
Soni has quit [Excess Flood]
07:05
Soni has joined #ocaml
07:05
g0d355__ has joined #ocaml
07:10
jlam has quit [Read error: Connection reset by peer]
07:10
jlam__ has joined #ocaml
07:17
mbuf has quit [Ping timeout: 240 seconds]
07:17
cross has quit [Quit: Lost terminal]
07:28
<
orbifx[m] >
peterpp: did you figure it out?
07:29
andreas__ has joined #ocaml
07:30
mbuf has joined #ocaml
07:30
jlam__ has quit [Ping timeout: 255 seconds]
07:34
Ragora is now known as Ragora|Away
07:38
sam___ has joined #ocaml
07:42
sam___ has quit [Ping timeout: 260 seconds]
08:03
ziyourenxiang has quit [Ping timeout: 255 seconds]
08:38
sam___ has joined #ocaml
08:43
sam___ has quit [Ping timeout: 260 seconds]
08:55
reanguiano has quit [Ping timeout: 240 seconds]
09:01
jimmyrcom_ has quit [Ping timeout: 248 seconds]
09:08
mfp__ has joined #ocaml
09:10
TheLemonMan has joined #ocaml
09:14
ziyourenxiang has joined #ocaml
09:18
freusque has joined #ocaml
09:33
malina has quit [Remote host closed the connection]
09:39
sam___ has joined #ocaml
09:44
sam___ has quit [Ping timeout: 276 seconds]
09:55
ziyourenxiang has quit [Read error: Connection reset by peer]
10:06
freusque has quit [Ping timeout: 255 seconds]
10:23
sepp2k has joined #ocaml
10:32
kakadu has joined #ocaml
10:40
sam____ has joined #ocaml
10:43
al-damiri has joined #ocaml
10:44
sam____ has quit [Ping timeout: 248 seconds]
10:48
johnelse has quit [Ping timeout: 276 seconds]
10:50
johnelse has joined #ocaml
10:55
dhil has joined #ocaml
11:01
copy_ has joined #ocaml
11:06
_whitelogger has joined #ocaml
11:12
johnelse_ has joined #ocaml
11:13
johnelse has quit [Ping timeout: 240 seconds]
11:15
ziyourenxiang has joined #ocaml
11:26
<
Leonidas >
keep_learning: to answer your question, I believe it is 2.0.0~beta3, at least that's what I'm running
11:31
cymen has quit [Ping timeout: 246 seconds]
11:33
sam___ has joined #ocaml
11:33
cymen has joined #ocaml
11:38
freusque has joined #ocaml
11:45
_andre has joined #ocaml
11:59
BitPuffin|osx has joined #ocaml
12:03
<
sam___ >
all right! so cool, shrinking of my sql query trees seems to work!
12:03
<
sam___ >
companion_cube: I still had trouble making the fail_report function work as expected after pinning qcheck to dev_repo.
12:15
govg has quit [Ping timeout: 258 seconds]
12:34
govg has joined #ocaml
12:41
<
SomeDamnBody >
I can't install camlp4 on a machine with 12 gigs of memory because it keeps running out.
12:46
<
SomeDamnBody >
Oh ok.
12:46
<
SomeDamnBody >
Thanks
13:12
mbuf has quit [Quit: Leaving]
13:20
sh0t has joined #ocaml
13:26
malc_ has joined #ocaml
13:48
sz0 has joined #ocaml
13:49
Saroupille has joined #ocaml
13:50
johnelse_ has quit [Read error: Connection reset by peer]
13:50
johnelse has joined #ocaml
13:51
<
Saroupille >
Hi everyone, I have a question: I do not fully understand the difference between a mlpack file and a mllib file with Ocamlbuild. In particular, in which case it is better to use a mlpack than a library? Thanks !
13:52
tautologico has joined #ocaml
13:57
<
sam___ >
companion_cube: any idea what could be wrong?
14:07
MercurialAlchemi has quit [Ping timeout: 260 seconds]
14:10
hnrgrgr_ is now known as hnrgrgr
14:13
tg has quit [Ping timeout: 255 seconds]
14:14
hrk_ has quit [Ping timeout: 240 seconds]
14:16
sam___ has quit [Ping timeout: 260 seconds]
14:28
jlam_ has quit [Ping timeout: 240 seconds]
14:28
jlam has joined #ocaml
14:30
jlam_ has joined #ocaml
14:32
mengu has joined #ocaml
14:33
jlam has quit [Ping timeout: 276 seconds]
14:37
mengu has quit [Ping timeout: 260 seconds]
14:45
tg has joined #ocaml
14:50
mks11 has joined #ocaml
14:51
<
mks11 >
Hi guys, all I want to do is "Time.now" on command prompt. But I get "Error: Unbound module Time "
14:53
dhil has quit [Ping timeout: 276 seconds]
14:57
sam___ has joined #ocaml
14:58
MercurialAlchemi has joined #ocaml
15:05
<
sam___ >
would be really great to have this finally piece of the qcheck puzzle working
15:06
<
mks11 >
*beginner question* how do I use Time module in ocaml REPL
15:06
freusque has quit [Ping timeout: 240 seconds]
15:08
sgnb has quit [Remote host closed the connection]
15:09
<
malc_ >
mks11: `# #load "time.cma"' or whatever the library name is
15:09
<
mks11 >
@malc_ "Cannot find file time.cma. " :(
15:10
<
malc_ >
mks11: oh.. then you would need to instruct the toplevel where to find the libraries -I ...
15:11
<
mks11 >
@malc_ thank you.. I'd have to figure that out as well
15:12
<
malc_ >
mks11: if you just need time in seconds since epoch:
15:12
<
malc_ >
OCaml version 4.05.0
15:12
<
malc_ >
# #load "unix.cma";;
15:12
<
malc_ >
# Unix.gettimeofday ();;
15:12
<
malc_ >
- : float = 1502377899.50472498
15:13
jlam has joined #ocaml
15:13
<
mks11 >
@malc_ actually I have a string date from a CSV file that I want to be read as a date so I could do some comparisons to other dates
15:14
<
mks11 >
@malc_ also thank you, I'll look at the UNIX module.
15:14
cross has joined #ocaml
15:14
<
Armael >
mks11: you can do #require "core";; to load core in the toplevel
15:15
<
mks11 >
@Armael "No such package: core "
15:17
FreeBirdLjj has joined #ocaml
15:18
<
Armael >
is core installed? unfortunately I cannot test on my machine right now
15:19
<
mks11 >
@Armael Thanks for looking into it. It should have been, I followed the standard procedure to install OCAML
15:19
<
mks11 >
@Armael is there a way to check it externally
15:20
<
Armael >
you can do `opam info core` and look at the "installed-version:" line
15:21
<
mks11 >
@Armael "installed-version" is empty
15:21
<
Armael >
then core is not installed
15:21
<
Armael >
try `opam install core`
15:22
<
mks11 >
@Armael Thank you sooo much!!
15:25
demonimin has quit [Remote host closed the connection]
15:26
teknozulu has joined #ocaml
15:28
<
mks11 >
@Armael now I am getting this weird error "Error: Reference to undefined global `Condition' "
15:28
<
def` >
you should use utop rather than ocaml toplevel
15:28
<
def` >
(opam install utop)
15:29
<
mks11 >
@Armael please don't worry about it though i'll lookup online
15:29
<
mks11 >
@def` oh ok thank you
15:30
<
def` >
mks11: before that, enabling multi thread support can fix the condition problem:
15:30
<
def` >
(before #require "core";;)
15:30
sgnb has joined #ocaml
15:30
<
def` >
even though that should fix the issue, utop is more friendly (and come with these steps preconfigured)
15:31
<
mks11 >
@def` thank you it did fix it
15:31
<
mks11 >
@def` got it!
15:31
<
mks11 >
@def` thank you so much!
15:35
dhil has joined #ocaml
15:35
demonimin has joined #ocaml
15:45
zv has quit [Ping timeout: 255 seconds]
15:48
mks11 has quit [Quit: Page closed]
15:51
sam___ has quit [Ping timeout: 260 seconds]
15:53
MercurialAlchemi has quit [Ping timeout: 248 seconds]
15:54
slash^ has joined #ocaml
15:57
sam___ has joined #ocaml
15:58
iitalics has joined #ocaml
16:01
MercurialAlchemi has joined #ocaml
16:11
MercurialAlchemi has quit [Ping timeout: 240 seconds]
16:26
iitalics has quit [Quit: /thread]
16:28
sam___ has quit [Ping timeout: 260 seconds]
16:37
copy_ has quit [Quit: Connection closed for inactivity]
16:37
MercurialAlchemi has joined #ocaml
16:42
tg has quit [Quit: Leaving]
16:46
malina has joined #ocaml
16:47
sz0 has quit [Quit: Connection closed for inactivity]
16:48
Saroupille has quit [Quit: Page closed]
16:53
dhil has quit [Ping timeout: 255 seconds]
16:59
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
17:04
SomeDamnBody has quit [Remote host closed the connection]
17:16
nahra has quit [Remote host closed the connection]
17:21
jnavila has joined #ocaml
17:24
sam___ has joined #ocaml
17:27
zv has joined #ocaml
17:27
ygrek has joined #ocaml
17:29
sam___ has quit [Ping timeout: 240 seconds]
17:34
jnavila has quit [Read error: No route to host]
17:34
jnavila has joined #ocaml
17:40
jnavila has quit [Ping timeout: 258 seconds]
17:45
seangrove has joined #ocaml
17:45
dhil has joined #ocaml
17:47
teknozulu has quit [Ping timeout: 255 seconds]
17:55
BitPuffin|osx has quit [Remote host closed the connection]
18:01
cool88 has joined #ocaml
18:02
<
cool88 >
*beginner here* How do I convert this string "2017-08-08 17:52:27" into a date object?
18:03
<
cool88 >
or this one "2017-08-08T17:52:36.813Z"
18:14
dhil has quit [Ping timeout: 248 seconds]
18:19
rostero has joined #ocaml
18:21
sepp2k has quit [Quit: Leaving.]
18:25
sam___ has joined #ocaml
18:28
<
cool88 >
hi, need help.. I want to convert "2017-08-08 17:52:27" or "2017-08-08T17:52:36.813Z" into a date object. How can I go about doing it?
18:30
sam___ has quit [Ping timeout: 255 seconds]
18:30
<
lyxia >
what's a date object
18:31
<
cool88 >
@lyxia something that I can do some operations on
18:31
FreeBirdLjj has quit [Remote host closed the connection]
18:31
<
cool88 >
@lyxia thanks for looking into it.
18:33
<
lyxia >
have you tried Time.of_string
18:34
<
cool88 >
@lyxia thanks it works
18:35
<
cool88 >
@lyxia but in the docs it said to_string_deprecated, so I didn't try it
18:36
<
lyxia >
but it's not of_string
18:36
<
cool88 >
@lyxia OHHH got it
18:36
sepp2k has joined #ocaml
18:36
<
cool88 >
@lyxia thank you! I need to get my eye sight checked :/
18:40
S11001001 has left #ocaml [#ocaml]
18:42
nahra has joined #ocaml
18:51
sh0t has quit [Ping timeout: 248 seconds]
18:52
sh0t has joined #ocaml
18:59
kakadu has quit [Quit: Konversation terminated!]
19:05
pzp has joined #ocaml
19:09
malina has quit [Ping timeout: 260 seconds]
19:11
vicfred has joined #ocaml
19:13
MercurialAlchemi has quit [Ping timeout: 240 seconds]
19:15
vicfred has quit [Quit: Leaving]
19:17
cool88 has quit [Quit: Page closed]
19:19
mbrock has left #ocaml [#ocaml]
19:22
aciniglio has joined #ocaml
19:26
sam____ has joined #ocaml
19:31
zv has quit [Ping timeout: 255 seconds]
19:31
sam____ has quit [Ping timeout: 260 seconds]
19:42
kakadu has joined #ocaml
19:42
MercurialAlchemi has joined #ocaml
19:49
sepp2k has quit [Quit: Leaving.]
19:54
jimmyrcom_ has joined #ocaml
20:02
slash^ has quit [Read error: Connection reset by peer]
20:04
sz0 has joined #ocaml
20:12
MercurialAlchemi has quit [Ping timeout: 248 seconds]
20:23
mengu has joined #ocaml
20:27
jlam__ has joined #ocaml
20:27
sam____ has joined #ocaml
20:28
jlam_ has quit [Ping timeout: 260 seconds]
20:31
mengu has quit [Ping timeout: 260 seconds]
20:32
sam____ has quit [Ping timeout: 260 seconds]
20:36
jlam_ has joined #ocaml
20:36
zv has joined #ocaml
20:38
jlam__ has quit [Ping timeout: 240 seconds]
20:38
raphaelss has joined #ocaml
20:39
teknozulu has joined #ocaml
20:41
peterpp has joined #ocaml
20:48
_andre has quit [Quit: leaving]
20:53
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
21:03
dejanr has joined #ocaml
21:03
dejanr has quit [Client Quit]
21:03
tg has joined #ocaml
21:04
dejanr has joined #ocaml
21:05
tg has quit [Client Quit]
21:09
tokomak has joined #ocaml
21:11
tg has joined #ocaml
21:12
seangrove has quit [Ping timeout: 255 seconds]
21:19
mccajm has joined #ocaml
21:20
mccajm has quit [Changing host]
21:20
mccajm has joined #ocaml
21:20
jimmyrcom_ has quit [Remote host closed the connection]
21:21
infinity0_ has joined #ocaml
21:21
infinity0_ has quit [Changing host]
21:21
infinity0 is now known as Guest48809
21:21
infinity0 has joined #ocaml
21:21
Guest48809 has quit [Killed (cherryh.freenode.net (Nickname regained by services))]
21:28
sam____ has joined #ocaml
21:32
sam____ has quit [Ping timeout: 260 seconds]
21:35
mengu has joined #ocaml
21:35
mccajm has quit [Quit: Page closed]
21:36
aciniglio has quit [Ping timeout: 240 seconds]
21:48
seangrove has joined #ocaml
21:48
rostero has quit [Quit: Connection closed for inactivity]
21:51
seangrove has quit [Remote host closed the connection]
22:21
pzp has quit [Quit: Connection closed for inactivity]
22:24
zv has quit [Ping timeout: 240 seconds]
22:28
sam____ has joined #ocaml
22:30
cbot has joined #ocaml
22:33
sam____ has quit [Ping timeout: 260 seconds]
22:34
jlam__ has joined #ocaml
22:34
peterpp has quit [Ping timeout: 260 seconds]
22:38
jlam_ has quit [Ping timeout: 240 seconds]
22:43
teknozulu has quit [Ping timeout: 258 seconds]
22:45
malina has joined #ocaml
23:05
xuanrui has joined #ocaml
23:06
teknozulu has joined #ocaml
23:14
mengu has quit [Quit: Leaving...]
23:17
sh0t has quit [Remote host closed the connection]
23:17
kakadu has quit [Remote host closed the connection]
23:21
andreas__ has quit [Quit: Connection closed for inactivity]
23:23
teknozulu has quit [Ping timeout: 260 seconds]
23:27
ziyourenxiang has quit [Ping timeout: 258 seconds]
23:27
ygrek has quit [Ping timeout: 260 seconds]
23:29
sam____ has joined #ocaml
23:34
sam____ has quit [Ping timeout: 255 seconds]
23:38
jmiven has quit [Quit: co'o]
23:39
jmiven has joined #ocaml
23:54
xuanrui has quit [Quit: Ex-Chat]