__DL__ changed the topic of #ocaml to: OCaml 3.09.0 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/
tom_p has joined #ocaml
smimou has quit ["bli"]
ski has joined #ocaml
BlueBlazer has joined #ocaml
the_ez has quit []
ski has quit [Read error: 110 (Connection timed out)]
ski has joined #ocaml
MisterC has quit ["Client exiting"]
quamaretto has joined #ocaml
quamaretto has quit [Client Quit]
ezraburgh has joined #ocaml
ezraburgh has quit []
ezraburgh has joined #ocaml
Smerdyakov has joined #ocaml
Raziel has quit ["Yo soy goma. Tú eres cola."]
malc_ has quit [Read error: 110 (Connection timed out)]
BlueBlazer has left #ocaml []
Raziel has joined #ocaml
ezraburgh has quit []
m3ga has joined #ocaml
m3ga has quit [Client Quit]
_jeremy_c_ has joined #ocaml
Smerdyakov has quit ["gone"]
kryptt has joined #ocaml
pango_ has joined #ocaml
_jeremy_c_ has quit [Read error: 104 (Connection reset by peer)]
pango has quit [Read error: 110 (Connection timed out)]
<jeremy_c> Is ocamlmklib gone ?
kryptt has quit ["Download Gaim: http://gaim.sourceforge.net/"]
__DL__ has quit [Remote closed the connection]
m3ga has joined #ocaml
shirogane has quit [Read error: 104 (Connection reset by peer)]
m3ga has quit ["disappearing into the sunset"]
BlueBlazer has joined #ocaml
humasect has quit [Read error: 110 (Connection timed out)]
<flux__> rongenre, btw, did you line buffering code use Buffer.clear or Buffer.reset? the former is the fast one ;)
Raziel has quit ["Yo soy goma. Tú eres cola."]
Raziel has joined #ocaml
BlueBlazer has left #ocaml []
Submarine has joined #ocaml
<rongenre> I believe I did reset.. I need to go back to that code
pango_ has quit [Read error: 104 (Connection reset by peer)]
pango has joined #ocaml
humasect has joined #ocaml
MisterC has joined #ocaml
__DL__ has joined #ocaml
bluestorm has joined #ocaml
__DL__ has quit ["Bye Bye"]
__DL__ has joined #ocaml
malc_ has joined #ocaml
smimou has joined #ocaml
ksd has quit [kornbluth.freenode.net irc.freenode.net]
juri has quit [kornbluth.freenode.net irc.freenode.net]
ksd has joined #ocaml
juri has joined #ocaml
mkhl has joined #ocaml
bluestorm has quit [Remote closed the connection]
vodka-goo has joined #ocaml
malc_ has quit ["leaving"]
Submarine has quit [Read error: 110 (Connection timed out)]
mkhl has quit []
_DL_ has joined #ocaml
<jeremy_c> if I type ocamlc -o test FileHelper.ml program.ml all works. However, if I type ocamldoc -html -d html FileHelper.ml program.ml, ocamldoc processes FileHelper.ml ok, but when it comes to program.ml, it states: Unbound value FileHelper.read_file ... Any thoughts?
__DL__ has quit [Read error: 110 (Connection timed out)]
<jeremy_c> hm. seems I have to have the compiled code in the dir.
<dylan> yes, you do.
<dylan> I believe the ocamldoc manpage mentions that?
<jeremy_c> dylan: I must have missed it :-/
<dylan> I just use "make doc" and let ocamlmakefile take care of it. :)
<jeremy_c> dylan: I think I am going to move to OCamlMakefile ... It indeed looks *very* handy.
<jeremy_c> I am having a prob w/OCamlMakefile though on windows. It seems ocamlmklib does not exist on the windows install of ocaml :-/
<dylan> duplicating its functionality in my own pet make replacement is quite a task..
<jeremy_c> dylan: yes, it's quite a make file.
<dylan> Too bad ocamlmakefile doens't work with make -j
<jeremy_c> dylan: what kind of things do you use Ocaml for? I'm just learning and using it for a simple utility for network access to a windows base command line program to help me learn it.
<dylan> currently; I use it for making interpreters, and a chat server. I've also written a few tiny "script-like" things in it.
malc_ has joined #ocaml
<dylan> Oh. and of course, a CGI library. The first thing I write in any language is a CGI library. Helps me figure out if I like it or not.
Bigb[a]ng is now known as Bigbang
<dylan> (This is perhaps why I haven't learned prolog or postscript yet...)
<jeremy_c> Hm, that's a bummer. I converted my simple Makefile to use OCamlMakefile and it doesn't generate docs :-/ The resulting docs are empty.
<dylan> hmm.
<dylan> you need to specify either INTERFACES or DOCS
<jeremy_c> it compiles it fine and the result works.
* jeremy_c reading README now :-)
<dylan> rather, DOC_FILES.
Submarine has joined #ocaml
* dylan loves ounit.
<dylan> composable tests mean I can write tests in my DSL and have them be part of my normal test suite. :-D
vodka-goo has quit ["reboot"]
<jeremy_c> Does anyone else have probs with Tuareg mode not updating font-lock coloring after adding a comment? For instance "let add a b = a + b ;;" and then above that add (* Hello, I am a comment *) ... For me, the let add a b ... line will switch to the comment face upon adding (* ... then when adding *) it never switches out of the comment face. If I manually edit that line, it will change to correct coloring.
<pango> jeremy_c: yes, but I live with it
<jeremy_c> pango: OK, just wondering if it was a local problem w/my emacs or not. I could not reproduce it in other modes, so I kinda thought it was tuareg :-/
<humasect> bind key font-lock-refontify..
<humasect> (font-lock-fontify-buffer)
<jeremy_c> pango: what version of emacs are you running? I sent the author a bug report and he responded already. He said he experiences it as well on GNU Emacs but not XEmacs. He would like to know my version of Emacs, I figured I'd forward yours too to give him more info, if you would like.
Bigbang is now known as Bigb[a]ng
Smerdyakov has joined #ocaml
<humasect> if you would like to report an additional version of gnu emacs, 22.0.50.1 (meadow 3.00)
<jeremy_c> humasect: hm. that's the exact version I am running :-) (don't know what the meadow 3.00) is though.
<jeremy_c> humasect: the CVS copy of Emacs w/GTK support looks pretty good, I think.
<humasect> ahh. it is for international support with windows
<humasect> ok i think meadow uses native win32 controls. though under win32 is the reason meadow is needed in the first place
<jeremy_c> well, I'll let everyone know what he replies.
<humasect> "So i've added a call to font-lock-fontify-buffer ... here and here"
<humasect> thanks
<pango> jeremy_c: GNU Emacs 21.4.1
<jeremy_c> pango: what OS?
<pango> Linux Debian Sarge
<jeremy_c> pango: cool. thanks. Maybe he can get it fixed for us :-)
__DL__ has joined #ocaml
bluestorm has joined #ocaml
_DL_ has quit [Read error: 110 (Connection timed out)]
ski has quit [Read error: 110 (Connection timed out)]
<jeremy_c> Albert is certainly right, the problem does not occur in XEmacs, only GNU Emacs.
monochrom has joined #ocaml
__DL__ has quit [Read error: 104 (Connection reset by peer)]
__DL__ has joined #ocaml
<flux__> are there people here familiar with model-based testing? I just recently attended a presentation related to those and it was somewhat interesting..
<monochrom> Not familiar, but I have met a bit of it too.
<flux__> basically the idea (atleast of one model-based one for mobile applications) is that you have a state machine 'test'
<flux__> and the testing the walks the state machine over
<flux__> s/the/then/2
<flux__> things like start, create message, remove message, exit program, could be arcs
<Smerdyakov> If you have such a precise model, then static verification should be feasible, so why not do that?
<flux__> I think the point is that the model doesn't need to be that precise
<flux__> if there was a sufficiently precise model, why not generate the software (the skeleton for the software enforcing the model) by using that in the first place?
<Smerdyakov> Because of different concerns that aren't reflected in the model
<flux__> atleast you will be testing the system by using some other means than creating a function that executes some steps in the system
<flux__> for me it seemed interesting in the context of testing a system that has a web-interface
<flux__> so the level is only 'what the user does, sees and expects', not the actual system itself
<flux__> it must be said that the guy who did the presentation, on testing mobile applications, said that infact more bugs were discovered when creating the model, not during tests ;)
<flux__> s/when/while/
Smerdyakov has quit ["brb"]
mkhl has joined #ocaml
Smerdyakov has joined #ocaml
pango has quit ["Leaving"]
pango has joined #ocaml
__DL__ has quit [Read error: 110 (Connection timed out)]
__DL__ has joined #ocaml
Smerdy has joined #ocaml
Smerdyakov has quit [Nick collision from services.]
Smerdy is now known as Smerdyakov
shirogane has joined #ocaml
jeremy_c has quit [Read error: 110 (Connection timed out)]
monochrom has left #ocaml []
jeremy_c has joined #ocaml
<jeremy_c> Is the only purpose for a .mli to provide a interface file for distributing code? For instance, I have a source file FileHelper.ml that contains a few functions, read_file, write_file, write_temp_file, etc... Do I really need a .mli ?
<Smerdyakov> The reason is not fundamentally about "distributing code."
<Smerdyakov> By using interfaces, you avoid needing to recompile client modules when your implementation changes, but your interface remains the same.
<Smerdyakov> Also, the types in the interface provide very good documentation if you do it right.
<jeremy_c> I think I need to go back and understand the compilation process a bit better. I think I have focused on the actual syntax and breezed over the tools.
ski has joined #ocaml
ski_ has joined #ocaml
ski__ has joined #ocaml
ski has quit [Read error: 110 (Connection timed out)]
_JusSx_ has joined #ocaml
rongenre has quit [Remote closed the connection]
shirogane has quit [Remote closed the connection]
bzzbzz has quit [Read error: 110 (Connection timed out)]
bzzbzz has joined #ocaml
Bigb[a]ng is now known as Bigbang
sysfault has joined #ocaml
sysfault has left #ocaml []
bzzbzz has quit [Read error: 110 (Connection timed out)]
<jeremy_c> Can someone look at that? I'm getting an error on compile I don't understand. It's 36 lines long (the program).
<jeremy_c> The simple error message is: This expression has type Postgresql.connection but is here used with type ... I don't understand where I went wrong.
_JusSx_ has quit ["leaving"]
<malc_> jeremy_c: exec invocation
<malc_> jeremy_c: annotate the type of con this will give more clues
<jeremy_c> malc_: I don't understand what you mean.
<malc_> let get_person (con : Postgresql.connection) id =
<jeremy_c> that caused it to compile.
<jeremy_c> Why would ocaml not have picked up the correct type ?
<malc_> i don't know
<malc_> some people here probobly do, but not available at the moment
<jeremy_c> malc_: ok. thanks for your help in getting it to compile.
<malc_> jeremy_c: what's the signature of exec method of Postgresql.connection btw?
Smerdyakov has quit ["Leaving"]
<jeremy_c> method exec : ?expect : result_status list -> string -> result
<malc_> you ignored the result of exec, thus making the type of con incompatible with connection
<malc_> let r : Postgresql.result = con#exec ... in ... would have done it as well, maybe just let r ...
<malc_> this is quite dangerous aspect of O of Caml btw
<jeremy_c> malc_: let r = ... in didn't do it...
vegai has quit [Read error: 110 (Connection timed out)]
<malc_> jeremy_c: let r : Postgresql.result did?
<jeremy_c> malc_: didn't try that. will do now for the fun of it.
<jeremy_c> nope. same error.
<malc_> jeremy_c: then most likely the error stems from the fact that original method has expect as an optional argument not just labeled, though don't take my word on it
<jeremy_c> malc_: k. Appriciate your help with this, I was stuck at the beginning.
<malc_> np
Amorphous has quit [Read error: 104 (Connection reset by peer)]
Amorphous has joined #ocaml
vegai has joined #ocaml
Smerdyakov has joined #ocaml
bluestorm has quit [Remote closed the connection]
vodka-goo has joined #ocaml
vodka-goo has quit ["Connection reset by by pear"]
<jeremy_c> malc_: what would I do for the .mli and that function that takes conn ?? I did this:
<jeremy_c> val get_person : Postgresql.connection -> int -> person
<jeremy_c> That works and everything compiles fine, but ocamldoc does not like it: Unbound type constructor Postgresql.connection
Submarine has quit ["Leaving"]
<jeremy_c> nm. got it.
* jeremy_c going to watch a movie with my two daughters.