lopex has quit [Quit: Connection closed for inactivity]
fractionuser has joined #ocaml
fractionuser has left #ocaml [#ocaml]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
yomimono_ has quit [Ping timeout: 252 seconds]
<ggole>
agent_black: ocaml's parser isn't newline sensitive, so that's being parsed as an application of foo to four arguments
<ggole>
Prefix the print_string with let () = and you should be right
MercurialAlchemi has quit [Ping timeout: 276 seconds]
c74d has quit [Remote host closed the connection]
c74d has joined #ocaml
<zmyrgel>
I tried to install xml-light with opam but it failed
<zmyrgel>
the error is that the Makefile xml-light uses contains non-portable sed command which errors out
<zmyrgel>
it would seem that the Makefile is generated by ocamake but I can't find sed definitions from ocamake sources
Kakadu has joined #ocaml
rand000 has joined #ocaml
<zmyrgel>
the problem is "sed -itmp "s|@VERSION@|$(VERSION)|g" META" call in the Makefile
rgrinberg has joined #ocaml
<zmyrgel>
I'm on OpenBSD and its sed doesn't have the '-i' flag at all
<zmyrgel>
any ideas how to get it fixed?
<agent_black>
ggole: Thanks. If I start ending all of these with ;; would it fix the issue as well?
rgrinberg has quit [Ping timeout: 256 seconds]
amnn has joined #ocaml
freling has joined #ocaml
yomimono_ has joined #ocaml
hay207 has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
<ggole>
agent_black: yep
<ggole>
Although most people seem to prefer the let () =
<agent_black>
thanks man!
<agent_black>
Thats probably a better way to do it. Its just hard for me to let go of my ;'s after c++
amnn has quit [Read error: Connection reset by peer]
amnn has joined #ocaml
SIGILL has quit [Quit: WeeChat 1.1.1]
SIGILL has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
agent_black is now known as dtscode
dtscode is now known as agent_dtscode
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Haudegen has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
lopex has joined #ocaml
rand000 has quit [Ping timeout: 252 seconds]
breadmonster has joined #ocaml
<breadmonster>
What's the recommended way to pick up OCaml for Haskell users?
emanuelz has quit [Quit: emanuelz]
hay207 has quit [Quit: Leaving]
<yomimono_>
breadmonster: I don't know what those with more experience would recommend, but I came to OCaml from Haskell and had success with https://realworldocaml.org
<breadmonster>
yomimono_: Oh okay.
<yomimono_>
breadmonster: sorry for the banal advice; I don't know of a special resource for that circumstance but RWO was at least not extra confusing
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
zpe has joined #ocaml
rbocquet has joined #ocaml
<ollehar>
uhm, so, what is the range of chars in menhir? can I use all ascii?
Andre has joined #ocaml
<companion_cube>
currently it's ascii, I think
<companion_cube>
waaaait
<companion_cube>
no, menhir doesn't care
<companion_cube>
at all
<companion_cube>
menhir doesn't know strings
psy_ has quit [Ping timeout: 276 seconds]
Andre has left #ocaml [#ocaml]
<ollehar>
so what's the default lexer? ocamllex
<def`>
or sedlex
<ollehar>
ok
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
zpe has quit [Ping timeout: 276 seconds]
t4nk229 has joined #ocaml
clockish has joined #ocaml
nullcat has joined #ocaml
SomeDamnBody has joined #ocaml
t4nk229 has quit [Ping timeout: 246 seconds]
ggole has quit []
<clockish>
Hi all, syntax/language question: Is there a way to write a patten matching clause that matches any constructor (within the same type) of a given GADT signature?
<dsheets>
clockish, the pattern match of gadts introduces type equalities on the rhs which are hard to reconcile with the pattern alternative operator
Algebr has quit [Ping timeout: 264 seconds]
robink_ has quit [Ping timeout: 255 seconds]
robink_ has joined #ocaml
robink_ has quit [Ping timeout: 248 seconds]
mcclurmc has joined #ocaml
psy_ has joined #ocaml
lobo has joined #ocaml
paarth has quit [Ping timeout: 265 seconds]
robink_ has joined #ocaml
mcclurmc has quit [Ping timeout: 265 seconds]
SomeDamnBody has quit [Ping timeout: 255 seconds]
rand000_ has quit [Ping timeout: 264 seconds]
ygrek has quit [Ping timeout: 264 seconds]
rgrinberg1 has joined #ocaml
luzie has quit [Ping timeout: 250 seconds]
rgrinberg1 has quit [Ping timeout: 245 seconds]
swgillespie has joined #ocaml
hay207 has quit [Quit: Leaving]
luzie has joined #ocaml
rand000 has joined #ocaml
victoroak has quit [Ping timeout: 252 seconds]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
rand000 has quit [Quit: leaving]
tane has quit [Quit: Verlassend]
rgrinberg1 has joined #ocaml
SomeDamnBody has joined #ocaml
struktured has quit [Ping timeout: 256 seconds]
ollehar has quit [Quit: ollehar]
struktured has joined #ocaml
rgrinberg1 has quit [Ping timeout: 256 seconds]
SomeDamnBody has quit [Ping timeout: 265 seconds]
<ericbmerritt>
is there a way to include a module that takes a functor into another module that takes the same functor. That seems like it should be doable but ...
Simn has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
Simn has quit [Client Quit]
<thizanne>
ericbmerritt: # module M (A : sig type t val compare : t -> t -> int end) = struct include Map.Make (A) end;;
<ericbmerritt>
thizanne: thanks. though I think this added to my confusion (through no fault of yours)
srcerer_ has joined #ocaml
srcerer has quit [Ping timeout: 276 seconds]
lobo has quit [Ping timeout: 276 seconds]
Gama11 has quit [Read error: Connection reset by peer]
kakadu has quit [Remote host closed the connection]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
yomimono has quit [Quit: Leaving]
<ericbmerritt>
essentially, I want to define a concrete signature of a module that takes a function. actually eventually I want to define several concrete signatures for the same module. along with a 'make' module
<ericbmerritt>
the functor is throwing me on the syntax to use though
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<Drup>
ericbmerritt: if F is a module type that happen to be the type of a functor, you can't apply it
<Drup>
it's not a functor, it's a type.
madroach has quit [Ping timeout: 264 seconds]
freling has quit [Quit: Leaving.]
madroach has joined #ocaml
<ericbmerritt>
Drup. So S is the functor, SimpleSystem is a concrete implementation of S (so it is a functor as well).
<ericbmerritt>
it just happens that it doesn't export anything beyond what S already exports
<Drup>
S is not a functor
<Drup>
it's a module type
<ericbmerritt>
hmm. ok. my terminology is off. So its a type that takes a functor?
<ericbmerritt>
that still leaves me with, how do I include it into the other module type
<ericbmerritt>
ok. thats fair. but isn't this more like 'type 'a t = 'a -> float' and 'type t2 = int t'?
amnn has joined #ocaml
<Drup>
Nope
<ericbmerritt>
does that make S not includable in another signature
<ericbmerritt>
?
<ericbmerritt>
i have to run. i will come back in a couple of hours. This is driving me nut so I would love to get it figured out. Obviously I am missing some fundamental understanding
<Drup>
so, what is usually done is to do something like that
<Drup>
module type S = sig module Log : Nixy_log.S ..... end
<Drup>
and then you use it like that:
<Drup>
include (S with module Log := Log)
idegen has left #ocaml [#ocaml]
sdothum has quit [Read error: Connection reset by peer]