00:04
mlh has joined #ocaml
00:13
<
Nutssh >
Try str.cma first on the command line and not second.
00:16
GreyLensman has joined #ocaml
00:45
mrsolo_ has joined #ocaml
01:03
mrsolo_ has quit [Read error: 104 (Connection reset by peer)]
01:11
<
judge >
if i get an error like Uncaught exception: Failure "int_of_string"
01:11
<
judge >
can i trap it in the debugger to get a backtrace?
01:15
monochrom has quit ["Don't talk to those who talk to themselves."]
01:29
<
Nutssh >
Yes, run in the debugger and do a 'step -1' to go back in time.
01:42
CosmicRay has joined #ocaml
01:42
tewk has quit [Read error: 54 (Connection reset by peer)]
01:43
<
dan2 >
CosmicRay: hey
02:05
cjohnson has joined #ocaml
02:21
zigong__ has quit ["Leaving"]
02:32
mrsolo_ has joined #ocaml
02:42
cjohnson has quit [Connection timed out]
02:42
cjohnson has joined #ocaml
02:44
zigong_ has joined #ocaml
02:44
avlondono has joined #ocaml
02:51
binary42 has left #ocaml []
02:53
mrsolo_ has quit [Read error: 104 (Connection reset by peer)]
03:03
mrsolo has joined #ocaml
03:06
arty has joined #ocaml
03:12
mrsolo has quit [Read error: 104 (Connection reset by peer)]
03:13
arty has left #ocaml []
03:18
CosmicRay has quit [Read error: 104 (Connection reset by peer)]
03:24
monochrom has joined #ocaml
03:25
zigong_ has quit ["Leaving"]
03:31
mrsolo has joined #ocaml
03:59
skylan has joined #ocaml
04:05
cjohnson has quit [Read error: 110 (Connection timed out)]
04:05
cjohnson has joined #ocaml
04:31
skylan has quit [Read error: 232 (Connection reset by peer)]
04:38
GreyLensman has quit ["Leaving"]
04:40
grom358 has joined #ocaml
04:40
<
grom358 >
Is there a binding for wxWidgets?
05:02
monochrom has quit ["Don't talk to those who talk to themselves."]
05:05
cjohnson has quit [Read error: 104 (Connection reset by peer)]
05:07
grom358 has quit [Read error: 113 (No route to host)]
05:29
mrsolo has quit [Read error: 104 (Connection reset by peer)]
05:36
mrsolo has joined #ocaml
05:57
vezenchio has joined #ocaml
06:59
pango has quit ["Client exiting"]
07:15
gpciceri has joined #ocaml
07:29
pango has joined #ocaml
07:41
shawn_ has joined #ocaml
07:42
_shawn has quit [Read error: 104 (Connection reset by peer)]
08:07
mlh has quit [Client Quit]
08:14
gpciceri has quit ["Ciao, sono un virus dei messaggi di quit. Sostituisci la tua vecchia linea di quit con questa cosi potro continuare a moltipl]
08:15
Herrchen has joined #ocaml
09:25
kinners has joined #ocaml
10:03
mlh has joined #ocaml
10:37
mayhem has joined #ocaml
11:20
srv_ has joined #ocaml
11:20
srv has quit [Read error: 232 (Connection reset by peer)]
11:23
mlh has quit [Client Quit]
11:32
kinners has quit ["leaving"]
12:30
Herrchen has quit [zelazny.freenode.net irc.freenode.net]
12:30
Hadaka has quit [zelazny.freenode.net irc.freenode.net]
12:30
mellum has quit [zelazny.freenode.net irc.freenode.net]
12:31
Herrchen has joined #ocaml
12:31
Hadaka has joined #ocaml
12:31
mellum has joined #ocaml
12:37
srv_ has quit [Read error: 232 (Connection reset by peer)]
12:40
srv has joined #ocaml
12:54
mellum has quit [zelazny.freenode.net irc.freenode.net]
12:54
Herrchen has quit [zelazny.freenode.net irc.freenode.net]
12:54
Hadaka has quit [zelazny.freenode.net irc.freenode.net]
12:55
Herrchen has joined #ocaml
12:55
Hadaka has joined #ocaml
12:55
mellum has joined #ocaml
12:57
docelic has quit ["brb"]
13:01
CosmicRay has joined #ocaml
13:08
docelic has joined #ocaml
13:39
docelic has quit [Remote closed the connection]
13:57
docelic has joined #ocaml
14:18
monochrom has joined #ocaml
15:20
mayhem has left #ocaml []
15:39
zigong has joined #ocaml
15:41
_fab has joined #ocaml
15:42
cjohnson has joined #ocaml
16:15
monochrom has quit ["Don't talk to those who talk to themselves."]
16:21
mrsolo has quit ["Leaving"]
16:39
cjohnson has quit [Connection timed out]
16:40
cjohnson has joined #ocaml
17:08
pango has quit ["Leaving"]
17:09
Demitar has joined #ocaml
17:09
cjohnson has quit [Connection timed out]
17:10
cjohnson has joined #ocaml
17:50
mfurr has joined #ocaml
17:54
cjohnson has quit [Connection timed out]
17:55
cjohnson has joined #ocaml
17:56
<
jason__ >
Hm, I keep getting this really weird error when trying to use ocamlmktop.
17:56
<
jason__ >
gcc: topstart.cmo: No such file or directory
17:57
<
jason__ >
Like, it's trying to run gcc on topstart.cmo.
17:58
jason__ has quit ["Client exiting"]
17:58
jason__ has joined #ocaml
17:58
<
jason__ >
Hm, I'm not sure if my last message was actually posted, or if my client was dead. So please excuse me if I'm posting it again.
17:59
<
jason__ >
I'm getting a strange error with ocamlmktop, gcc: topstart.cmo: No such file or directory
18:01
pango has joined #ocaml
18:01
<
jason__ >
Any have any clue why gcc would be run on topstart.cmo?
18:06
<
Tristram >
maybe because a new top is a native program
18:06
<
Tristram >
and I think that ocamlc uses gcc
18:06
monochrom has joined #ocaml
18:06
<
Tristram >
sorry ocamlc.opt
18:06
<
jason__ >
Isn't a cmo inherantly bytecode, though?
18:07
<
pango >
ocamlopt doesn't use gcc for sure, and I doubt ocamlc does
18:10
<
Tristram >
extract of man ocamlopt :
18:10
<
Tristram >
-ccopt option
18:10
<
Tristram >
Pass the given option to the C compiler and linker.
18:10
<
pango >
yes, when you link C code with ocaml code
18:10
<
Tristram >
I not a specialist about that at all
18:11
<
pango >
but it's said somewhere else that ocaml compiler speed and generated code efficiency were achieved by generating native code directly
18:12
<
pango >
(vs. what caml light did, I suppose)
18:12
<
jason__ >
.. It generates ASM, I know.
18:12
<
avlondono >
it outputs assembly
18:12
<
jason__ >
ocamlopt -S.
18:13
<
avlondono >
still needs the assembler and the linker
18:13
<
jason__ >
Yeah, I'm sure this has something to do with the native code I'm trying to link.
18:13
<
jason__ >
It's very peculiar.
18:13
<
jason__ >
C interface code.
18:13
<
jason__ >
Hm, Lunch time.
18:13
<
jason__ >
Thanks for your help :)
18:13
<
avlondono >
good time
18:14
<
pango >
avlondono: ok
18:26
cjohnson has quit [Connection timed out]
18:26
cjohnson has joined #ocaml
18:28
gpciceri has joined #ocaml
18:41
Gliptic has quit ["Leaving"]
18:50
pango has quit ["brb"]
18:53
<
Nutssh >
'mktop' uses gcc to link the c-coded runtime against the ocaml basic runtime (pervasives and/or linkage code), and the other stuff.
18:54
pango has joined #ocaml
18:57
Herrchen has quit ["bye"]
19:03
vezenchio has quit ["None of you understand. I'm not locked up in here with you. YOU are locked up in here with ME!"]
19:29
ez4 has joined #ocaml
19:48
salo has joined #ocaml
19:49
<
salo >
noob question: how can i define a record containing a variable length tuple?
19:50
<
pango >
variable length tuple is an oxymore
19:50
<
pango >
tuples have a fixed length
19:50
<
pango >
but maybe you meant something else than tuple
19:51
<
salo >
i want a data structure that represents an ordererd variable length collection of arbitrary types
19:52
<
pango >
forget about arbitrary types
19:52
<
pango >
now, what do you want ?
19:52
<
Nutssh >
Closest you can get is a type unified = Int of int | Float of float | .... and use a unified array.
19:52
<
salo >
tuples contain arbitrary types, no?
19:53
<
Nutssh >
Yes, but they also have a fixed type, eg 'int * string * float * int' and such a tuple can store exactly one type vector.
19:55
<
salo >
so no exact analog of lisp lists? i see. i think i see what you're getting at with the unified type tho
20:00
ez4 has quit [Remote closed the connection]
20:05
<
pango >
salo: or a parametrized type, if that's really what you want
20:05
<
pango >
type 'a myrecord = { foo: int; bar: 'a } ;;
20:05
<
pango >
{ foo = 7; bar = (3, "hello", [3.14]) } ;;
20:05
<
pango >
- : (int * string * float list) myrecord =
20:05
<
pango >
{foo = 7; bar = (3, "hello", [3.14])}
20:06
* salo
stares at the code
20:06
gzl has left #ocaml []
20:06
<
pango >
last two lines are outputs
20:09
<
Nutssh >
No analog. One of the artifacts of strong typing at compile time.
20:11
<
Nutssh >
Unifed isn't a replacement for lisp lists, because there are an infinite number of possible types so you can't list all of em there.
20:12
<
salo >
so instead of arbitrary, i need to define a custom type foo that captures the specific possibilities, and then i can have a foo list.
20:13
<
Nutssh >
Yup that will work, but are you sure that you need a design that requires that?
20:15
<
jason__ >
.. There are Linked Lists.
20:15
<
jason__ >
Functional linked lists.
20:15
<
jason__ >
.. But, they can only hold one type.
20:16
<
jason__ >
Unless you want each value to have to carry some kind of dynamic type information that can be evaluated at run-time, you just avoid having lists of differing types.
20:16
<
salo >
i need a type that contains a function symbol, and paramaters for that function. i would like the paramaters to be any form of number, or a symbolic expression, so that i can do both inexact and exact math
20:17
<
jason__ >
So, you want a type that contains a union of a function, and the arguments for that function.
20:18
<
jason__ >
(int -> int, 5)..
20:18
<
jason__ >
Something like that, so you can evaluate it later or something?
20:19
<
jason__ >
salo, what exactly are you trying to do?
20:19
<
salo >
yes, where the domains of the functions are not known a priori, and the paramaters are either numbers or number valued expressions
20:20
gpciceri has quit ["Ciao, sono un virus dei messaggi di quit. Sostituisci la tua vecchia linea di quit con questa cosi potro continuare a moltipl]
20:20
<
jason__ >
salo: So you want to store a list of functions associated with their paramaters, but the paramaters are unknown at compile-time?
20:21
<
salo >
yes. i bet you are about to tell me that is impossible
20:21
<
pango >
salo: define the recursive type that will be used for the syntaxic tree of your parameters
20:21
<
jason__ >
Right.. You could make a type that represents all of the values that 'could' be in your list.
20:22
<
salo >
i can have a type that is either a float, or a float valued function, right?
20:22
<
Nutssh >
type exp = Plus of exp * exp | Var of string | Int of i // and use 'exp list' or 'exp array' as an argument type.
20:22
<
jason__ >
For instance, "type mList = Int of int | Func of (unit->int);;
20:23
<
jason__ >
Something like that.
20:24
<
jason__ >
salo, that would be: type mVal = Float of float | Func of (unit->float);;
20:24
<
jason__ >
Then, you just have to pattern match the types comming out of the list, and construct them apropriately when you add them to the list.
20:25
<
jason__ >
let eval = function x -> Float x -> x | Func mFunc -> mFunc ();;
20:27
<
salo >
i think i follow
20:27
<
jason__ >
So, when you pattern match it, you evaluate all of the possible types it could be.
20:27
<
jason__ >
There aren't any lose ends.
20:29
<
salo >
ocaml has support for the same numeric types as scheme? real, int, complex, rational, in inexact, exact, and bignum forms?
20:29
<
jason__ >
It has bignum, but as a module.
20:29
<
jason__ >
It's not an internal value.
20:30
<
jason__ >
It has float, and int.
20:31
<
jason__ >
Not the same as scheme I'd assume.
20:31
<
jason__ >
It has support for complex numbers, but they're just records with a imaginary and a real part.
20:32
<
jason__ >
Basically it has: int(31-bit signed), float(double in C), string, unit, char(8-bit ASCII), bool.
20:33
<
jason__ >
You can check out the "Complex" module.
20:34
<
jason__ >
salo: What is "inexact" and "exact" in Scheme?
20:34
<
salo >
i was being redundant. just the difference between machine rep and symbolic rep.
20:37
<
pango >
they're also rational numbers... and Numerix lib as an alternative
20:41
<
salo >
great. thanks all for the help. i'm sure i'll be back with more questions before long
20:45
cjohnson has quit [Read error: 110 (Connection timed out)]
20:46
cjohnson has joined #ocaml
21:54
cjohnson has quit [Connection timed out]
21:55
cjohnson has joined #ocaml
21:55
Lemmih has left #ocaml []
21:57
CosmicRay has quit ["Client exiting"]
22:23
<
jason__ >
What does this mean: type c_obj = c_enum_tag c_obj_t
22:24
<
jason__ >
c_enum_tag is (type c_enum_tag = [`SWIG_FAKE | int of int])
22:24
<
jason__ >
And c_obj is (type `a c_obj_t = C_void etc)
22:25
<
jason__ >
What does it mean to define a type that is one type next to another separated by a space like that?
22:26
<
Smerdyakov >
Haven't you used lists?
22:28
<
Smerdyakov >
Then you've seen the same thing before
22:29
<
jason__ >
I think it's making a c_obj_t of type c_enum_tag, then.
22:29
<
jason__ >
It was a bit confusing by the syntax.
22:29
m3ga has joined #ocaml
22:48
mfurr has quit ["Client exiting"]
22:50
m3ga has quit ["Client exiting"]
22:56
skylan has joined #ocaml
22:58
kinners has joined #ocaml
23:25
cjohnson has quit [Read error: 110 (Connection timed out)]
23:25
CosmicRay has joined #ocaml
23:25
cjohnson has joined #ocaml
23:43
zigong has quit [Read error: 104 (Connection reset by peer)]
23:50
zigong has joined #ocaml
23:55
cjohnson has quit [Connection timed out]
23:55
cjohnson has joined #ocaml