00:07
pac_ is now known as pac_aw
00:08
cjohnson has quit [Read error: 110 (Connection timed out)]
00:09
cjohnson has joined #ocaml
00:12
pnou_ has quit ["au dodo !"]
00:29
cjohnson has quit [Connection timed out]
00:29
cjohnson has joined #ocaml
00:56
cjohnson has quit [Connection timed out]
00:57
cjohnson has joined #ocaml
01:10
yauz_ has joined #ocaml
01:13
yauz has quit [Read error: 60 (Operation timed out)]
01:22
okhra has joined #ocaml
01:32
zigong has joined #ocaml
01:54
zigong has quit [Remote closed the connection]
01:55
cjohnson has quit [Connection timed out]
01:56
gl has left #ocaml []
01:56
gl has joined #ocaml
01:56
cjohnson has joined #ocaml
02:11
okhra has quit [Read error: 113 (No route to host)]
02:19
srv has quit [Read error: 60 (Operation timed out)]
02:30
CosmicRay has joined #ocaml
02:33
GreyLensman has quit ["Leaving"]
02:34
debona|r has left #ocaml []
02:56
debona|r has joined #ocaml
03:13
jdrake has joined #ocaml
03:36
CosmicRay has quit ["Leaving"]
03:42
kinners has joined #ocaml
03:46
Iter has joined #ocaml
03:59
chodapp has joined #ocaml
04:00
* chodapp
just read about Ocaml somewhere by accident and curiosity alone has convinced him to give it a try . . .
04:00
Herrchen_ has joined #ocaml
04:01
gl has left #ocaml []
04:01
gl has joined #ocaml
04:01
cjohnson has quit [Remote closed the connection]
04:05
<
jdrake >
when I have "open Input;;" in my ml file, and Input being 'input.ml'. It gives no error there. When I try to use something in it, like a type constructor it says "Unbound constructor AString". I am not sure what to do with this case
04:08
Herrchen has quit [Read error: 60 (Operation timed out)]
04:09
<
gl >
(what does 'ocamlc input.cma youfile.ml' say ?)
04:09
<
jdrake >
File "GC1a.ml", line 10, characters 12-27:
04:09
<
jdrake >
Unbound constructor AString
04:10
<
jdrake >
let evaluate = function
04:10
<
jdrake >
| AString "Hello" ->
04:10
<
jdrake >
the second line obviously
04:10
chodapp has quit [Remote closed the connection]
04:11
<
kinners >
jdrake: and AString is in input.ml or not?
04:11
<
Riastradh >
Is AString in input.mli?
04:11
<
Riastradh >
Or is there no input.mli?
04:11
<
gl >
oh, the input module is your ...
04:11
<
jdrake >
ah, i must have forgotten the mli file
04:11
<
Riastradh >
No, I don't think you need it.
04:18
<
jdrake >
it seems the mli file definitely needed
04:19
<
gl >
ocamlc -i input.ml > input.mli, then
04:19
<
jdrake >
already made one, but that command will help
04:20
<
jdrake >
that -i command inferred wrong
04:20
<
jdrake >
val prompt : string -> string list should be val prompt : string -> varied_type list
04:24
<
kinners >
have you changed the code since you pasted it? it gets inferred correctly for me
04:25
<
jdrake >
i will check
04:26
<
jdrake >
it also doesn't list the type definition only the function
04:26
<
jdrake >
what version of ocaml do you have? (i am using 3.08)
04:29
<
jdrake >
this gets really hard to understand this stuff when it does this sort of thing
04:31
<
jdrake >
ok, found that problem
04:33
<
jdrake >
Arg! The implementation input.ml does not match the interface input.cmi: The field `varied_type' is required but not provided varied_type is in both the ml file and mli file and mli file was just compiled.
04:37
<
jdrake >
kinners, what is the mli file that is generated for you
04:37
kinners has quit [Nick collision from services.]
04:38
kinners has joined #ocaml
04:38
<
jdrake >
kinners, what is the mli file that is generated for you
04:39
<
kinners >
jdrake: what you would expect, varied_type list
04:39
<
jdrake >
does it have a definition for the varied_type?
04:39
<
kinners >
jdrake: but you're evaluate function returns unit because of the printf
04:41
<
kinners >
err.. 'your' :)
04:41
<
jdrake >
i just can't get this thing compiled for some reason
04:42
<
jdrake >
i fixed that printf problem
04:42
<
jdrake >
Anubis:~/Development/GC jdrake$ ocamlc -i input.ml
04:42
<
jdrake >
val prompt : string -> string list
04:42
<
jdrake >
3.08 doesn't happen to be filled with bugs does it
04:45
<
jdrake >
when I paste input.ml into the top level it infers properly
04:52
<
kinners >
well I plan on updating to 3.08 right now...
04:52
<
kinners >
I'm trying out godi
04:52
<
jdrake >
i wouldn't mind seeing if it breaks on yours too
04:52
<
jdrake >
because it does on my cousin's windows machine at 3.08 too
04:57
<
kinners >
jdrake: try seperating convert out of the prompt function to see its type
04:58
<
jdrake >
interesting that fixes it
04:58
<
jdrake >
but it shouldn't should it?
05:02
<
kinners >
I can't see why it should
05:25
<
kinners >
jdrake: it appears to work fine for me
05:33
<
jdrake >
the original?
05:34
<
jdrake >
or the modification you suggested
05:35
<
kinners >
the original
05:35
pac_aw has quit ["leaving"]
05:35
<
jdrake >
this is too wierd
05:35
<
jdrake >
i was thinking on filing a bug
05:35
<
Smerdyakov >
I think your cousin is holding you back.
05:36
<
jdrake >
Smerdyakov, I thought I smelt something burning before you typed
05:36
<
jdrake >
Smerdyakov, and why would you say that
05:36
<
Smerdyakov >
I got an anonymous tip.
05:38
<
jdrake >
Smerdyakov, congratulations - your comment is worthy of a +5 Insightful from slashdot
05:39
<
jdrake >
kinners, definitely wierd
05:58
ionOS has joined #ocaml
06:06
senko has quit ["Leaving"]
06:39
<
lmbdwar >
jdrake, your expl skills are failing at resolving ocaml simple problems ? ;)
06:45
lam has quit [Read error: 110 (Connection timed out)]
07:34
<
lmbdwar >
jdrake, i was referring to older stuff, whatever, it was a joke
07:45
Lemmih has quit [Read error: 104 (Connection reset by peer)]
07:45
kinners has quit [Read error: 104 (Connection reset by peer)]
07:45
Lemmih has joined #ocaml
07:48
jdrake has quit [Read error: 110 (Connection timed out)]
08:13
skylan has quit [Remote closed the connection]
08:14
skylan has joined #ocaml
08:40
smimou has joined #ocaml
09:39
pnou_ has joined #ocaml
09:43
lmbdwar has quit ["Leaving"]
09:45
lmbdwr has joined #ocaml
10:30
Iter has quit ["Leaving"]
10:50
Lemmih has quit [Read error: 104 (Connection reset by peer)]
10:51
Lemmih has joined #ocaml
11:19
Iter has joined #ocaml
12:43
Nate75Sanders has joined #ocaml
12:52
Iter has quit [Read error: 110 (Connection timed out)]
12:54
not_me2 has quit [Remote closed the connection]
12:55
not_me2 has joined #ocaml
13:00
gim has joined #ocaml
13:02
Nate75Sanders has quit [Remote closed the connection]
13:05
Nate75Sanders has joined #ocaml
13:22
senko has joined #ocaml
13:24
<
senko >
can someone explain to me why this happens:
13:26
<
senko >
# Scanf.scanf "%i" (fun a -> a);; /types 3/ - : int = 3 # Scanf.scanf "%i" (fun a -> a);; Exception: Scanf.Scan_failure "scanf: bad input at char number 2: int_of_string".
13:26
<
senko >
# Scanf.scanf "%i" (fun a -> a);;
13:27
<
senko >
# Scanf.scanf "%i" (fun a -> a);;
13:28
<
senko >
/types 3/ - : int = 3
13:28
<
senko >
# Scanf.scanf "%i" (fun a -> a);;
13:28
<
senko >
Exception: Scanf.Scan_failure "scanf: bad input at char number 2: int_of_string".
13:48
Nate75Sanders has quit [Remote closed the connection]
13:53
<
karryall >
senko: WorksForMe (tm)
13:54
<
senko >
i think i found it..
13:54
<
karryall >
oh I see
13:54
<
senko >
i tries to convert " " to a number
13:55
<
karryall >
Scanf.Scanning.end_of_input Scanf.Scanning.stdib ;;
13:55
<
karryall >
don't mind that
13:55
<
karryall >
(wrong window)
13:56
<
senko >
ok.. thank you
13:56
<
karryall >
yeah you have to put a space before the %i
13:57
<
karryall >
meaning 'ignore leading whitespaces'
13:57
<
karryall >
because there is a newline in the input buffer
13:57
<
senko >
yes.. i did that at last.
13:57
<
karryall >
or smthg like hat
14:09
mamol has joined #ocaml
14:13
<
mamol >
Is there a number theory lib using Big_int ? (I need primality tests and generation and modular arithmetic)
14:38
<
lmbdwr >
mamol, libgmp
14:39
<
lmbdwr >
i must have forgotten the channel name during a second
14:49
<
mamol >
there is a binding between gmp and ocaml but ...
14:50
<
mamol >
i want to use the Num library
14:51
<
mamol >
(witch don't provide isprime, nextprime, and invert function)
15:29
ne1 has joined #ocaml
15:41
vezenchio has quit ["all that is necessary for the triumph of evil is for good men to do nothing"]
17:18
pnou_ has quit ["brb"]
17:45
Lemmih has quit [Remote closed the connection]
17:51
senko has quit ["Leaving"]
19:02
debona|r2 has joined #ocaml
19:02
debona|r has quit [Read error: 104 (Connection reset by peer)]
19:03
debona|r2 is now known as debona|r
19:09
grirgz has joined #ocaml
19:13
<
grirgz >
someone alive ?
19:13
<
Riastradh >
Not unless you have a question.
19:14
<
grirgz >
i want to answer questions :p
19:16
pac_away has joined #ocaml
19:16
<
Maddas >
Zombies are undead, but yet not alive.
19:18
pac_away has left #ocaml []
19:19
<
Smerdyakov >
Maddas questions the Holy Canon. Death is the response.
19:19
<
Maddas >
Can an undead die without being alive? Hmm.
19:20
<
Riastradh >
No, to destroy an undead you have to heal it!
19:20
Hadaka has quit [Remote closed the connection]
19:21
<
Riastradh >
Seen Jesus around? He's probably pretty good at destroying undead.
19:21
* Maddas
eyes the channel
19:21
* Riastradh
channels Maddas's eyes.
19:36
<
mamol >
you're crazy
19:39
<
mamol >
both of you :)
19:39
<
Riastradh >
Oh. What else is new?
19:39
<
Riastradh >
We've transmitted craziness to you as well?
19:41
mattam_ is now known as mattam
19:41
* mamol
look for something crazy to say
19:42
mamol has quit ["i'm dead of crasiness"]
19:47
samx has joined #ocaml
19:52
mattam_ has joined #ocaml
20:06
mattam has quit [Read error: 110 (Connection timed out)]
20:07
smimou has quit ["?"]
20:08
Naked has joined #ocaml
20:08
Naked is now known as Hadaka
20:09
senko has joined #ocaml
20:56
ionOS has quit ["Leaving"]
21:17
Lemmih has joined #ocaml
21:19
mattam_ is now known as mattam
21:26
debona|r has quit [Read error: 60 (Operation timed out)]
21:26
cm47 has left #ocaml []
21:45
Hipo has quit [Read error: 104 (Connection reset by peer)]
21:47
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
21:49
Demitar has quit [Remote closed the connection]
21:57
pattern has quit [Read error: 113 (No route to host)]
22:03
Demitar has joined #ocaml
22:26
pnou has quit ["brb"]
22:30
pnou has joined #ocaml
22:31
Iter has joined #ocaml
22:39
samx has quit [Remote closed the connection]
22:42
Lemmih has quit [Remote closed the connection]
22:54
pnou has quit ["brb"]
23:02
pnou has joined #ocaml
23:27
not_me2 has quit [Read error: 104 (Connection reset by peer)]
23:27
pnou has quit ["leaving"]
23:29
debona|r has joined #ocaml
23:40
pattern has joined #ocaml
23:41
not_me2 has joined #ocaml
23:49
not_me2 has quit [Read error: 104 (Connection reset by peer)]
23:49
not_me2 has joined #ocaml