<octachron>
Is there any theoretical obstacle for generalizing phantom type? E.g with _t = Eq : ('a,'a) t, Eq, ref 0 is non-generalizable
<octachron>
The usual covariance trick does not work because covariance is tricky with GADT, but what I really want here is just the relaxed value restriction, not covariance.
jc1 has quit [Quit: Leaving.]
<octachron>
Since 'a is not linked to the type of any real variable, I have the impression that it is safe to generalize it. Am I wrong?
<Drup>
can you past the exact expression that is non generalizable ? because "let x = Eq" is fully polymorphic for me
<octachron>
You need to had the ref 0 part which makes (x,y) expansive
<Drup>
I see
Kakadu has joined #ocaml
<Drup>
let z = ref 0 ;;
<Drup>
(Eq, z)
<Drup>
polymorphic.
ddosia has joined #ocaml
<octachron>
Yes. But let c = let z=ref 0 in (Eq, z) : monomorphic
<Drup>
Yeah, I'm not sure you will have a solution
<Drup>
ask gasche.
<adrien_oww>
queue!
<adrien_oww>
I'm already in line for the questions
reynir is now known as ryanair
ryanair is now known as reynir
koderok has joined #ocaml
ontologiae has joined #ocaml
sagotch has joined #ocaml
_0xAX has joined #ocaml
thomasga has quit [Quit: Leaving.]
charpi has joined #ocaml
<sagotch>
I think I already solved this issue this summer, but I can not remember how (and I am not sure I really solved the problem) -> Error: Error on dynamically loaded library: /home/ju/.opam/4.02.0/lib/llvm/dllllvm.so: /home/ju/.opam/4.02.0/lib/llvm/dllllvm.so: undefined symbol: LLVMGetFirstUse
<sagotch>
nope, and removing all the --cc* stuff produce exactly the same error
<adrien>
but where is your -cclib gone?
<sagotch>
--cclib before/after other --ccopt or nowhere produces the same message (editied output line)
thomasga has quit [Quit: Leaving.]
willy_ has joined #ocaml
wwilly has quit [Ping timeout: 272 seconds]
<sagotch>
-noautolink seems to fix the problem. Thank for your time
thomasga has joined #ocaml
thomasga has quit [Client Quit]
thomasga has joined #ocaml
tane has joined #ocaml
BitPuffin has joined #ocaml
abbe has quit [Ping timeout: 260 seconds]
dsheets has joined #ocaml
thomasga has quit [Ping timeout: 272 seconds]
jlouis_ is now known as jlouis
abbe_ has joined #ocaml
englishm has joined #ocaml
thomasga has joined #ocaml
_andre has joined #ocaml
thomasga has quit [Quit: Leaving.]
igstan has joined #ocaml
thomasga has joined #ocaml
igstan has quit [Client Quit]
divyanshu__ has joined #ocaml
ygrek_ has quit [Ping timeout: 246 seconds]
MercurialAlchemi has quit [Read error: Connection reset by peer]
MercurialAlchemi has joined #ocaml
divyanshu__ is now known as divyanshu
hhugo has quit [Quit: Leaving.]
<jpdeplaix>
sagotch: wired :/
<sagotch>
why?
<jpdeplaix>
weird*
thomasga has quit [Quit: Leaving.]
<sagotch>
Actually, I have very few .so in llvmlib directory, while .a are available for every module (or a lot of module, at least).
willy_ has quit [Ping timeout: 245 seconds]
wwilly has joined #ocaml
<sagotch>
I do not know if it is a problem with my installation or if it is supposed to be like that.
aubergines has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
tac_ has joined #ocaml
siddharthv is now known as siddharthv_away
gperetin has quit [Ping timeout: 260 seconds]
esden has quit [Ping timeout: 260 seconds]
charpi has quit [Remote host closed the connection]
gperetin has joined #ocaml
esden has joined #ocaml
ygrek_ has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
fold has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
englishm has quit [Ping timeout: 246 seconds]
zozozo_ is now known as zozozo
q66 has joined #ocaml
fold has quit [Ping timeout: 246 seconds]
tac_ has quit [Ping timeout: 272 seconds]
koderok has left #ocaml [#ocaml]
thomasga has joined #ocaml
tac_ has joined #ocaml
WraithM has joined #ocaml
<sagotch>
jpdeplaix: Error: Error while linking /home/ju/.opam/4.02.0/lib/llvm/llvm.cma(Llvm): The external function `llvm_global_succ' is not available
<sagotch>
I looked into soruces
<sagotch>
there is no such method defined
<adrien>
did you change system llvm without rebuild your bindings?
<sagotch>
(and it is the same with some other global_ methods)
<sagotch>
hum... maybe.
englishm has joined #ocaml
cago has joined #ocaml
BitPuffin has quit [Ping timeout: 272 seconds]
topher_b has joined #ocaml
topher_b has quit [Client Quit]
topher_b has joined #ocaml
mdenes3 has quit [Ping timeout: 260 seconds]
charpi has joined #ocaml
mdenes3 has joined #ocaml
mfp_ is now known as mfp
BitPuffin has joined #ocaml
<sagotch>
It seems that these functions really are missing. Maybe I am misunderstanding something, is there anywhere else they could be if not in bindings/ocaml/llvm/llvm_ocaml.c?
<adrien>
considering their name it's doubtful
<adrien>
actually it looks like it comes from the bindings
koderok has joined #ocaml
<sagotch>
I found functions in Core.h and Core.cpp named LLVMGet{Last,Next,...}Global, which *may* be what ocaml bindings should call.
avsm has joined #ocaml
jonludlam has joined #ocaml
<sagotch>
but there is no such reference in bindings/ocaml
Hannibal_Smith has joined #ocaml
Hannibal_Smith has left #ocaml [#ocaml]
<sagotch>
(in 3.5.0)
ollehar has joined #ocaml
thomasga1 has joined #ocaml
thomasga has quit [Read error: Connection reset by peer]
<ollehar>
how about making a web framework in OCaml which uses Lua as configuration language?
<Drup>
why the hell would you use lua as a configuration language ?
<Drup>
sagotch: I just took a look at the binding
<Drup>
indeed, it seems the llvm_global_* functions are missing
topher_b has quit [Quit: topher_b]
<nicoo>
ollehar: Why implement it in OCaml, then ?
<ollehar>
nicoo: because OCaml is faster than Lua.
<ollehar>
Maybe it could be like the Phalcon php framework, which is implemented in C as a php extension
<companion_cube>
:(
<nicoo>
And what would be the benefit of using Lua for configuration ? Aside from losing any kind of static guarantee about the configuration
<ollehar>
Drup: because the syntax is easier than XML? and more powerful than JSON etc.
<ollehar>
nicoo: dynamic typing but still with speed, since Lua is extended with OCaml. And, compared to Phalcon, easier and more secure to maintain because it's not made in C.
topher_b has joined #ocaml
<tac_>
Lua is notable for being one of the easier languages to sandbox
<ollehar>
or maybe it's better called a lua web framework, implemented in OCaml
<tac_>
If you really want to stuff your configuration files with logic, then Lua isn't the world's worst choice.
<tac_>
(Although probably not the best, either)
* companion_cube
wants a web framework in prolog embedded into forth
<companion_cube>
:>
<ollehar>
tac_: yeah, I already did it with my project tonesoftales.com (programming multiplayer games online)
<nicoo>
tac_: Yes, but having to call through the Lua intepreter every time you need to dispatch a query doesn't sound so great, performance-wise
<tac_>
companion_cube: insufficiently metacircular. Please embed a web framework in the web.
<companion_cube>
the web is my framework !!!
<Drup>
ollehar: and why not just do it in ocaml ?
<ollehar>
nicoo: compared to other scripting lanugage (php, python, ruby, perl), it might still be good.
thomasga1 has quit [Read error: Connection reset by peer]
thomasga has joined #ocaml
<ollehar>
Drup: because it's impossible, it seems, to convince web folks to start to use reasonable languages ;)
<Drup>
ollehar: they will still need to write some real code ...
<Drup>
I really, really don't see the point.
<Drup>
if it's just for the sake "look, it's not a completly alien language, you can script it with lua!"
<Drup>
then, no, I won't allocate any time ever to do it
sepp2k has joined #ocaml
<ollehar>
Drup: oh no, say it's a lua framework made in ocaml
<Drup>
(especially since we can almost script ocsigen configuration in ocaml now)
<ollehar>
Drup: really?
<Drup>
(the pull-request is not yet merged, but it's almost ready)
<Drup>
dinosaure did a great job on this
<Drup>
(that reminds me I should review this pull request ...)
samrat has joined #ocaml
cago has left #ocaml [#ocaml]
topher_b has quit [Quit: topher_b]
topher_b has joined #ocaml
PM has quit [Ping timeout: 250 seconds]
darkf has quit [Quit: Leaving]
_0xAX has quit [Remote host closed the connection]
WraithM has quit [Ping timeout: 272 seconds]
koderok has quit [Ping timeout: 245 seconds]
dinosaure has quit [Ping timeout: 250 seconds]
charpi has quit [Remote host closed the connection]
charpi has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
charpi has quit [Remote host closed the connection]
charpi has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
<sagotch>
(Note: if someone else looks for llvm_{first/next/last/prev}_* function, one day, it actually IS in binding and generated by DEFINE_ITERATORS macro)
charpi has quit [Ping timeout: 245 seconds]
PM has joined #ocaml
koderok has joined #ocaml
koderok has quit [Remote host closed the connection]
charpi has joined #ocaml
charpi has quit [Remote host closed the connection]
charpi has joined #ocaml
thomasga has quit [Quit: Leaving.]
sagotch has quit [Remote host closed the connection]
shinnya has joined #ocaml
thomasga has joined #ocaml
amirmc has joined #ocaml
charpi has quit [Ping timeout: 272 seconds]
charpi has joined #ocaml
tobiasBora has joined #ocaml
charpi has quit [Remote host closed the connection]
WraithM has joined #ocaml
avsm has quit [Quit: Leaving.]
ollehar has joined #ocaml
tobiasBora has quit [Quit: Konversation terminated!]
avsm has joined #ocaml
bytbox has joined #ocaml
topher_b has quit [Quit: topher_b]
hhugo has joined #ocaml
bytbox has quit [Remote host closed the connection]
philtom has joined #ocaml
stevej has joined #ocaml
ollehar has quit [Ping timeout: 255 seconds]
thomasga has quit [Quit: Leaving.]
ollehar has joined #ocaml
ygrek_ has quit [Ping timeout: 255 seconds]
ollehar has quit [Ping timeout: 246 seconds]
ollehar has joined #ocaml
dinosaure has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
philtom has quit [Ping timeout: 246 seconds]
ollehar has joined #ocaml
morphles has joined #ocaml
troutwine_away is now known as troutwine
rgrinberg has joined #ocaml
ollehar has quit [Ping timeout: 258 seconds]
tobiasBora has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
avsm has quit [Quit: Leaving.]
aubergines has quit [Quit: leaving]
dinosaure has quit [Read error: Connection reset by peer]
ollehar has joined #ocaml
pminten has joined #ocaml
thomasga has joined #ocaml
troutwine is now known as troutwine_away
AltGr has left #ocaml [#ocaml]
octachron has quit [Quit: Leaving]
shinnya has quit [Ping timeout: 246 seconds]
ollehar has quit [Ping timeout: 272 seconds]
ontologiae has quit [Ping timeout: 258 seconds]
ollehar has joined #ocaml
bytbox has joined #ocaml
bytbox has quit [Remote host closed the connection]
avsm has joined #ocaml
NoNNaN has quit [Quit: []]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
NoNNaN has joined #ocaml
NoNNaN has quit [Client Quit]
Mike-Jr has joined #ocaml
<Mike-Jr>
Hi, I have ocamlfind installed , but when building my project, I get "ocamlfind not found"
<Mike-Jr>
any idea?
<Kakadu>
wrong PATHs
<Mike-Jr>
how to set the path?
<Drup>
Mike-Jr: do you use opam ?
<Mike-Jr>
yes
<Drup>
read the opam instalation instruction again, carefully :)
MercurialAlchemi has quit [Ping timeout: 272 seconds]
<Mike-Jr>
you mean, installing a package using opam?
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
<ggole>
Did you install ocamlfind via opam?
<Mike-Jr>
yes
<Mike-Jr>
as I remember
<ggole>
Did you do eval `opam config env` as it (should have) instructed?
<Drup>
Mike-Jr: you probably forgot to add "eval `opam config env`" to your bashrc
<Mike-Jr>
I have
<ggole>
OK, good: now are you building your project in that environment? eg, a bash shell.
<Mike-Jr>
and I can invoke ocamlfind in command line
<Mike-Jr>
yes
<ggole>
Seems likely to be an environment visibility problem, eg, the bashrc is not being used to set the environment of your desktop
<Mike-Jr>
how I can check it?
jao` is now known as jao
<Drup>
ooh, it's only when building
octachron has joined #ocaml
<Drup>
Mike-Jr: if you are using oasis, do a distclean
<Mike-Jr>
distclean, not setup-clean. Is that right?