ygrek_ has quit [Remote host closed the connection]
ygrek has joined #ocaml
AltGr has joined #ocaml
tennix has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
manizzle has joined #ocaml
Heiher has joined #ocaml
<Heiher>
How can I found the documentation about ocaml asmcomp porting? thanks!
struktured has joined #ocaml
uris77 has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
ygrek_ has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ygrek has quit [Ping timeout: 252 seconds]
contempt has quit [Ping timeout: 260 seconds]
manizzle has quit [Ping timeout: 246 seconds]
contempt has joined #ocaml
uris77 has quit [Ping timeout: 256 seconds]
igoroliveira has quit [Quit: Connection closed for inactivity]
shinnya has quit [Ping timeout: 264 seconds]
claudiuc has quit [Remote host closed the connection]
jrslepak has quit [Ping timeout: 246 seconds]
struktured has quit [Ping timeout: 244 seconds]
darkf has joined #ocaml
struktured has joined #ocaml
jrslepak has joined #ocaml
linman8 has joined #ocaml
ygrek_ has quit [Ping timeout: 272 seconds]
jrslepak has quit [Ping timeout: 250 seconds]
jrslepak has joined #ocaml
siddharthv_away is now known as siddharthv
keen__________32 has quit [Read error: Connection reset by peer]
keen__________32 has joined #ocaml
tennix has quit [Ping timeout: 246 seconds]
jao has quit [Ping timeout: 244 seconds]
linman8 has quit [Ping timeout: 256 seconds]
Bhavya has joined #ocaml
tennix has joined #ocaml
kushal has quit [Ping timeout: 250 seconds]
lolisa has joined #ocaml
grouzen has joined #ocaml
lolisa has quit [Quit: meow]
sepp2k has joined #ocaml
swgillespie has joined #ocaml
ygrek_ has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
grouzen has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
Heiher has quit [Remote host closed the connection]
Heiher has joined #ocaml
kushal has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 246 seconds]
creichert has quit [Ping timeout: 256 seconds]
w1gz has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Sorella has quit [Quit: Connection closed for inactivity]
octachron has joined #ocaml
zpe has joined #ocaml
TheLemonMan has joined #ocaml
MercurialAlchemi has joined #ocaml
yomimono has joined #ocaml
sh0t has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
Kakadu has joined #ocaml
sh0t has quit [Ping timeout: 240 seconds]
psy_ has quit [Ping timeout: 252 seconds]
dsheets has quit [Ping timeout: 246 seconds]
ygrek_ has quit [Ping timeout: 244 seconds]
arj has joined #ocaml
jonludlam has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
contempt has quit [Remote host closed the connection]
zpe has joined #ocaml
ousado has quit [Read error: Connection reset by peer]
ousado has joined #ocaml
contempt has joined #ocaml
troydm has quit [Ping timeout: 264 seconds]
obadz has quit [Ping timeout: 240 seconds]
obadz has joined #ocaml
grouzen has joined #ocaml
contempt has quit [Remote host closed the connection]
Heiher has left #ocaml [#ocaml]
dario2 has joined #ocaml
ananas__ has joined #ocaml
contempt has joined #ocaml
dsheets has joined #ocaml
<ananas__>
Hello, I don't know much about ocamlbuild, but I have the feeling that when I list my ocamlfind -pkgs, it somehow includes them in the final executable (as a static library, in C). Is it possible not to include them ? I am used to having some .dlls or .sos to have my program work, for a C program. Is it possible with ocaml .cmxs or .cmas ? Should I modify the code (I saw a "Dynlink" module in the stl) ? What about
<ananas__>
ocamlfind ?
<companion_cube>
the default in OCaml is static linking indeed
<companion_cube>
producing .cmxs allows using Dynlink to load the .cmxs later (for its side effects)
<flux>
ananas__, well, there are two options: 1) don't compile it at all, but just use the ocaml toplevel for running the programs.. then it will use the .cma files 2) write the program to open the modules dynamically; but this is not anything automatic, but akin to dlopen in C
<companion_cube>
but I don't know how to tell ocamlbuild not to link C libs statically
<flux>
oh, right, you were writing a library for C
<ananas__>
No, no. I am only writing OCaml, but I expected the compiler to work like gcc
<flux>
I think that should be possible, I mean you cannot in general just link any .so statically nowadays can you?
_whitelogger____ has joined #ocaml
pyon has quit [Client Quit]
_whitelogger___ has quit [Ping timeout: 240 seconds]
<ananas__>
Thank you for the explanation, I didn't understand everything but it helped ;)
darkf_ has joined #ocaml
darkf has quit [Disconnected by services]
darkf_ is now known as darkf
AltGr has left #ocaml [#ocaml]
<dario2>
Hi everyone! I have a terminology question for the theorists in this channel:
<dario2>
I have a library (Lambdoc) that exposes a document AST, and I want to provide
<dario2>
an AST mapper and an AST folder, using the same approach used by the OCaml
<dario2>
compiler's Ast_mapper. Though I could offer separate APIs for mapping/folding,
<dario2>
users will often want to perform both on the same document, and it's kind of
<dario2>
silly to traverse the AST twice (I realise that clever users could piggyback
<dario2>
one on top of the other and avoid the double traversing, but this approach is
<dario2>
not very convenient). Therefore, I'm writing a generic "transformer" that
<dario2>
does both mapping and folding. This seems to work and fine and it's pretty
<dario2>
convenient, but I wonder what the proper name for this operation should be.
<dario2>
(I'm calling it "morpher" right now).
jonludlam has quit [Quit: Leaving]
ousado has quit [Changing host]
ousado has joined #ocaml
<flux>
map_and_fold?-)
<dario2>
flux: are you saying those category theory haven't come up with a fancy name for this?... :-)
<dario2>
s/theory/theorists/
<dsheets>
is "fold" not sufficient?
<dario2>
dsheets: Well, that's what I meant by clever users piggybacking one on top of the other.
<dario2>
But it's not very convenient, is it?
<dsheets>
it's not clear to me what precise problem is trying to be solved: naming? signature design? fusion?
<dario2>
One example: users want to change all "bold" test to "emph", while simultaneously counting the instances of "tt" text.
<flux>
I can see that mapping an AST with folding could be annoying, so it's nice to provide a function to do that
<dario2>
Another more realistic example: change all "http" links to "https", and append to an error list all links that cannot be resolved.
<dsheets>
well, your folds are going to be scott-encoded? that is, they will explicitly require recursive calls onto the function structure dual to the constructor tree? if so, you should be able to have "fold" to apply a fold structure to a tree and a set of fold structure combinators that, e.g., automatically invokes the recursion if only mapping
pyon has joined #ocaml
<dario2>
dsheets: I think I'll post a concrete example to the caml-list...
<dario2>
dheets: I'm not familiar with the terminology you used, but I suspect that my solution does exactly what you suggest...
<ousado>
dario2: FWIW, I settled for "foldmap"
darkf_ has joined #ocaml
ceryo has joined #ocaml
<flux>
the problem with "foldmap" in my opinion is that often times x_y is used to express "first x, then y", ie. filter_map
<flux>
but I guess it's not that big of a problem
<destrius>
dario2: i have a similar kind of generic function that i'm calling "mother_traverser"
<destrius>
due to lack of any better name
darkf has quit [Ping timeout: 246 seconds]
darkf_ is now known as darkf
<ousado>
the two times I asked this question here, the responses were mostly fold_map and foldmap respectively
<ousado>
for people aware of these concepts, looking at the signature should be sufficient to figure out what it's doing
_andre has joined #ocaml
_whitelogger____ has joined #ocaml
<dario2>
companion_cube: Interesting approach! It does have the disadvantage of slightly increasing the cognitive burden for users of the AST, though...
<companion_cube>
yeah, it's a bit subtle
<companion_cube>
also, the advantage of ast_mapper and the likes is open recursion
<flux>
though perhaps not quite complete and 3 years old but.. :)
<seliopou>
hmmm... am i doing something wrong or the negation of a prefix not nearly as large of a combinatorial explosion as I thought it would be...
<dsheets>
seliopou, Ipaddr.V4.Prefix.(mem (broadcast (of_string_exn "192.168.0.0/24")) (of_string_exn "192.168.0.0/16")) may be what you want?
<seliopou>
dsheets I was getting type errors when I put a prefix in the first argument
<seliopou>
ohhhh, though the subset operation is just dropping the mask from the first argument and computing membership
<seliopou>
right?
<dsheets>
the negation of a prefix should be 2^n - 1 where n is the mask size
<seliopou>
yeah i was doing it wrong
<dsheets>
seliopou, i don't think the broadcast hack is quite right as ones at the low-end of the prefix can be misinterpreted. we need a real operation to compare the prefix length
<seliopou>
yeah i think i implemented this somewhere in the frenetic codebase once
<dsheets>
you can get the value with Prefix.bits
<dsheets>
anyway, a pr or an issue would be fine
zpe_ has joined #ocaml
grouzen has quit [Ping timeout: 260 seconds]
<dsheets>
seliopou, feel free to include intersection as well
jao has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
pyon is now known as phoas-pyon
jyc has joined #ocaml
slash^ has joined #ocaml
emmanueloga has quit [Remote host closed the connection]
seako has quit [Remote host closed the connection]
lopex has quit [Remote host closed the connection]
yminsky has quit [Remote host closed the connection]
<cateches>
or use brew, since I used that to install
<Drup>
use brew
<Drup>
(you should not be on 4.02.0+trunk too, move to 4.02.3 instead)
<Drup>
(especially since the lastest version of ppx_deriving is not compatible with ocaml < 4.02.2)
<cateches>
ah, I switched when I installed because 4.02 wasnt't the default yet
<cateches>
okay, I'm just out of date and can't have nice things
<Drup>
Regardless of the default, avoid the trunk unless you know what you are stepping in :D
linman8 has joined #ocaml
tennix has joined #ocaml
tennix has joined #ocaml
sgeisenh has joined #ocaml
linman8 has quit [Client Quit]
Sorella has joined #ocaml
tennix has quit [Ping timeout: 246 seconds]
whirm has quit [Quit: WeeChat 1.2]
ceryo has quit [Read error: Connection reset by peer]
ceryo has joined #ocaml
lambdahands has joined #ocaml
tennix has joined #ocaml
tennix has quit [Changing host]
tennix has joined #ocaml
yminsky has joined #ocaml
sgeisenh has quit [Quit: WeeChat 1.2]
ericbmerritt has joined #ocaml
obadz- has joined #ocaml
tennix has quit [Ping timeout: 272 seconds]
seako has joined #ocaml
obadz has quit [Ping timeout: 244 seconds]
<cateches>
okay, I think my problem now is that I'm using fish and I can't figure out how to get opam to play nice with fish
<cateches>
even with init --shell=fish
Haudegen has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
darkf has quit [Quit: Leaving]
Haudegen has joined #ocaml
martintrojer has quit [Ping timeout: 244 seconds]
Denommus has joined #ocaml
martintrojer has joined #ocaml
mort___ has quit [Quit: Leaving.]
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
ceryo_ has joined #ocaml
<cateches>
okay, Drup thanks for your help
<cateches>
that all works now :)
cateches has quit [Quit: Page closed]
ceryo has quit [Read error: Connection reset by peer]
mort___ has joined #ocaml
mort___ has quit [Client Quit]
uris77 has quit [Quit: leaving]
ceryo_ has quit [Read error: Connection reset by peer]
ceryo has joined #ocaml
lobo has joined #ocaml
Hannibal_Smith has joined #ocaml
yomimono has quit [Ping timeout: 265 seconds]
<zozozo>
merlin (version 2.2 for 4.02.3) doesn't seem to recognise the "type nonrec t = ..." syntax, is it normal ?
jeffmo has joined #ocaml
phoas-pyon has quit [Quit: dirty mutation]
pyon has joined #ocaml
dsheets has joined #ocaml
rand000 has joined #ocaml
<flux>
maybe. I guses you recompiled merlin against the 4.02.3 compiler-libs?
<flux>
(or let opam do it for you)
<flux>
though was it so that merlin actually comes with an ocaml compiler.. might be it's not updated yet for this.
ananas__ has quit [Remote host closed the connection]
MasseR has quit [Ping timeout: 244 seconds]
badkins has quit []
claudiuc has joined #ocaml
<zozozo>
opam did it indeed
Haudegen has quit [Ping timeout: 260 seconds]
<flux>
merlin git repository has these directories orig/ocaml_{400,402,trunk} so I wonder if it needs to be updated to work with new syntax structures.
<zozozo>
i think "type nonrec" was introduced in 4.02.2
<flux>
zozozo, btw, did you read README.md?
<flux>
is says: - ```nonrec``` for declaring non-recursive types
<flux>
..in the list of supported extensions
<flux>
so it seems it should just work(TM)
<flux>
if it doesn't, then maybe it's a bug
ygrek_ has joined #ocaml
Haudegen has joined #ocaml
<zozozo>
I forgot to read the README, but it still doesn't work (or did I miss some parameter to set for it to be activated ?)
sh0t has joined #ocaml
MasseR has joined #ocaml
mk270 has joined #ocaml
<flux>
nope, seems like it should work out-of-the-box
<flux>
so perhaps it's time to submit an issue
<flux>
or highlight def` :)
antegallya has joined #ocaml
<zozozo>
alright, let's do it
<zozozo>
after looking at closed issues, I tried adding 'EXT nonrec'to the .merlin and that fixed it
<flux>
ah, I didn't read/remember the whole readme part :)
amirmc has joined #ocaml
<flux>
I just read '..a few common extensions are hardcoded' and read from there on..
<flux>
but as it's in the mainline now, perhaps it could be enabled by default
zpe has joined #ocaml
swgillespie has joined #ocaml
creichert has joined #ocaml
ncthom91 has joined #ocaml
ggole has quit []
antegallya has quit [Ping timeout: 240 seconds]
Anarchos has joined #ocaml
amirmc has quit [Quit: Leaving.]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
creicher` has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
creichert has quit [Ping timeout: 244 seconds]
slash^ has quit [Read error: Connection reset by peer]
ceryo has quit [Ping timeout: 260 seconds]
Kakadu has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
manizzle has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
tennix has joined #ocaml
fraggle_ has joined #ocaml
tennix has quit [Ping timeout: 240 seconds]
manizzle has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
sh0t has quit [Ping timeout: 265 seconds]
shinnya has joined #ocaml
ceryo has joined #ocaml
arj has quit [Quit: Leaving.]
averell has quit [Ping timeout: 246 seconds]
manizzle has joined #ocaml
averell has joined #ocaml
Shark8 has left #ocaml [#ocaml]
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
_andre has quit [Quit: leaving]
iZsh has quit [Ping timeout: 260 seconds]
iZsh has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
averell has quit [Ping timeout: 258 seconds]
antegallya has joined #ocaml
antegallya has quit [Client Quit]
Haudegen has joined #ocaml
paddymahoney has quit [Read error: Connection reset by peer]
TheLemonMan has joined #ocaml
averell has joined #ocaml
manud has joined #ocaml
iZsh has quit [Ping timeout: 244 seconds]
kolko_ has quit [Read error: Connection reset by peer]
iZsh has joined #ocaml
zpe has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
ygrek_ has quit [Ping timeout: 240 seconds]
swgillespie has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
Haudegen has quit [Ping timeout: 265 seconds]
ygrek_ has joined #ocaml
Haudegen has joined #ocaml
jeffmo has quit [Quit: jeffmo]
tmtwd has quit [Ping timeout: 256 seconds]
martinium has joined #ocaml
tennix has joined #ocaml
tennix has quit [Changing host]
tennix has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
tennix has quit [Ping timeout: 252 seconds]
foocraft has joined #ocaml
lobo has quit [Quit: leaving]
tmtwd has joined #ocaml
foocraft has quit [Remote host closed the connection]
tennix has joined #ocaml
tennix has joined #ocaml
tennix has quit [Ping timeout: 260 seconds]
Kakadu has quit [Remote host closed the connection]
rand000 has quit [Quit: leaving]
Denommus has quit [Quit: going home]
swgillespie has joined #ocaml
mk270 has quit [Ping timeout: 255 seconds]
mk270 has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]