kakadu has quit [Remote host closed the connection]
nomicflux has joined #ocaml
ziyourenxiang has joined #ocaml
sh0t has joined #ocaml
sam has joined #ocaml
sam is now known as Guest32427
Guest32427 has quit [Ping timeout: 248 seconds]
cbot_ has quit [Quit: Leaving]
jao has joined #ocaml
bruce_r has quit [Ping timeout: 240 seconds]
johnelse has quit [Read error: Connection reset by peer]
johnelse has joined #ocaml
FreeBirdLjj has joined #ocaml
vramana has quit [Ping timeout: 248 seconds]
vramana has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
mfp__ has quit [Ping timeout: 240 seconds]
charlenopires has joined #ocaml
<coventry>
Where can I find the documentation for compilerlibs.optcomp? `#require "compilerlibs.optcomp";;` is failing with "Reference to undefined global `Location'".
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
Guest23668 has joined #ocaml
Guest23668 has quit [Ping timeout: 240 seconds]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 248 seconds]
sam__ has joined #ocaml
big_num has joined #ocaml
coventry has quit [Remote host closed the connection]
pierpa has quit [Quit: Page closed]
tautologico has quit [Quit: Connection closed for inactivity]
sam__ has quit [Read error: Connection reset by peer]
sam has joined #ocaml
sam is now known as Guest15139
xuanrui has joined #ocaml
Guest15139 has quit [Ping timeout: 240 seconds]
sam__ has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
sam__ has quit [Ping timeout: 248 seconds]
sam__ has joined #ocaml
j0sh has joined #ocaml
FreeBirdLjj has joined #ocaml
Ergatis has quit [Quit: Konversation terminated!]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
coventry has joined #ocaml
<coventry>
Suppose I have a module "module Bounded(E: Set.OrderedType)", and I want to use Set.Make(E) as a component of Bounded.t, like "type t = { mutable data : Set.Make(struct type t = E.t let compare = compare end); };". Is there a way to do that?
bruce_r has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
ShalokShalom_ has joined #ocaml
ShalokShalom has quit [Ping timeout: 240 seconds]
bruce_r has quit [Ping timeout: 276 seconds]
richi235 has quit [Remote host closed the connection]
demonimin has quit [Ping timeout: 240 seconds]
richi235 has joined #ocaml
demonimin has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
sam has joined #ocaml
sam is now known as Guest9500
enterprisey has quit [Read error: Connection reset by peer]
johnelse has quit [Ping timeout: 248 seconds]
ShalokShalom_ is now known as ShalokShalom
FreeBirdLjj has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
<sgnb>
coventry: why don't you use Set.Make(E) directly?
<coventry>
sgnb: Not sure what the correct syntax is. If I try to do "let module SE = Set.make(...) in type t = {...} " I get "Syntax error after unclosed struct, expecting expr". Same if I drop the "in".
Guest20509 has quit [Read error: Connection reset by peer]
mali__ has joined #ocaml
johnelse has quit [Read error: No route to host]
silenc3r has joined #ocaml
johnelse has joined #ocaml
tane has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
johnelse has joined #ocaml
mbuf has joined #ocaml
TheLemonMan has joined #ocaml
<ShalokShalom>
thanks
sam__ has joined #ocaml
silenc3r_ has joined #ocaml
silenc3r has quit [Ping timeout: 240 seconds]
coventry has quit [Ping timeout: 240 seconds]
sam__ has quit [Ping timeout: 240 seconds]
jimmyrcom_ has joined #ocaml
kolko has joined #ocaml
argent_smith has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
kolko has quit [Read error: Connection reset by peer]
kolko has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
FreeBirdLjj has quit [Remote host closed the connection]
johnelse has joined #ocaml
copy_ has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
sam has joined #ocaml
sam is now known as Guest29084
jlouis has joined #ocaml
Guest29084 has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Leaving]
johnelse has joined #ocaml
samrat_ has quit [Ping timeout: 240 seconds]
tautologico has joined #ocaml
vramana has quit [Quit: vramana]
mbuf has quit [Quit: Leaving]
silenc3r has joined #ocaml
silenc3r_ has quit [Ping timeout: 255 seconds]
vramana has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
sam has joined #ocaml
sam is now known as Guest75804
malc_ has joined #ocaml
Guest75804 has quit [Ping timeout: 255 seconds]
tane has joined #ocaml
argent_smith has quit [Quit: Leaving.]
govg has joined #ocaml
TheLemonMan has joined #ocaml
FreeBirdLjj has joined #ocaml
argent_smith has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
kakadu has joined #ocaml
govg has quit [Quit: changing clients]
govg has joined #ocaml
enterprisey has joined #ocaml
sam has joined #ocaml
sam is now known as Guest51096
Guest51096 has quit [Ping timeout: 240 seconds]
BitPuffin|osx has quit [Ping timeout: 246 seconds]
axesd9 has joined #ocaml
axesd9 has quit [Client Quit]
FreeBirdLjj has joined #ocaml
slash^ has joined #ocaml
dakk has quit [Ping timeout: 248 seconds]
jlam__ has quit [Ping timeout: 248 seconds]
jlam_ has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
sam__ has joined #ocaml
ygrek has joined #ocaml
sam__ has quit [Ping timeout: 255 seconds]
FreeBirdLjj has joined #ocaml
dakk has joined #ocaml
bruce_r has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
sh0t has joined #ocaml
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
argent_smith has quit [Quit: Leaving.]
samrat_ has joined #ocaml
mbuf has joined #ocaml
mali__ has quit [Read error: Connection reset by peer]
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 248 seconds]
sam has joined #ocaml
sam is now known as Guest78050
andreas__ has joined #ocaml
argent_smith has joined #ocaml
raphaelss has quit [Quit: Lost terminal]
coventry has joined #ocaml
<coventry>
How do I express Set.Make(String) as a first-class module? "module SS = Set.Make(String)" followed by (module SS : Set.Make) gives a syntax error.
<coventry>
Guest78050 has quit [Ping timeout: 240 seconds]
<adrien>
I get an "unbound module type Set.Make" instead
<adrien>
the output signature of Set.Make is Set.S
<sgnb>
is the module type annotation needed in this case?
<coventry>
adrien: Thanks... How is the output of Set.Make a Set.S, when Set.Make is a module itself?
<coventry>
sgnb: Maybe not, I'm just trying things out having just learned about first-class modules.
<sgnb>
apparently, it's indeed needed
<adrien>
it's very often needed for first-class moduels
<adrien>
modules*
<adrien>
Set.Make is a functor: when applied, it returns another module
<coventry>
Ah, of course. The "module" prefix is confusing me. Thanks.
nomicflux has joined #ocaml
<sgnb>
in some cases, it's not needed... but I'm not very good at guessing them :-(
mbuf has quit [Quit: Leaving]
ollehar1 has joined #ocaml
bruce_r has quit [Ping timeout: 246 seconds]
silenc3r has quit [Quit: Leaving]
ollehar1 has quit [Quit: ollehar1]
bruce_r has joined #ocaml
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
malina has joined #ocaml
danieli has quit [Ping timeout: 255 seconds]
groovy2shoes has quit [Ping timeout: 276 seconds]
ygrek has quit [Ping timeout: 240 seconds]
AlexRussia has joined #ocaml
malina has quit [Ping timeout: 255 seconds]
sam has joined #ocaml
sam is now known as Guest3167
Guest3167 has quit [Ping timeout: 240 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
groovy2shoes has joined #ocaml
theindigamer has joined #ocaml
<theindigamer>
So I was looking for something to easily create a process, run it for a given time, reading the output (if any) and kill it if it hasn't terminated yet. The closest thing I found was https://github.com/janestreet/shexp but it doesn't seem to have a facility for killing the process or giving the pid (so I could send a sigkill). Any ideas?
samrat_ has quit [Ping timeout: 240 seconds]
<lyxia>
the Unix module has all kinds of stuff like that
malina has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 255 seconds]
<theindigamer>
Yes, but it seems too low level for this kind of thing.
<theindigamer>
Of course, that's the last case option. I was just wondering if there is a simpler way to do it. I simply want to call a shell command and read it's output.
<theindigamer>
Using shexp, that's basically a one-liner.
FreeBirdLjj has quit [Remote host closed the connection]
nomicflux has quit [Quit: nomicflux]
<theindigamer>
The "kill after a time" functionality seems difficult to integrate with shexp though.
slash^ has quit [Read error: Connection reset by peer]
<adrien>
lwt?
<theindigamer>
Doesn't lwt just give concurrency, not parallelism? I need to spawn another process in this case.
<adrien>
that other process will live an entirely independent life
<adrien>
the only link will be its stdout
<adrien>
overall, lwt has good facilities for process management, fd handling and timers
<theindigamer>
Hmm, okay, I'll try to use it. Thanks!
<theindigamer>
The Lwt_process module looks like it will do the trick. (y)
theindigamer has quit [Quit: Page closed]
<adrien>
I hate webchat usage
<adrien>
people never stay around
<adrien>
M/names
<flux>
matrix/freenode bridge is pretty nifty for freenode webchat needs.
<flux>
(server remembers history, you don't need to have it open for to be on a channels, works with multiple client sharing one identity)
govg has quit [Ping timeout: 240 seconds]
sam has joined #ocaml
sam is now known as Guest3014
Guest3014 has quit [Ping timeout: 240 seconds]
<coventry>
Why does let "m_instance Functor(N).create args" give an "Unbounded constructor" error? It would sometimes be nice to be able to say that instead of "let module M = Functor(N) in m_instance = M.create args".
<coventry>
Sorry, first expr should be "let m_instance = Functor(N).create args"
<coventry>
I'll read the Module Examples chapter, too.
mengu has joined #ocaml
<octachron>
coventry, the short story is that module-level and values-level expression cannot be mixed.
<coventry>
OK, I got that impression from the introduction to RWO's first-class modules chapter. I guess I can vaguely see why that's an important simplification for the parser. Thanks.
tane has quit [Quit: Leaving]
<def`>
beh, it is not for the parser, it is a semantic problem
<def`>
(introducing a module affects the scope: Functor(N) can create new types)
enterprisey has quit [Read error: Connection reset by peer]
vramana has quit [Ping timeout: 240 seconds]
vramana has joined #ocaml
enterprisey has joined #ocaml
pierpa has joined #ocaml
sam has joined #ocaml
sam is now known as Guest70447
jlam__ has quit [Remote host closed the connection]
Guest70447 has quit [Ping timeout: 240 seconds]
BitPuffin|osx has joined #ocaml
peterpp has joined #ocaml
copy_ has quit [Quit: Connection closed for inactivity]
mengu has quit [Read error: Connection reset by peer]
enterprisey has quit [Remote host closed the connection]
mengu has joined #ocaml
noddy has quit [Ping timeout: 240 seconds]
argent_smith has quit [Quit: Leaving.]
_whitelogger has joined #ocaml
raphaelss has joined #ocaml
<coventry>
def`: Thanks. Is there a simple example where a mix of module- and values-level expressions would be ambiguous?
jao has joined #ocaml
sam has joined #ocaml
sam is now known as Guest70415
Guest70415 has quit [Ping timeout: 255 seconds]
jlam_ has joined #ocaml
jimmyrcom_ has quit [Remote host closed the connection]
jimmyrcom_ has joined #ocaml
sam has joined #ocaml
sam is now known as Guest87735
Guest87735 has quit [Ping timeout: 240 seconds]
kakadu has quit [Remote host closed the connection]