flux__ changed the topic of #ocaml to: OCaml 3.09.2 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
EsotericMoniker has left #ocaml []
mikeX has quit ["zzz"]
CosmicRay has quit [Read error: 113 (No route to host)]
shawn has joined #ocaml
khaladan has quit [Read error: 104 (Connection reset by peer)]
ulfdoz has quit [Remote closed the connection]
ulfdoz_ has joined #ocaml
WhatTheDeuce has joined #ocaml
khaladan has joined #ocaml
rillig has joined #ocaml
Smerdyakov has quit [Connection timed out]
Smerdyakov has joined #ocaml
WhatTheDeuce has quit ["Download Gaim: http://gaim.sourceforge.net/"]
Smerdy has joined #ocaml
Smerdyakov has quit [Read error: 110 (Connection timed out)]
chessguy has joined #ocaml
vincenz has joined #ocaml
<vincenz> Anyone up?
<ketty> yes.. :)
<vincenz> question regarding modules
<ketty> mmm?
<vincenz> do modules have access to functions in their surrounding module?
<ketty> yes they do
<vincenz> crap
<vincenz> alright thanks
<ketty> but only the defined functions :)
<vincenz> meaning?
<ketty> not functions coming after the module...
<ketty> :)
<vincenz> ah good :)
<vincenz> and I take it that viceversa
<vincenz> functions coming before modules don't have access to them
<ketty> yes
<vincenz> and functions can not access functions defined before
<ketty> indeed
<vincenz> so basically straight topdown
<vincenz> good :)
<vincenz> perfect indeed
<vincenz> been a while since I've used ocaml so I forgot
<ketty> okey..
* vincenz has moved onto haskell where declarations are auto recursive
<vincenz> I'm implementing a mini language close to ml
<ketty> ahh?
<vincenz> yup yup
<vincenz> parser and type inference are nearly functional, just have to add some extra clauses
<vincenz> just tweaking the name resolver a bit
<vincenz> well parser is done, actually
<ketty> fun ^^
* vincenz ponders
<vincenz> so what if you have
<vincenz> module A
<vincenz> module B
<vincenz> foo x = A.bar x
<ketty> foo?
<vincenz> let foo x =
<ketty> ok :)
<vincenz> or for that matter
<vincenz> let foo x = ..
<vincenz> module B
<vincenz> let foo x = ..
<ketty> mm... yes?
<vincenz> don't they clash?
<ketty> clash?
<vincenz> yes
<vincenz> module A
<vincenz> let foo x =
<vincenz> module B
<vincenz> let foo x =
<ketty> there is no such thing as a clash in ocaml :)
<vincenz> hmm
<vincenz> module A
<vincenz> let foo x -
<vincenz> let foo x =
<ketty> but the previous definitions are shadowed...
<vincenz> ah alright
* vincenz hmms
<vincenz> shadowing is icky
* vincenz prefers clashing
<ketty> ?
<ketty> me dont..
<vincenz> ketty: it can lead to more bugs imo
<ketty> hmm...
<vincenz> aha!
* vincenz has the solution
<ketty> ?
<vincenz> modules can't access stuff defined out side them
<ketty> ?
<vincenz> only what's inside, and fully qualified starting from their position
<vincenz> module A
<vincenz> foo
<vincenz> module B
<vincenz> bar
<vincenz> module C
<vincenz> plop
<vincenz> B can access bar and C.plop
<vincenz> A can access foo, B.bar and B.C.plop
<vincenz> C can only access plop
<vincenz> \o/
<ketty> indeed..
<vincenz> and then
<vincenz> I allow import rules
<vincenz> so that I can auto import a prelude
jcreigh has joined #ocaml
bluestorm has quit ["Konversation terminated!"]
Smerdy has quit ["Leaving"]
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- The professional IRC Client"]
tristram has joined #ocaml
piggybox has quit [Connection timed out]
ski has quit [Read error: 110 (Connection timed out)]
ski has joined #ocaml
love-pingoo has joined #ocaml
ulfdoz_ is now known as ulfdoz
szlo has joined #ocaml
delamarche has joined #ocaml
ramza3__ has joined #ocaml
sieni_ is now known as sieni
love-pingoo has quit ["Connection reset by by pear"]
jcreigh has quit ["Do androids dream of electric sheep?"]
_jol_ has joined #ocaml
sieni has quit [Success]
pango is now known as pangoafk
pangoafk is now known as pango
ski has quit [Read error: 110 (Connection timed out)]
ski has joined #ocaml
_jol__ has joined #ocaml
love-pingoo has joined #ocaml
_jol_ has quit [Read error: 110 (Connection timed out)]
_jol__ has quit ["leaving"]
Sir_Diddymus has joined #ocaml
revision17_ has joined #ocaml
cyyoung has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
girodt has joined #ocaml
<girodt> hi there.
<love-pingoo> hi
<girodt> I'm trying to build some of my code to use it as a lib in one dir, and then compile my programs in other directories, setting "ocamlc -I ../lib" in my Makefile. But it says "Error while linking main.cmo: Reference to undefined global `Util'"
<girodt> do I have to generate .mli files so it can behave as a lib ?
<girodt> or any makefile tips to build a bunch of .ml files as a lib ?
<love-pingoo> you have to give the ml (or cmo) files in the right order to the compiler
<love-pingoo> you need a command like: ocaml -I ../lib ../lib/a.cmo ../lib/ab.cmo here.cmo -o app
<love-pingoo> does this help ?
<girodt> a bit. but :
<girodt> i find it weird to have to declare all dependencies like this ...
<girodt> rather than just putting -I ../lib
<girodt> as everything I need is in this dir.
<girodt> and I tried something else :
<girodt> launching "ocaml -I ../lib", and trying to play around with Util.
<girodt> like :
<girodt> open Util ;;
<girodt> and then "euclidian" which is supposed to be a function of Util
<girodt> and it says again Reference to undefined global `Util'
<love-pingoo> ocaml -I ../lib util.cmo
<love-pingoo> you have to load the object
<girodt> seems like I'm missing something. I don't have to manually link everything when I use libs that are in /usr/lib/ocaml, so why would I have to do it now ?
<love-pingoo> it is not as simple as one might expect, I agree
<love-pingoo> girodt: good point.. I don't know at which level these are "implicitly" included, but I really don't think you can get the same for your libs using ocamlc/ocaml
<love-pingoo> However, ocamlfind provides a simpler interface
<flux__> hmm
<love-pingoo> once you have an ocamlfind package you can say: ocamlfind ocamlc -pakage foo -linkpkg mycode.ml -o app, and ocamlfind will include the foo modules and their dependencies
<flux__> girodt, you do need to link stuff like str and unix explicitly
<girodt> flux__: true.
<flux__> other stuff is in the runtime library that is linked automatically
<girodt> okay I found how to do it !
<girodt> in my makefile, i've got a line NNSOURCES
<girodt> In it, I have to declare all the .ml files used as libs
<love-pingoo> I forgot the syntax for the type of a functor
Tachyon76 has joined #ocaml
<love-pingoo> got it
<girodt> got to go. bye and thanks
girodt has quit ["leaving"]
ski has quit [Read error: 110 (Connection timed out)]
ski has joined #ocaml
slipstream-- has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
mikeX has joined #ocaml
Snark has joined #ocaml
rillig has quit ["exit(EXIT_SUCCESS)"]
romildo has joined #ocaml
CosmicRay has joined #ocaml
CosmicRay has quit [Client Quit]
CosmicRay has joined #ocaml
<romildo> Hi.
<ketty> hello..
<romildo> Regarding the patch for native code function backtraces for ocaml (http://caml.inria.fr/mantis/view.php?id=3885), is it going to be included in the next release?
<ketty> i don't know, but i do hope so.. ^^
<romildo> Is there a version of the patch that aplies cleanly to the latest release of ocaml (3.09.2)?
<romildo> The one from the bug report fails on a hunk.
<ketty> :(
mikeX_ has joined #ocaml
mikeX has quit [Read error: 110 (Connection timed out)]
Tachyon76 has quit [Remote closed the connection]
dylan_ is now known as dylan
Bigb[a]ng is now known as Bigbang
romildo has quit ["Leaving"]
Snark has quit [Remote closed the connection]
CosmicRay has quit [Read error: 110 (Connection timed out)]
CosmicRay has joined #ocaml
ramza3__ has left #ocaml []
Smerdyakov has joined #ocaml
khaladan has quit [Read error: 104 (Connection reset by peer)]
ski has quit [Read error: 110 (Connection timed out)]
ski has joined #ocaml
mikeX_ is now known as mikeX
love-pingoo has quit ["Leaving"]
Snark has joined #ocaml
chessguy has joined #ocaml
CosmicRay has quit ["Client exiting"]
mikeX has quit ["bbl"]
Sir_Diddymus has quit [Read error: 110 (Connection timed out)]
mikeX has joined #ocaml
romildo has joined #ocaml
shawn has quit ["This computer has gone to sleep"]
<romildo> Is it mandatory to declare a record type so that a record expression (of that type) can be written?
<romildo> For instance, ocaml seems to not accept the expression { x = 2; y = 3} without a prior declaration of a type such as type point = { x: int; y: int}.
Bigbang is now known as Bigb[a]ng
_fab has joined #ocaml
khaladan has joined #ocaml
finelemon has joined #ocaml
finelemo1 has joined #ocaml
Bigb[a]ng is now known as Bigbang
finelemo2 has quit [Read error: 110 (Connection timed out)]
finelemon has quit [Read error: 110 (Connection timed out)]
<Snark> romildo: looks like you know the answer, then ?
AOXIIBOO has joined #ocaml
CosmicRay has joined #ocaml
pango is now known as pangoafk
shawn has joined #ocaml
_fab has quit [Read error: 104 (Connection reset by peer)]
jcreigh has joined #ocaml
piggybox has joined #ocaml
DRMacIver has left #ocaml []
_fab has joined #ocaml
pangoafk is now known as pango
shawn has quit [Connection timed out]
shawn has joined #ocaml
mikeX has quit ["leaving"]
masteraka has joined #ocaml
jcreigh has quit [Read error: 110 (Connection timed out)]
CosmicRay has quit ["Client exiting"]
masteraka has quit [Remote closed the connection]
ski has quit [Read error: 104 (Connection reset by peer)]
gim has quit ["shutdown"]
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- The professional IRC Client"]
ski has joined #ocaml
_fab has quit [Read error: 104 (Connection reset by peer)]
bohanlon has quit [Read error: 113 (No route to host)]
_fab has joined #ocaml
AOXIIBOO has quit ["Quitte"]
menace has joined #ocaml
Snark has quit ["Leaving"]
Tachyon76 has joined #ocaml
Tachyon76 has quit [Client Quit]
Bigbang is now known as Bigb[a]ng
love-pingoo has joined #ocaml
romildo has quit ["Leaving"]
love-pingoo has quit ["Connection reset by by pear"]
chessguy has joined #ocaml
bohanlon has joined #ocaml
ketty has quit [Read error: 104 (Connection reset by peer)]
tristram has quit [Read error: 110 (Connection timed out)]
ketty has joined #ocaml
bohanlon has quit ["Upgrading irssi"]
bohanlon has joined #ocaml
rillig has joined #ocaml
masteraka has joined #ocaml
chessguy has quit [" Like VS.net's GUI? Then try HydraIRC -> http://www.hydrairc.com <-"]
CosmicRay has joined #ocaml
CosmicRay has quit [Remote closed the connection]
_fab has quit [Remote closed the connection]
rillig has quit ["exit(EXIT_SUCCESS)"]