00:21
lorph has joined #ocaml
00:31
<
lorph >
how do I know what operations a Set supports. I made a set using type int, and I see a large list of functions, but am not sure what they all do.
00:34
<
Smerdyakov >
Have you read the manual pages?
00:34
<
lorph >
I"m looking at module Set, and it only shows 4 signatures
00:35
<
Smerdyakov >
There are more hyperlinks there than you think. :)
00:35
<
lorph >
oh ok, they don't have underlines on them, so I just thought it was syntax highlighting
00:39
Axioplase is now known as Axioplase_
00:42
hsuh has joined #ocaml
00:51
<
fremo >
what's the use of Set ?
00:51
<
Smerdyakov >
Have you read the manual pages?
00:52
<
fremo >
the one cited just here, yes,
00:52
<
fremo >
maybe not all
00:52
<
Smerdyakov >
You don't understand what "the set data structure" is?
00:52
<
fremo >
neither ordered type
00:53
<
Smerdyakov >
Like sets from math
00:53
<
fremo >
ho, that's why I dont understand it
00:53
<
Smerdyakov >
If you didn't understand the message before, you need to follow the links from any blue text on the page.
00:53
<
Smerdyakov >
They go to further signatures.
00:54
jeddhaberstro has joined #ocaml
00:55
* fremo
shouldn't ask after 3 in the morning...
01:21
pattern has joined #ocaml
01:31
coucou747 has quit [Read error: 113 (No route to host)]
01:49
sporkmonger has joined #ocaml
01:54
ad_ has joined #ocaml
02:41
pantsd has joined #ocaml
02:59
hsuh has quit [Remote closed the connection]
03:06
jeddhaberstro has quit []
03:08
pattern has quit [Read error: 110 (Connection timed out)]
03:09
threeve has joined #ocaml
03:42
prince has quit [Client Quit]
03:53
ad_ has left #ocaml []
03:56
<
palomer >
how do I destroy an window?
03:56
<
palomer >
gobj#destroy?
04:02
<
thelema >
Palace_Chan: sounds right to me.
04:02
<
thelema >
gobj#destroy ()
04:06
pattern has joined #ocaml
04:06
threeve has quit []
04:13
rhar has quit ["Leaving"]
04:13
pantsd has quit [Remote closed the connection]
04:28
rby has joined #ocaml
04:28
Associat0r has joined #ocaml
04:31
pattern has quit [Read error: 110 (Connection timed out)]
04:47
sporkmonger has quit []
05:02
struk_atwork2 has joined #ocaml
05:13
johnnowak has joined #ocaml
05:17
vixey has quit ["Leaving"]
05:20
struk_atwork has quit [Read error: 110 (Connection timed out)]
05:26
pastasauce has joined #ocaml
05:31
thelema has quit [Read error: 104 (Connection reset by peer)]
05:33
pastasauce has quit [Client Quit]
05:33
pastasauce has joined #ocaml
05:54
pattern has joined #ocaml
06:06
gdmfsob has joined #ocaml
06:21
Palace_Chan has quit [Client Quit]
06:36
Submarine has joined #ocaml
06:42
olgen has joined #ocaml
06:53
Palace_Chan has joined #ocaml
07:08
Palace_Chan has quit [Client Quit]
07:17
filp has joined #ocaml
07:40
m3ga has joined #ocaml
07:58
<
flux >
idea I just got: findlib could, upon ocamlfind install, check if there are any dependant modules, and give a note that they may need rebuilding
07:58
<
flux >
bonus points for actually checking if they do have an interface dependency
08:10
coucou747 has joined #ocaml
08:23
OChameau has joined #ocaml
08:34
marmotine has joined #ocaml
08:36
Axioplase_ is now known as Axioplase
09:21
jlouis has joined #ocaml
09:30
Yoric[DT] has joined #ocaml
09:37
Submarine has quit [Read error: 110 (Connection timed out)]
09:55
rmns has joined #ocaml
09:55
Snark_ has joined #ocaml
09:59
CoffeeBuzz has joined #ocaml
10:25
petchema_ has quit [Read error: 110 (Connection timed out)]
10:38
Yoric[DT] has quit ["Ex-Chat"]
10:57
CoffeeBuzz has quit ["Leaving"]
11:09
vixey has joined #ocaml
11:25
m3ga has quit ["disappearing into the sunset"]
11:40
Linktim has joined #ocaml
12:01
vixey has quit ["Leaving"]
12:10
thelema has joined #ocaml
12:24
petchema has joined #ocaml
12:25
johnnowak has quit []
12:37
Linktim_ has joined #ocaml
12:43
pastasauce has quit []
12:45
Linktim_ has quit [Read error: 104 (Connection reset by peer)]
12:56
Linktim has quit [Read error: 113 (No route to host)]
13:03
Linktim has joined #ocaml
13:19
GustNG has joined #ocaml
13:25
struktured_ has quit [Read error: 110 (Connection timed out)]
13:51
longh has joined #ocaml
13:54
GustNG1 has joined #ocaml
14:15
GustNG has quit [Read error: 110 (Connection timed out)]
14:16
razor0 has joined #ocaml
14:19
<
flux >
good evening
14:36
GustNG has joined #ocaml
14:37
<
flux >
..with links to the projects
14:47
GustNG1 has quit [Read error: 110 (Connection timed out)]
14:50
thelema has quit [Read error: 110 (Connection timed out)]
14:52
jonafan has quit [Read error: 110 (Connection timed out)]
15:02
rby has quit ["This computer has gone to sleep"]
15:04
rby has joined #ocaml
15:09
rmns has left #ocaml []
15:15
razor0 has left #ocaml []
15:17
gdmfsob has quit [Read error: 60 (Operation timed out)]
15:24
rby has quit [Read error: 60 (Operation timed out)]
15:25
rby has joined #ocaml
15:40
Anarchos has joined #ocaml
15:40
<
Anarchos >
how to enable the option LOCAL_CALLBACK_BYTECODE in the runtime ?
15:42
rby has quit ["This computer has gone to sleep"]
15:56
Anarchos has quit ["Vision[0.8.5-0418]: i've been blurred!"]
15:57
<
rpg >
i need help with nested ifs
15:58
itewsh has joined #ocaml
15:59
<
rpg >
if a = 1 then let abs n = if b > 1 then 2 else if b < 1 then 3 else 0 ; else if a = 2 then let abs n = if b > 1 then 1 else if b < 1 then 2 else 0; else print_line("ERROR");;
15:59
<
rpg >
how wouldi fix that
16:00
<
GustNG >
Use parens
16:01
<
GustNG >
Around the inner if-else
16:02
<
rpg >
show me im confused
16:02
<
petchema >
you can't use `let' (without corresponding `in') inside expressions
16:03
<
petchema >
so you have other problems than just nested ifs
16:03
<
GustNG >
I really don't understand that expression.
16:03
<
rpg >
le me give you something else
16:04
<
GustNG >
What are you trying to do?
16:04
<
rpg >
1 sec i show u
16:05
<
rpg >
note: there is a solve = 2;
16:05
Fullma has joined #ocaml
16:06
<
rpg >
it says syntax error at line 10
16:07
<
petchema >
`let' without `in' can only be used for global definitions, not within expressions
16:07
<
GustNG >
You're trying to define a global field 'bismuth' inside the condition
16:07
<
GustNG >
(Also, there's a function abs_float)
16:08
<
GustNG >
So it's expecting 'in' (followed by the expression the value 'bismuth is used in locally) instead of 'else'
16:08
<
rpg >
i dont understand this 'in' stuff
16:09
Axioplase is now known as Axioplase_
16:09
<
rpg >
and i want 'bismuth' to stay global so i can use it after
16:09
<
petchema >
it has no meaning by itself, only in let id = expr in expr syntactic construct
16:10
<
GustNG >
Define 'bismuth' outside of the 'if'
16:10
<
rpg >
i cant...it dpeends on the 'solve'
16:10
<
rpg >
ure saying stick the solve if expression inside bismuth ?
16:11
<
petchema >
I'd even suggest using `match'
16:12
<
petchema >
let bismuth x y = match solve with 1 -> if abs(x) >= 0.0 && ... | 2 -> if abs(x) > 1.0 || ... | _ -> failwith "bismuth"
16:12
<
GustNG >
Match would be more convenient for the other conditions
16:13
<
rpg >
thats next chapter :)
16:14
<
GustNG >
Really confusing conditions either way
16:14
<
GustNG >
'let ... in expr' is used to bind values and closures locally in expressions
16:15
kig has joined #ocaml
16:16
<
rpg >
now it says unbound value solve
16:17
<
GustNG >
You forgot 'let'
16:18
<
rpg >
i think its working
16:18
<
rpg >
i just had to remove print_line error
16:18
<
rpg >
because it says type unit
16:18
kig has quit [Remote closed the connection]
16:18
<
rpg >
but what if i do want to print "ERROR"
16:19
<
GustNG >
You must return a value if you don't throw an exception
16:19
<
GustNG >
And the value must be a float because it's what you return elsewhere as well
16:20
<
GustNG >
Maybe make smaller functions until you understand the syntax
16:21
<
rpg >
i just cant print a line but whatver
16:21
<
GustNG >
If you just printed it it would still be expected to return a number
16:21
<
GustNG >
While the function you call returns 'unit'
16:21
<
rpg >
so can i do print_line("error") ; 0
16:23
<
rpg >
anyways ill come back to that later
16:23
<
rpg >
i dont really need it
16:24
<
GustNG >
Like I said, do smaller definitions so you don't have trouble
16:24
snhmib has quit ["Good riddance!"]
16:29
thelema has joined #ocaml
16:35
<
flux >
rpg, btw, if I were you I would add let ax, ay = abs x, abs y and use those
16:38
filp has quit ["Bye"]
16:44
CoffeeBuzz has joined #ocaml
16:46
<
hcarty >
CoffeeBuzz: It is a decent start. The OCaml manual introductory chapter is nice as well.
16:47
itouch has joined #ocaml
16:48
<
flux >
I wonder if should be directly linked from the site..
16:48
<
flux >
the manual itself is linked
16:49
<
hcarty >
flux: That is probably a good idea
16:52
<
flux >
and I actually did the change
16:52
<
hcarty >
flux: Thanks!
16:57
itewsh has quit [Read error: 110 (Connection timed out)]
17:02
rwmjones_ has joined #ocaml
17:08
OChameau has quit ["Leaving"]
17:12
rwmjones_ has quit ["Closed connection"]
17:16
guillem has joined #ocaml
17:42
Submarine has joined #ocaml
17:46
itouch has quit [Read error: 110 (Connection timed out)]
17:47
itouch has joined #ocaml
17:53
struktured has joined #ocaml
18:02
filp has joined #ocaml
18:04
Axioplase_ is now known as Axioplase
18:12
itouch has quit [Connection timed out]
18:12
itouch has joined #ocaml
18:32
Yoric[DT] has joined #ocaml
18:39
Associat0r has quit []
18:41
Submarine has quit [Read error: 110 (Connection timed out)]
18:41
Submarine has joined #ocaml
18:42
mohbana has joined #ocaml
18:42
itouch has quit [Remote closed the connection]
18:49
mohbana has left #ocaml []
18:59
GustNG has quit [calvino.freenode.net irc.freenode.net]
18:59
longh has quit [calvino.freenode.net irc.freenode.net]
18:59
authentic has quit [calvino.freenode.net irc.freenode.net]
18:59
rodge has quit [calvino.freenode.net irc.freenode.net]
18:59
struktured has quit [calvino.freenode.net irc.freenode.net]
18:59
CoffeeBuzz has quit [calvino.freenode.net irc.freenode.net]
18:59
palomer has quit [calvino.freenode.net irc.freenode.net]
18:59
sbok_ has quit [calvino.freenode.net irc.freenode.net]
18:59
jdev has quit [calvino.freenode.net irc.freenode.net]
18:59
haelix has quit [calvino.freenode.net irc.freenode.net]
18:59
lde has quit [calvino.freenode.net irc.freenode.net]
19:00
Linktim has quit [calvino.freenode.net irc.freenode.net]
19:00
struk_atwork2 has quit [calvino.freenode.net irc.freenode.net]
19:00
Torment has quit [calvino.freenode.net irc.freenode.net]
19:00
svenl has quit [calvino.freenode.net irc.freenode.net]
19:00
jeremiah has quit [calvino.freenode.net irc.freenode.net]
19:00
mlh has quit [calvino.freenode.net irc.freenode.net]
19:00
tab has quit [calvino.freenode.net irc.freenode.net]
19:00
bla has quit [calvino.freenode.net irc.freenode.net]
19:00
mike_mcclurg has quit [calvino.freenode.net irc.freenode.net]
19:05
struktured has joined #ocaml
19:05
CoffeeBuzz has joined #ocaml
19:05
GustNG has joined #ocaml
19:05
longh has joined #ocaml
19:05
Linktim has joined #ocaml
19:05
struk_atwork2 has joined #ocaml
19:05
Torment has joined #ocaml
19:05
svenl has joined #ocaml
19:05
jeremiah has joined #ocaml
19:05
authentic has joined #ocaml
19:05
rodge has joined #ocaml
19:05
sbok_ has joined #ocaml
19:05
mlh has joined #ocaml
19:05
lde has joined #ocaml
19:05
mike_mcclurg has joined #ocaml
19:05
palomer has joined #ocaml
19:05
jdev has joined #ocaml
19:05
bla has joined #ocaml
19:05
haelix has joined #ocaml
19:05
tab has joined #ocaml
19:05
rby has joined #ocaml
19:05
svenl has quit [Remote closed the connection]
19:05
svenl has joined #ocaml
19:05
rby has quit [Remote closed the connection]
19:18
jeddhaberstro has joined #ocaml
19:27
Linktim_ has joined #ocaml
19:30
Proteus_ has quit ["Leaving"]
19:40
Ranzi has joined #ocaml
19:46
Linktim has quit [Read error: 113 (No route to host)]
19:52
longh has quit [Client Quit]
19:57
GustNG has quit [Read error: 54 (Connection reset by peer)]
20:01
Linktim_ has quit ["Quitte"]
20:04
Amorphous has quit [Read error: 110 (Connection timed out)]
20:06
Ranzi has quit [Read error: 110 (Connection timed out)]
20:08
Amorphous has joined #ocaml
20:14
Snark_ has quit ["Ex-Chat"]
20:22
Ranzi has joined #ocaml
20:24
<
olegfink >
hi! is there some html parser for ocaml?
20:25
<
olegfink >
html, not xml. maybe like perl's WWW::Mechanize, some nice way to grok pages.
20:28
filp has quit ["Bye"]
20:33
<
mbishop >
olegfink: check out ocamlnet
20:49
hkBst has joined #ocaml
20:50
ofaurax has joined #ocaml
20:52
Ranzi is now known as Ramzi
20:59
<
Yoric[DT] >
Okay, I'm trying to get my head around -pack.
21:00
<
Yoric[DT] >
Assuming I have modules A, B, C, D, etc.
21:00
<
Yoric[DT] >
When I pack them into E, which files do I need to distribute?
21:03
<
Yoric[DT] >
And how do I make sure that, say, only modules B and C can be used from the outside?
21:14
Palace_Chan has joined #ocaml
21:18
kombinator has joined #ocaml
21:19
<
kombinator >
Hello everyone, I have a beginner's question: What is the easiest way to have 32-bit unsigned int arithmetic in ocaml? All I want are + and * modulo 2^32.
21:20
<
hcarty >
Yoric[DT]: I haven't used -pack directly, but for a library built with mylib.mlpack I installed the mylib.* files using findlib and everything seems to work properly
21:21
<
olegfink >
kombinator: see Nativeint
21:22
<
hcarty >
Yoric[DT]: "everything" here being building and running other code which uses the modules included in Mylib
21:23
<
hcarty >
olegfink: I don't think nativeint values are unsigned
21:24
<
hcarty >
And they are 64bit on a 64bit platform
21:27
<
Yoric[DT] >
hcarty: ok.
21:27
<
Yoric[DT] >
Now the next question is hiding stuff.
21:27
<
hcarty >
Yoric[DT]: That I don't know, and have not tried
21:27
<
kombinator >
thanks, I'll take a look at it
21:27
<
Yoric[DT] >
Thanks.
21:27
<
hcarty >
It looks like ExtLib under godi also have the .cmi and .mli files installed
21:28
<
hcarty >
for each sub-module
21:31
Submarine has quit [Read error: 110 (Connection timed out)]
21:31
<
Yoric[DT] >
Yeah, I was wondering if not delivering the .cmi was sufficient.
21:39
<
hcarty >
I don't think so, as all of the sub-modules of Mylib are visible on my install
21:40
<
hcarty >
I'm off though. Yoric[DT], I would be interested to hear if you find a solution
21:50
marmotine has quit ["mv marmotine Laurie"]
21:56
guillem has quit [Remote closed the connection]
21:57
hkBst has quit [Read error: 104 (Connection reset by peer)]
22:12
Ramzi has quit [Read error: 110 (Connection timed out)]
22:25
jlouis has quit ["Leaving"]
22:33
ofaurax has quit ["ofaurax ronfle"]
22:59
sporkmonger has joined #ocaml
23:00
kombinator has quit [Read error: 113 (No route to host)]
23:04
Yoric[DT] has quit ["Ex-Chat"]
23:14
Axioplase is now known as Axioplase_
23:15
jonafan has joined #ocaml
23:25
psnively has joined #ocaml
23:36
kombinator has joined #ocaml
23:38
coucou747 has quit ["bye ca veut dire tchao en anglais"]