<Drup>
the internal representation is an array of codepoint
<Drup>
this could be improved with some work, it's on my todo list
ghostpl_ has quit [Ping timeout: 272 seconds]
<Drup>
(in particular in relation to the mirage stuff for no-copy parsers)
reem has quit [Read error: No route to host]
<rgrinberg>
yeah this is what's been occupying my mind lately in OCaml
reem has joined #ocaml
<rgrinberg>
Drup: on bigstrings in particular.
<Drup>
yes
c74d has quit [Quit: c74d]
<Drup>
contribution on this are very welcome and I might give a hand :p
<rgrinberg>
adding bigstrings to sedlex should be trivial I think. Although since sedlex does plenty of its own copying its hard to see the point
<Drup>
well, the point would be to remove/decrease the amount of copying done by sedlex
<Drup>
note that you can always provide your own Sedlexing module that do things completely differently
reem has quit [Remote host closed the connection]
dav has quit [Ping timeout: 240 seconds]
dav has joined #ocaml
reem has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
reem has quit [Remote host closed the connection]
reem has joined #ocaml
reem has quit [Remote host closed the connection]
r_ has quit [Quit: Leaving]
darkf has joined #ocaml
ollehar has quit [Quit: ollehar]
ygrek has joined #ocaml
WraithM has quit [Quit: leaving]
bjorkintosh has quit [Ping timeout: 255 seconds]
<rgrinberg>
hmm you should be able to get lexeme as bytes as well
SomeDamnBody has quit [Ping timeout: 256 seconds]
bjorkintosh has joined #ocaml
SomeDamnBody has joined #ocaml
bjorkintosh has quit [Max SendQ exceeded]
bjorkintosh has joined #ocaml
bjorkintosh has quit [Ping timeout: 264 seconds]
bjorkintosh has joined #ocaml
ggole has joined #ocaml
reem has joined #ocaml
rand000 has quit [Quit: leaving]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
bjorkintosh has quit [Read error: Connection timed out]
ghostpl_ has joined #ocaml
bjorkintosh has joined #ocaml
ab3 has joined #ocaml
<ab3>
hi
<rgrinberg>
hello
nullcat has joined #ocaml
hilquias` has quit [Ping timeout: 272 seconds]
_5kg has quit [Ping timeout: 246 seconds]
ghostpl_ has quit [Ping timeout: 252 seconds]
c74d has joined #ocaml
ab3 has quit [Ping timeout: 246 seconds]
SomeDamnBody has quit [Ping timeout: 264 seconds]
c74d has quit [Quit: c74d]
c74d has joined #ocaml
nullcat has quit [Ping timeout: 246 seconds]
nullcat has joined #ocaml
bjorkintosh has quit [Ping timeout: 265 seconds]
reem has quit [Remote host closed the connection]
c74d has quit [Remote host closed the connection]
bjorkintosh has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
WraithM has joined #ocaml
c74d has joined #ocaml
struktured has quit [Ping timeout: 265 seconds]
bjorkintosh has quit [Quit: Leaving]
bjorkintosh has joined #ocaml
_5kg has joined #ocaml
_5kg has quit [Ping timeout: 244 seconds]
WraithM has quit [Quit: leaving]
reem has joined #ocaml
<seliopou>
just occurred to me to ask, but why is cohttp called that?
struktured has joined #ocaml
_5kg has joined #ocaml
_5kg has quit [Ping timeout: 245 seconds]
reem has quit [Remote host closed the connection]
reem has joined #ocaml
ghostpl_ has joined #ocaml
_5kg has joined #ocaml
_5kg has quit [Ping timeout: 245 seconds]
_5kg has joined #ocaml
_5kg has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 240 seconds]
_5kg has joined #ocaml
_5kg has quit [Ping timeout: 265 seconds]
ghostpl_ has quit [Ping timeout: 252 seconds]
_5kg has joined #ocaml
_5kg has quit [Ping timeout: 255 seconds]
AlexRussia has joined #ocaml
_5kg has joined #ocaml
keen__________83 has joined #ocaml
keen__________82 has quit [Ping timeout: 250 seconds]
_5kg has quit [Ping timeout: 246 seconds]
rgrinberg1 has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
mcc has quit [Quit: This computer has gone to sleep]
_5kg has joined #ocaml
ygrek has joined #ocaml
reem has quit [Remote host closed the connection]
brendan has joined #ocaml
reem has joined #ocaml
ghostpl_ has joined #ocaml
marynate has joined #ocaml
oscar_toro has quit [Quit: Lost terminal]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
xificurC has joined #ocaml
axiles has quit [Quit: Quitte]
ghostpl_ has quit [Ping timeout: 265 seconds]
Bhavya has joined #ocaml
Haudegen has quit [Ping timeout: 245 seconds]
kakadu has joined #ocaml
axiles has joined #ocaml
MercurialAlchemi has joined #ocaml
Haudegen has joined #ocaml
rgrinberg1 has quit [Ping timeout: 245 seconds]
xinau has joined #ocaml
reem has quit [Remote host closed the connection]
ebzzry has quit [Remote host closed the connection]
reem has joined #ocaml
ebzzry has joined #ocaml
tane has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
ghostpl_ has joined #ocaml
reem has quit [Remote host closed the connection]
bjorkintosh has quit [Ping timeout: 244 seconds]
zpe has joined #ocaml
mal`` has quit [*.net *.split]
Bhavya has quit [Ping timeout: 264 seconds]
mal`` has joined #ocaml
ghostpl_ has quit [Ping timeout: 256 seconds]
Simn has joined #ocaml
lordkryss has joined #ocaml
rgrinberg1 has joined #ocaml
<companion_cube>
o/ rgrinberg1
matason has joined #ocaml
* adrien_znc
feels unloved by companion_cube
<companion_cube>
\o adrien_znc
larhat has quit [Quit: Leaving.]
<adrien_znc>
\o/
* adrien_znc
hugs companion_cube
<companion_cube>
yay!
Bhavya has joined #ocaml
rgrinberg1 has quit [Ping timeout: 265 seconds]
marynate has quit [Quit: Leaving]
ollehar has joined #ocaml
dsheets has quit [Ping timeout: 246 seconds]
Bhavya has quit [Ping timeout: 256 seconds]
testcocoon has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
mort___ has joined #ocaml
ghostpl_ has joined #ocaml
ghostpl_ has quit [Ping timeout: 246 seconds]
octachron has joined #ocaml
ocp has joined #ocaml
AltGr has left #ocaml [#ocaml]
dsheets has joined #ocaml
ghostpl_ has joined #ocaml
ghostpl_ has quit [Remote host closed the connection]
ghostpl_ has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
johnelse has quit [Quit: leaving]
zpe has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
rand000 has joined #ocaml
yminsky has joined #ocaml
johnelse has joined #ocaml
defini-pyon-ally is now known as noyp-esrever
rgrinberg1 has joined #ocaml
rgrinberg1 has quit [Ping timeout: 245 seconds]
yomimono has joined #ocaml
axiles has quit [Ping timeout: 272 seconds]
matason has quit [Ping timeout: 250 seconds]
yminsky has quit [Quit: yminsky]
govg has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
Bhavya has joined #ocaml
_andre has joined #ocaml
waneck has quit [Ping timeout: 252 seconds]
axiles has joined #ocaml
yminsky has joined #ocaml
`eeks has joined #ocaml
sdothum has joined #ocaml
axiles has quit [Ping timeout: 240 seconds]
axiles has joined #ocaml
ghostpl_ has quit [Remote host closed the connection]
yminsky has quit [Quit: yminsky]
yomimono has quit [Ping timeout: 256 seconds]
ebzzry has quit [Remote host closed the connection]
dsheets has quit [Ping timeout: 250 seconds]
ghostpl_ has joined #ocaml
yomimono has joined #ocaml
rgrinberg1 has joined #ocaml
rgrinberg1 has quit [Ping timeout: 246 seconds]
pii4 has quit [Quit: [-.-]...]
WraithM has joined #ocaml
dsheets has joined #ocaml
noyp-esrever is now known as direct-pyon
mort___ has left #ocaml [#ocaml]
yomimono has quit [Ping timeout: 252 seconds]
TheLemonMan has joined #ocaml
direct-pyon has quit [Quit: I'm sorry but... I don't have any interest in three-dimensional girls.]
arj has joined #ocaml
pii4 has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
dsheets has quit [Ping timeout: 240 seconds]
martintrojer has joined #ocaml
badkins has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
shinnya has joined #ocaml
matason has joined #ocaml
<xificurC>
hey, what would you recommend as a start to OCaml? I know several languages (which doesn't mean I'm proficient with them, but I understand them and most of their concepts), including Haskell
<MercurialAlchemi>
xificurC: Real World OCaml
<MercurialAlchemi>
and then read the manual
<`eeks>
+ choose a project you have in mind and decide to write it in OCaml.
<adrien_znc>
(but not mldonkey)
<TheLemonMan>
I found the 'learn' section in the ocaml site to be more clear than RWO
<xificurC>
thanks for the suggestions, will look around. is the type system similar to haskell's?
<xificurC>
or more broadly, what are the key differences
<MercurialAlchemi>
no HKT
<MercurialAlchemi>
no typeclasses
<MercurialAlchemi>
(yet)
<MercurialAlchemi>
no parallelism
<MercurialAlchemi>
a module system, and polymorphic variants
<MercurialAlchemi>
better pattern-matching
<rks`>
MercurialAlchemi: the parallelism is related to the type system??
<companion_cube>
oh, custom index operations have been merged? neat
<xificurC>
still don't understand how come there's monad libraries in OPAM if typeclasses are not implemented
yminsky has joined #ocaml
<Drup>
xificurC: the monad system allows you to do several interesting things :)
<tane>
xificurC, because monads have nothing to do with typeclasses, only abstractions over monads and monad syntax sugar do
<Drup>
the module system*
<Drup>
=')
<companion_cube>
well, I agree it's a bit weird to deal with monads in general without HKT
<tane>
and those abstractions can be modeled using the module system as well
axiles has quit [Read error: Connection reset by peer]
<companion_cube>
I'm disappoint my bugfix/change to Buffer hasn't cut it yet
<companion_cube>
disappointed
<xificurC>
tane: I see. One day I hope to understand that
<tane>
xificurC, if you look at ocamls monads, that may become clearer
<tane>
as those are not as interwoven with the whole program structure as in haskell
larhat has joined #ocaml
paradoja has joined #ocaml
paradoja has quit [Remote host closed the connection]
xinau has joined #ocaml
axiles has joined #ocaml
jao has quit [Ping timeout: 244 seconds]
vfoley- has quit [Remote host closed the connection]
pyon has joined #ocaml
dsheets has joined #ocaml
yomimono has joined #ocaml
ygrek has joined #ocaml
<xificurC>
only now it struck me I heard what's missing but not really what's here, compared to haskell. MercurialAlchemi said module system and polymorphic variants (don't know what that means yet). So what makes you choose OCaml over haskell?
<companion_cube>
it's strict, it allows to write many things in a concise fashion using a few side effects
<companion_cube>
the module system is far superior to any other module system (well except SML since it's the same)
<Drup>
hey, I discovered recently that SML doesn't have high order functors !
<Drup>
(okay, I see already people telling me it's a good thing)
igstan has joined #ocaml
<rks`>
(naaaah)
<Drup>
they also only have the generative behavior, which must be quite annoying at time (but safer)
<xificurC>
companion_cube: thanks
<Drup>
xificurC: polymorphic variants (and the objects system) are quite useful when you need subtyping relationships
<companion_cube>
Drup: oh
<Drup>
which are quite hard to encode in Haskell without a good amount of sophisticated type trickery.
<companion_cube>
also, private types/private aliases are very nice
<Drup>
(also know as "drive yourself insane with type families")
<companion_cube>
type-driven insanity
<Drup>
{-# LANGUAGE CTHULHU #-}
olibjerd has joined #ocaml
olibjerd2 has joined #ocaml
antkong has joined #ocaml
travisbrady has joined #ocaml
ghostpl_ has quit [Remote host closed the connection]
ghostpl_ has joined #ocaml
Algebr has joined #ocaml
mcclurmc has joined #ocaml
NaCl has joined #ocaml
travisbrady has quit [Quit: travisbrady]
yminsky has quit [Quit: yminsky]
rand000 has quit [Ping timeout: 240 seconds]
igstan has quit [Quit: igstan]
ghostpl_ has quit [Remote host closed the connection]
<Algebr>
Is there any special name for making types like printf's, for example like type ('first, 'second, 'third) foo
<Drup>
"type ('foo,'bar) t = ..." ?
<Drup>
(or I don't understand the question)
ghostpl_ has joined #ocaml
travisbrady has joined #ocaml
<Algebr>
just like if there is a name for making these kinds of types, if they are known as some kind of pattern
<Drup>
not really, they just have multiple arguments, nothing fancy
ghostpl_ has quit [Remote host closed the connection]
ghostpl_ has joined #ocaml
<ggole>
Just 6 arguments, nbd
<ggole>
You know your code is elegant when you have 6 type arguments
ghostpl_ has quit [Remote host closed the connection]
<octachron>
which makes writing the type of service a *little* bit annoying in eliom
<ggole>
Nope.
ygrek has quit [Ping timeout: 255 seconds]
struktured has quit [Ping timeout: 265 seconds]
<companion_cube>
Drup: in the code, I assume it uses "constraint" ?
dsheets has quit [Ping timeout: 244 seconds]
<TheLemonMan>
I stumbled across the monad module and started writing a simple implementation for option (http://ix.io/gOk) but I'm puzzled by the fact I have to do Amodule.bind/return to compose the actions…am I missing something ?
ygrek has joined #ocaml
<tane>
TheLemonMan, you can define your own infix functions
paradoja has joined #ocaml
<TheLemonMan>
tane, as in let (>>=) = Amonad.bind;; ?
<tane>
yes
<tane>
if you're looking for general syntax sugar: there is none
rgrinberg1 has joined #ocaml
<tane>
gtg now, bye :)
tane has quit [Quit: Verlassend]
<TheLemonMan>
the next question is about how to pattern-match an instance of Amonad
rgrinberg1 has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
ccomp has joined #ocaml
<ccomp>
is there a generally accepted best way of getting outside code that you're trying to prove things about into Coq?
<ccomp>
I've been looking into different lexing and parsing tools, but pretty much everything is in Ocaml and I don't know of an easy way to load Ocaml types/data into Coq.
darkf has quit [Quit: Leaving]
<seliopou>
so InternalModules in an _oasis file. That shouldn't expose those modules when linking with other packages, right?
<rks`>
ccomp: just extract your coq parts to ocaml
<rks`>
and #coq would probably be more suited for this kind of questions
<ccomp>
rks`: Here's the problem, though: I have to lex and parse code to prove it. It's far easier to lex and parse in Ocaml. I have to prove in Coq. Extraction is Coq -> Ocaml and I need to go Ocaml -> Coq
<rks`>
well
ghostpl_ has joined #ocaml
<rks`>
your parser will produce an ast
<rks`>
just make it produce values from the ast extracted from coq
<rks`>
and then call your coq extracted functions on it
rgrinberg1 has joined #ocaml
<ccomp>
rks`: "just make it produce values from the ast extracted from coq" Can you clarify this? What's being extracted? Where is the boundary between Coq and Ocaml?
<companion_cube>
seliopou: I think it shouldn't, indeed
<ccomp>
Oh, you mean write the lexer and parser in Coq?
<ccomp>
I could, but then I'd have to write a lexer and parser in Coq...
MrScout has joined #ocaml
ptc has joined #ocaml
<seliopou>
companion_cube: thought so, but unfortunately it seems to be conflicting for me. package-a (not packed) has a Util InternalModule. package-b has a Util InternalModule and depends on pacakge-a. Linking to produce a binary produces the conflict. :/
<seliopou>
pacakge-b is not packed as well
ptc is now known as Guest97801
<seliopou>
just gonna prefix the util modules and move on D:
ghostpl_ has quit [Remote host closed the connection]
ghostpl_ has joined #ocaml
<companion_cube>
yes, I think that's better
<companion_cube>
sadly
badkins_ has joined #ocaml
<seliopou>
The Dream will just have to live in our hearts for now.
badkins has quit [Ping timeout: 245 seconds]
fedjo is now known as fedjo_living_fig
fedjo_living_fig is now known as fedjo_fighter
ghostpl__ has joined #ocaml
ghostpl_ has quit [Read error: Connection reset by peer]
ocp has quit [Ping timeout: 256 seconds]
<rks`>
ccomp: no that's not what I mean
<rks`>
maybe I didn't understand what you're trying to do
<rks`>
but I thought you wanted to write some "language manipulation function", and prove some property about them
<rks`>
what I'm telling you is, do that in coq
<rks`>
extract the whole lot to ocaml
<rks`>
and then call and ocaml parser, and the ocaml library extracted from coq
<_obad_>
oasis question. when invoking make install, how can I override the destdir dynamically?
<companion_cube>
have oasis generate a configure script, I think
<companion_cube>
and use the configure script to change directories
<_obad_>
companion_cube: but that's the thing, I'm fine with the install being ~/.opam for libraries but for executables I'd like /usr/local/bin, but then sudo fkcs up my ~/.opam
<companion_cube>
then you need to tell opam where you want stuff to get installed (if that's doable at all...)
<_obad_>
companion_cube: that's my question. there is stuff about variables in setup.ml but I don't know how they can be overridden
<_obad_>
there is a destdir variable, but I don't know if I can override it from the env or the command line
badkins_ has quit []
Algebr has quit [Remote host closed the connection]
<TheLemonMan>
duh, I can't seem to get this right, the compiler claims that 'a Amonad.t a different type from 'a option
dsheets has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
<ccomp>
rks`: I want to be able to prove correctness properties about code written in a certain language. A validator, basically.
<ccomp>
rks`: Does that make sense? I'm still very new to this.
braibant has joined #ocaml
robink has quit [Ping timeout: 244 seconds]
olibjerd2 has quit [Remote host closed the connection]
<companion_cube>
Drup: I didn't follow closely, how is the common result type going to be integrated then?
<companion_cube>
I hope there is a compat package
<rks`>
ccomp: ah
<rks`>
you can probably do it, and people on #coq will certainly help you
ghostpl__ has quit [Remote host closed the connection]
rand000 has joined #ocaml
ghostpl_ has joined #ocaml
<TheLemonMan>
I had to modify the module declaration to "module Amonad : Basic with type 'a t = 'a option", but don't really know why
olibjerd_ has joined #ocaml
robink has joined #ocaml
<octachron>
TheLemonMan: probably because 'a t was abstract in the module type Basic
rgrinberg1 has quit [Ping timeout: 272 seconds]
<octachron>
i.e. module type Basic = sig type 'a t end
<TheLemonMan>
octachron, I assumed that having 'type 'a t = 'a option' in the struct would be enough
<octachron>
no, the structure defines the implementation, the signature defines the interface
<octachron>
so, if you write sig type 'a t end, you are saying that the module contains a type 'a t, whose implementation is abstract , i.e hidden from outside the module
<TheLemonMan>
I know, but if you see here (http://ix.io/gOk) you'll get what I mean
rgrinberg1 has joined #ocaml
<octachron>
when you write Amonad: Basic, you are giving the signature Basic (where 'a t is abstract) to the module Amonad
<ccomp>
rks`: Thanks. I'm also going to email the author of the CompCert verified parser briefly. It would be a lot easier if that were separately packaged and more modular
robink has quit [Remote host closed the connection]
<TheLemonMan>
octachron, right. but why do I have to repeat the parametrization for option twice ?
<octachron>
TheLemonMan: note that another way to make your code works is to delete the signature annotation of Amonad
<TheLemonMan>
deleting the signature annotation makes it virtually impossible to pattern match an Amonad-returned object
<octachron>
TheLemonMan: when you add "with type 'a t= 'a option", you are informing the compiler that 'a t is equal to 'a option, otherwise as far as the compiler knows the two type are different
<octachron>
TheLemonMan: what do you mean with pattern match an Amonad-returned object?
<TheLemonMan>
octachron, but doesn't 'type 'a t = 'a option;;' do the same ?
<TheLemonMan>
octachron, eg Amonad.return (3)
oriba has joined #ocaml
<TheLemonMan>
which is int option, but without the annotation the compiler treats it as different from int Amonad.t
<octachron>
TheLemonMan: type 'a t = 'a option inside the structure is an implementation detail; in the signature it is a a type equality
<TheLemonMan>
ooh, I assumed the compiler would infer that from the implementation of t
<octachron>
TheLemonMan: (match Amonad.return 3 with Some x -> x | None -> 0) works perfectly fine for me in the toplevel?
<TheLemonMan>
octachron, indeed it does when it's declared as "module Amonad : Basic with type 'a t = 'a option"
<octachron>
TheLemonMan: if you don't add a signature to Amonad, the compiler will infer the equality. Adding the signature gives you the option to *hide* the type equality.
<octachron>
TheLemonMan: it works also without the signature annotation (:Basic)
<Drup>
companion_cube: yes, there going to be one
<Drup>
of a form similar to Byte
<Drup>
Return.t
<Drup>
Bytes*
<Drup>
well, that's the current state of the discussion at least
jwatzman|work has joined #ocaml
<Drup>
octachron: did you ever got the need to spell out the complete type of a service ?
<Drup>
TheLemonMan: "it works also **without the signature annotation** (:Basic) "
dsheets has quit [Ping timeout: 265 seconds]
AlexRussia has quit [Ping timeout: 252 seconds]
<TheLemonMan>
oh, I've read that as "take out everything but :Basic"
MrScout has quit [Ping timeout: 265 seconds]
<octachron>
Drup: yes, once or twice, but probably due to bad design in my code
<Drup>
well, I'm sure you can find use case that makes it necessary/useful, I just would be interested in knowing what it is ;)
slash^ has joined #ocaml
slash^ has left #ocaml [#ocaml]
slash^ has joined #ocaml
badkins has joined #ocaml
ghostpl_ has quit [Remote host closed the connection]
ghostpl_ has joined #ocaml
ccomp has quit [Ping timeout: 246 seconds]
ghostpl_ has quit [Ping timeout: 245 seconds]
ghostpl_ has joined #ocaml
MrScout_ has quit [Remote host closed the connection]
MrScout has joined #ocaml
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
MrScout has quit [Read error: No route to host]
martintrojer has quit [Max SendQ exceeded]
MrScout has joined #ocaml
martintrojer has joined #ocaml
olibjerd_ has quit [Remote host closed the connection]
MrScout has quit [Client Quit]
dsheets has joined #ocaml
MrScout has joined #ocaml
<nicoo>
TheLemonMan: The compiler cannot infer the “'a t = 'a option” from the implementation, because it cannot know whether you mean for the implementation of 'a t to be exposed or not
TheLemonMan has quit [Quit: leaving]
ghostpl_ has quit [Remote host closed the connection]
arj has quit [Quit: Leaving.]
jao has joined #ocaml
oriba has quit [Quit: Verlassend]
jao has quit [Changing host]
jao has joined #ocaml
ccomp has joined #ocaml
octachron has quit [Quit: Leaving]
SomeDamnBody has joined #ocaml
travisbrady has quit [Quit: travisbrady]
antkong has quit [Quit: antkong]
jwatzman|work has quit [Quit: jwatzman|work]
ccomp has quit [Quit: WeeChat 1.1]
ccomp has joined #ocaml
`eeks has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
`eeks has joined #ocaml
<ccomp>
can anyone with better Makefile skills than me tell me why this has an error? It isn't my code, but it seems like something pretty simple and fixable is going wrong.
<Drup>
ah, the infamous custom makefile that never works.
<ccomp>
it's telling me "/bin/sh: ne-line *.mli *.ml >.depend: bad option"
<ccomp>
Drup: What do you mean exactly? Not challenging you, just curious.
<Drup>
let's call it experimental conclusion
<Drup>
when you see someone who wrote his own custom makefile in an OCaml project
<ccomp>
It seems like it should make, too. It's an acceptably mature and publicly listed project.
<Drup>
the makefile is almost always broken.
<ccomp>
Drup: what's the alternative?
<Drup>
if you want to stick with makefiles, OCamlMakefile is at least relatively resilient.
<ccomp>
Oh, I forgot that that existed
<ccomp>
Anyway, do you have any idea how I can fix this?
<Drup>
none whatsoever
<Drup>
I'm not very good with makefiles either :p
travisbrady has joined #ocaml
<Drup>
also, hum, not sure how you ended up on this project, but the documentation returns 404, it's not on opam and I personally stay away from people who use "+" as commit messages.
nullcat has joined #ocaml
<ccomp>
Drup: Heh, true. He's an active researcher in the area, though, and there are only so many options out there for formally verified Coq parser generators.
<ccomp>
By which I mean three, maximum. And I can only find code for one. And that code is undocumented
rgrinberg1 has quit [Ping timeout: 264 seconds]
<Drup>
:researchers:
<ccomp>
I really wish there were more of a culture of publishing and documenting code in the Coq community
<Drup>
menhir is robust and documented (well, appart from the undocumented option, that is :D)
<ccomp>
before that they just used an unverified parser, IIRC
<Drup>
I was thinking of the unverified parser, yes
yomimono has quit [Ping timeout: 250 seconds]
<ccomp>
The problem is, *none* of it's documented, including how to hook the lexer (which is to be written in Ocaml) into it. very confusing. And they use a stream or something instead of just a lexbuf (the Lexing default) because of difficulties with the proof
slash^ has quit [Read error: Connection reset by peer]
SomeDamnBody has quit [Ping timeout: 252 seconds]
<Drup>
I see
paradoja has quit [Ping timeout: 272 seconds]
<ccomp>
so you end up with 20,000+ lines of extracted Ocaml and have to figure out how to use it
<Drup>
call for help on the compcert mailing list ? ^^'
<ccomp>
and in the actual CompCert source code, there's all this line number and error checking stuff, much of which seems to be necessary only because of the warts of the C spec that need a state store
<ccomp>
I probably should
<Drup>
good luck =)
ghostpl_ has quit [Remote host closed the connection]
<ccomp>
There doesn't seem to be a mailing list. I think I'll just start with the author of the CompCert/Menhir parser
<ccomp>
anyway, thanks for the help Drup
ghostpl_ has joined #ocaml
rgrinberg1 has quit [Ping timeout: 252 seconds]
travisbrady has quit [Quit: travisbrady]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
zpe has quit [Remote host closed the connection]
axiles has quit [Ping timeout: 272 seconds]
Denommus has joined #ocaml
travisbrady has joined #ocaml
nullcat has joined #ocaml
SomeDamnBody has joined #ocaml
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ghostpl_ has quit [Remote host closed the connection]
SomeDamnBody has quit [Ping timeout: 252 seconds]
Anarchos has joined #ocaml
mort___ has quit [Quit: Leaving.]
MrScout has quit [Ping timeout: 256 seconds]
rand000 has joined #ocaml
rgrinberg1 has joined #ocaml
govg has quit [Ping timeout: 265 seconds]
nullcat has joined #ocaml
govg has joined #ocaml
MrScout has joined #ocaml
badkins has joined #ocaml
ggole has quit []
rgrinberg1 has quit [Ping timeout: 252 seconds]
nullcat_ has joined #ocaml
nullcat has quit [Ping timeout: 250 seconds]
nullcat_ has quit [Read error: Connection reset by peer]
rgrinberg1 has joined #ocaml
ghostpl_ has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
antkong has joined #ocaml
mort___ has joined #ocaml
olibjerd has quit [Quit: Ухожу я от вас (xchat 2.4.5 или старше)]
mort___ has quit [Client Quit]
Haudegen has joined #ocaml
govg has quit [Ping timeout: 264 seconds]
govg has joined #ocaml
larhat has quit [Quit: Leaving.]
ccomp has quit [Quit: WeeChat 1.1]
Nijikokun has joined #ocaml
Nijikokun has quit [Max SendQ exceeded]
claudiuc has joined #ocaml
claudiuc has quit [Remote host closed the connection]
Nijikokun has joined #ocaml
claudiuc has joined #ocaml
bjorkintosh has joined #ocaml
bjorkintosh has quit [Read error: Connection reset by peer]
bjorkintosh has joined #ocaml
axiles has quit [Ping timeout: 246 seconds]
axiles has joined #ocaml
MrScout has quit [Remote host closed the connection]
mort___ has joined #ocaml
MrScout has joined #ocaml
matason has joined #ocaml
<Drup>
ppx_tools for 4.03 √
<Drup>
lwt ppx for 4.03 √
<Drup>
whitequark: cppo for lwt ?
rgrinberg1 is now known as rgrinberg
<companion_cube>
what fo?
<companion_cube>
for*
<Drup>
handling the changes in ppx
TheLemonMan has joined #ocaml
<companion_cube>
awww.
antkong has quit [Quit: antkong]
<companion_cube>
you mean the precedence stuff that is being discussed?
<Drup>
no
<whitequark>
just use cppo
<whitequark>
oh, wait, nevermind, i misread
<Drup>
companion_cube: changes of representation of labels in the parsetree
<Drup>
you can thanks def` ;)
<Drup>
(and I really mean thanks, it's a good change)
_andre has quit [Quit: leaving]
reem has joined #ocaml
nullcat has joined #ocaml
mridul_seth has joined #ocaml
<companion_cube>
but, what's that have to do with lwt? do you mean every ppx extension will have to deal withthe chnge?
<Drup>
yes.
<companion_cube>
-_-
<whitequark>
that's the nature of ppx
nullcat has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Ping timeout: 256 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
`eeks has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
badkins has quit []
<def`>
yeah \o/
oscar_toro has joined #ocaml
MrScout has quit [Remote host closed the connection]
yomimono has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
jwatzman|work has joined #ocaml
<xificurC>
batteries vs corem
<whitequark>
containers
<Drup>
fight !
<xificurC>
core* - should I care as a newcomer?
Haudegen has quit [Ping timeout: 240 seconds]
oriba has joined #ocaml
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
<xificurC>
I'm getting an error on opam installing camlp4 - ./check-camlp4.sh: line 3: camlp4orf: command not found . Anyone knows what might I be doing wrong? I see an issue open on github with this but they are discussing homebrew, I'm on arch