<rgrinberg>
lucasem: the compiler has warnings for unused code within functions. But anything that can be exposed in an .mli is probably impossible to detect (as in te case for libraries)
<jcloud>
I suppose the question is really one about GADTs, though.
<jcloud>
Right now the error I get is "This expression has type $0 jsont but an expression was expected of type 'a The type constructor $0 would escape its scope"
<jcloud>
This is referring to "yt" in "Some (List.map (convert yt) ys)"
<jcloud>
Do I need to give some other hint to the compiler to make this work, or is this just impossible?
<jcloud>
oh, there is actually another error in it, sorry. let me fix that
<jcloud>
heh, apparently the (type el) was what it didn't like; instead writing it as "let rec convert : type el. el jsont -> 'a -> el option" worked alright.
MercurialAlchemi has quit [Ping timeout: 258 seconds]
MercurialAlchemi has joined #ocaml
ygrek_ has quit [Ping timeout: 258 seconds]
MasseR has joined #ocaml
mrnugget has quit [Ping timeout: 258 seconds]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
MasseR has quit [Ping timeout: 240 seconds]
moei has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has joined #ocaml
infinity0 has joined #ocaml
MasseR has joined #ocaml
argent_smith has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Simn has joined #ocaml
manizzle has quit [Ping timeout: 240 seconds]
alfredo has joined #ocaml
manizzle has joined #ocaml
jnavila has joined #ocaml
orbifx has joined #ocaml
zpe has joined #ocaml
troydm has quit [Ping timeout: 240 seconds]
zpe has quit [Ping timeout: 260 seconds]
orbifx has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
kakadu has joined #ocaml
AlexDenisov has joined #ocaml
zpe has quit [Remote host closed the connection]
mengu has joined #ocaml
zpe has joined #ocaml
<zozozo>
hannes: I was thinking about writing a small lib defining widgets for notty, and saw that you had some code doing this in jackline, would you be interested in discussing the design of widgets for notty ?
M-ErkkiSeppl has left #ocaml ["Kicked by @appservice-irc:matrix.org"]
na9da[m] has left #ocaml ["Kicked by @appservice-irc:matrix.org"]
larhat has joined #ocaml
fluter is now known as Guest56954
Guest56954 has quit [Killed (cherryh.freenode.net (Nickname regained by services))]
Guest56954 has joined #ocaml
neversaynever has joined #ocaml
silver has joined #ocaml
ohama has quit [Ping timeout: 240 seconds]
ohama has joined #ocaml
yomimono has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
yomimono has quit [Ping timeout: 260 seconds]
<flux>
let rec lazy a = lazy 42 is not allowed ;(.
<def`>
let lazy a = let rec a = lazy 42 in a
dhil has joined #ocaml
<flux>
ok, do this next: let foo xs = let (!) x = Lazy.force x in let rec op i (lazy (ys', l')) = lazy (lazy ((i / !len)::!ys'), lazy (!l' + 1)) and lazy (ys, len) = List.fold_right op xs (lazy (lazy [], lazy 0)) in !ys
<flux>
(I love how let lazy (a, b) = .. is possible)
<def`>
nop :)
mfp has joined #ocaml
dhil has quit [Ping timeout: 268 seconds]
snowcrshd has joined #ocaml
<def`>
gasche: any chance we get a video of the talk on concatenative language you shared on reddit/ocaml?
d0nn1e has quit [Ping timeout: 260 seconds]
d0nn1e has joined #ocaml
yomimono has joined #ocaml
<flux>
I feel like let rec lazy x = .. should be possible just like let rec x () = .. is possible
<flux>
that's a syntactic check, right? might be easy to support?
<flux>
hmph, at least it happens after parsing :)
<def`>
flux: meh, no the problem is semantics
<def`>
what would be the meaning of your code?
<companion_cube>
fiest you let rec, then you unlazy? :)
<theblatte>
My project links with a .o file, and I'd like to load it in the toplevel. Without the .o file everything's peachy, but if I need the .o file then is there a way besides ocamlmktop?
<flux>
and it seems that this fragment of haskell code is difficult to port to ocaml without affecting its structure
<theblatte>
you can #load .cm{o,a}, but not .o's :(
<def`>
theblatte: you have to make a cma file, with a dllstub
<theblatte>
(I'm using Ctypes with stubs generation to create that .o, if that matters)
<theblatte>
yeah, found that as well, but ocamlbuild.ml -> no, thanks
<theblatte>
+my
<def`>
yes, ocamlbuild generally comes with pain. A lot.
<def`>
hmm, .clib might be the solution
octachron has joined #ocaml
sepp2k has joined #ocaml
<theblatte>
def`: ocamlbuild doesn't know what to do with a cul.clib target, what did you have in mind?
<theblatte>
I guess I can run ocamlmklib by hand, it's not a big deal
<def`>
theblatte: I hopped that ocamlbuild could pass c objects to ocamlmklib with some magic but I couldn't do it :(
<theblatte>
I've hoped many things from ocamlbuild over the time...
<theblatte>
;)
<def`>
:)
<theblatte>
def`: after `ocamlfind ocamlmklib -package ctypes.stubs -o cstubs_ml infer/ffi/gen/CStubs.cmo CStubs_c.o` and `#load "cstubs_ml.cma"`, I don't get a CStubs module in utop (Unbound module).
freusque has quit [Quit: WeeChat 1.7]
<theblatte>
in fact, I can't access any modules from #load "foo.cma";; directives, hmm
soupault has quit [Remote host closed the connection]
dtornabene has quit [Quit: Leaving]
myst|fon has quit [Quit: Connection closed for inactivity]
marsam has joined #ocaml
rand__ has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
troydm has joined #ocaml
hugomg has quit [Quit: Ex-Chat]
AlexDenisov has joined #ocaml
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Ping timeout: 264 seconds]
TheLemonMan has joined #ocaml
slash^ has quit [Remote host closed the connection]
sz0 has quit [Quit: Connection closed for inactivity]
kakadu has joined #ocaml
oliver___ has joined #ocaml
oliverfriedmann has joined #ocaml
<oliverfriedmann>
hi there - does anybody have some experience with OASIS and specifying dependencies of other packages like extlib?
<oliverfriedmann>
I'm using BuildDepends: extlib and BuildTools: ocamlbuild in my _oasis file, but running oasis setup, ocaml setup.ml -configure, ocaml setup.ml -build results in "Error: Unbound module ExtList", which means that extlib is not used when trying to build this.
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 240 seconds]
oliver___ has quit [Ping timeout: 260 seconds]
larhat has joined #ocaml
strykerkkd has quit [Quit: Leaving]
orbifx has joined #ocaml
<infinity0>
oliverfriedmann: maybe try `oasis setup-clean` first as well
<oliverfriedmann>
just tried it, makes no difference
<infinity0>
have you installed extlib in opam at least
<oliverfriedmann>
[NOTE] Package extlib is already installed (current version is 1.7.1).
<oliverfriedmann>
the problem seems to be that when running ocaml setup.ml -build, the extlib part is not included ( ~/.opam/system/bin/ocamlfind ocamlc -c -g -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -I tests -o src/data/fSet.cmo src/data/fSet.ml)
mengu has joined #ocaml
<infinity0>
the BuildDepends field is ocamlfind packages iirc, and not opam packages
<infinity0>
not sure how extlib works, myself
snowcrshd has quit [Remote host closed the connection]
<oliverfriedmann>
well, normally, you'd add -package extlib to the mix
dhil has quit [Ping timeout: 256 seconds]
sh0t has quit [Ping timeout: 246 seconds]
larhat1 has joined #ocaml
larhat has quit [Read error: Connection reset by peer]
minn has joined #ocaml
sh0t has joined #ocaml
argent_smith1 has quit [Quit: Leaving.]
_andre has quit [Quit: leaving]
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 258 seconds]
jabroney has quit [Quit: Leaving.]
sh0t has quit [Remote host closed the connection]
two_wheels has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
seangrove has quit [Read error: Connection reset by peer]
average has quit [Remote host closed the connection]
sh0t has joined #ocaml
two_wheels has joined #ocaml
sh0t has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
rand__ has quit [Quit: leaving]
myst|fon has joined #ocaml
silver_ has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
marsam has quit [Remote host closed the connection]
silver has quit [Ping timeout: 264 seconds]
maattdd has joined #ocaml
<octachron>
oliverfriedmann, usual suspects in this situation are either oasis setup.data pointing to wrong opam switch and/or a missing opam $(eval config env)
oliverfriedmann has quit [Remote host closed the connection]
freechips has quit [Quit: WeeChat 1.7]
freechips has joined #ocaml
smondet has quit [Ping timeout: 246 seconds]
octachron has quit [Quit: Leaving]
oliverfriedmann has joined #ocaml
marsam has joined #ocaml
oliverfriedmann has quit [Ping timeout: 260 seconds]
marsam has quit [Read error: Connection reset by peer]
marsam has joined #ocaml
justicefries has left #ocaml [#ocaml]
marsam has quit [Remote host closed the connection]
bungoman_ has joined #ocaml
bungoman has quit [Ping timeout: 246 seconds]
oliverfriedmann has joined #ocaml
spew has joined #ocaml
kakadu has quit [Remote host closed the connection]
larhat has joined #ocaml
larhat1 has quit [Ping timeout: 268 seconds]
<oliverfriedmann>
used opam to switch to newest ocaml, updated the environment, still same result
<rgrinberg>
Shouldn't you put BuildDepends under Library?
<rgrinberg>
and I assume you followed octachron's advice to delete setup.*
<oliverfriedmann>
yes, I deleted all generated files
<oliverfriedmann>
I think you can have a general BuildDepends as well (I think I saw that somewhere in the docs), but even if I put it under the library heading, it doesn't work
<rgrinberg>
Is this an open source project we can have a look at?
al-damiri has quit [Quit: Connection closed for inactivity]
Simn has quit [Read error: Connection reset by peer]
<rgrinberg>
And I assume you ran $ oasis setup after updating _oasis, correct?