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.