jeffmo has quit [Read error: Connection reset by peer]
wagle_ has joined #ocaml
wagle has quit [Ping timeout: 256 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
jeffmo has joined #ocaml
tmtwd has joined #ocaml
tmtwd has quit [Remote host closed the connection]
wagle has joined #ocaml
wagle_ has quit [Ping timeout: 246 seconds]
yomimono has joined #ocaml
walter|r has quit [Remote host closed the connection]
lordkryss has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
walter|r has joined #ocaml
<SomeDamnBody>
my program keeps getting killed with "Out of memory"
<SomeDamnBody>
I don't know how to identify where that's happening
<SomeDamnBody>
it says list.ml line 131 and 73
noob has joined #ocaml
<SomeDamnBody>
but that's just the iter and exists functions; each of those are tail recursive...
<noob>
hi everyone, I would like to ask how could I list all the constructors of a datatype? for example if I have a sum type `type colour = Blue | White | Red` how can I enumerate all the possible constructors? In this case it is Blue, White, Red
<SomeDamnBody>
match statement on an instance that is incomplete?
<SomeDamnBody>
the compiler will do the work for you in that case
<noob>
actually what I want is that I have a web interface that let users to choose say the 3 color, and I want to convert it to the type Colour. Also I want to use code to print out those 3 colors for the user to choose
<SomeDamnBody>
Ocaml isn't a dynamic language
<SomeDamnBody>
so if you get the compiler to warn you about the variants that you missed
<SomeDamnBody>
and in your code you provide a conversion function for going from a type instance to a string
<SomeDamnBody>
you can then show the user the string
<noob>
but how can I know all the constructors in the first place to convert it to string, instead of explicitly writing down Blue, White, Red, I want some way to automatically give me all the constructors
dmiles_afk has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
tmtwd has joined #ocaml
nicoo has quit [Read error: Connection reset by peer]
noob has quit [Quit: Page closed]
nicoo has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
obadz has quit [Ping timeout: 264 seconds]
walter|r has quit [Remote host closed the connection]
obadz has joined #ocaml
jeffmo has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
darkf has joined #ocaml
johnf__ has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 265 seconds]
jabesed has quit [Ping timeout: 252 seconds]
yomimono has quit [Ping timeout: 244 seconds]
MrScout has quit [Remote host closed the connection]
c74d is now known as Guest16976
Guest16976 has quit [Read error: Connection reset by peer]
c74d has joined #ocaml
* struktured
"opam switch 4.02.2"
<struktured>
come on baby!
idegen has quit [Quit: Leaving.]
psy_ has quit [Quit: Leaving]
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
tarball13 has joined #ocaml
tarball13 has quit [Client Quit]
tarball13 has joined #ocaml
psy_ has joined #ocaml
obadz has quit [Ping timeout: 244 seconds]
obadz has joined #ocaml
slash^ has joined #ocaml
swgillespie has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
tarball13 has left #ocaml [#ocaml]
walter|r has joined #ocaml
walter|r has quit [Remote host closed the connection]
tmtwd has quit [Ping timeout: 250 seconds]
slash^ has quit [Quit: Leaving.]
ggole has joined #ocaml
c74d has quit [Ping timeout: 252 seconds]
tmtwd has joined #ocaml
tjscanlon has joined #ocaml
c74d has joined #ocaml
fantasticsid has joined #ocaml
LnL has joined #ocaml
MercurialAlchemi has joined #ocaml
SomeDamnBody has quit [Ping timeout: 265 seconds]
struktured has quit [Ping timeout: 252 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
fantasti` has joined #ocaml
fantasticsid has quit [Ping timeout: 264 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
thomasga has joined #ocaml
swgillespie has joined #ocaml
struktured has joined #ocaml
slash^ has joined #ocaml
meteo has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
thomasga has quit [Quit: Leaving.]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
ollehar has joined #ocaml
mcclurmc has joined #ocaml
SomeDamnBody has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Ping timeout: 264 seconds]
dmiles_afk has quit [Ping timeout: 244 seconds]
dmiles_afk has joined #ocaml
dmiles_akf has joined #ocaml
dmiles_afk has quit [Ping timeout: 265 seconds]
Hetu has joined #ocaml
AltGr has left #ocaml [#ocaml]
SomeDamnBody has quit [Ping timeout: 264 seconds]
Hetu has quit [Ping timeout: 256 seconds]
zpe has joined #ocaml
ygrek has joined #ocaml
fantasti` has quit [Remote host closed the connection]
fantasti` has joined #ocaml
tmtwd has quit [Ping timeout: 246 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
wwilly has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
Simn has joined #ocaml
Fuivash7 has joined #ocaml
tmtwd has joined #ocaml
creichert has quit [Ping timeout: 256 seconds]
fantasti` has quit [Ping timeout: 256 seconds]
mcclurmc has joined #ocaml
tmtwd has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
tmtwd has joined #ocaml
rgrinberg has quit [Ping timeout: 248 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
tmtwd has quit [Read error: Connection reset by peer]
thomasga has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 244 seconds]
mcclurmc has joined #ocaml
tmtwd has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
mlen has quit [Quit: WeeChat 1.1]
mcclurmc has quit [Remote host closed the connection]
mlen has joined #ocaml
yomimono has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 264 seconds]
tmtwd has joined #ocaml
tmtwd has quit [Read error: Connection reset by peer]
tjscanlon has joined #ocaml
tmtwd has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
thomasga has joined #ocaml
Haudegen has joined #ocaml
fantasticsid has joined #ocaml
rgrinberg has joined #ocaml
tmtwd has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
rgrinberg has quit [Ping timeout: 244 seconds]
nicoo has quit [Ping timeout: 246 seconds]
fantasti` has joined #ocaml
fantasticsid has quit [Ping timeout: 264 seconds]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
nullcat has joined #ocaml
<nullcat>
hi, someone here can help me test with new merlin branch for metaocaml?
<nullcat>
i'm not sure if i found a bug
fantasti` has quit [Read error: Connection reset by peer]
fantasti` has joined #ocaml
emanuelz has quit [Quit: emanuelz]
<def`>
i am
<def`>
here. wazzzaaah?
<nullcat>
um... let me check carefully
<nullcat>
maybe it's not
<nullcat>
thanks for the work btw!
<def`>
you're welcome
<def`>
I forgot to mention: you should enable "meta" extension
<nullcat>
oh how to enable it?
<def`>
EXT meta in .merlin
<def`>
:MerlinExtEnable meta in vim
<nullcat>
ok thanks
<def`>
M-X merlin-extension-enable meta in emacs
nicoo has joined #ocaml
rand000 has joined #ocaml
obadz- has joined #ocaml
obadz has quit [Ping timeout: 244 seconds]
zpe has quit [Remote host closed the connection]
cdidd has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
cdidd has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
fantasti` has quit [Ping timeout: 252 seconds]
Fuivash7 has left #ocaml ["Killed buffer"]
chris2 has quit [Ping timeout: 248 seconds]
milosn has joined #ocaml
xificurC has quit [Quit: WeeChat 1.2]
willy_ has joined #ocaml
xificurC has joined #ocaml
wwilly has quit [Ping timeout: 264 seconds]
chris2 has joined #ocaml
jabesed has joined #ocaml
zpe has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
tjscanlon has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dhil has joined #ocaml
ggole_ is now known as ggole
Submarine has quit [Quit: Leaving]
ollehar has quit [Ping timeout: 250 seconds]
willy__ has joined #ocaml
willy_ has quit [Ping timeout: 248 seconds]
willy__ has left #ocaml ["Leaving"]
tarball13 has joined #ocaml
Hannibal_Smith has joined #ocaml
Fleurety has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
antoineB` has joined #ocaml
Fleurety has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 252 seconds]
jabesed has quit [Ping timeout: 246 seconds]
tarball13 has quit [Quit: leaving]
Fleurety has joined #ocaml
rgrinberg has joined #ocaml
jabesed has joined #ocaml
rgrinberg has quit [Ping timeout: 248 seconds]
zpe has quit [Remote host closed the connection]
SomeDamnBody has joined #ocaml
ollehar has joined #ocaml
waneck has joined #ocaml
ollehar has quit [Ping timeout: 265 seconds]
OnkV has joined #ocaml
<struktured>
nullcat: what are you using metaocaml for?
<flux>
I suppose there is no OCaml solution for a program that would use both sqlite3 and postgresql depending on its configuration?
<flux>
that is, I get to use two completely different libraries to do it?
<nullcat>
parser generator
<zozozo>
flux: it could probably be done using Dynlink ?
<flux>
zozozo, I'm not really considering that, but simply the fact that I need to add an intermediate layer do send queries to either sqlite or postgresql
<flux>
I guess everyone just use either or, ie. hardcode the choice into the app :)
<zozozo>
you could always make a wrapper around them to have a common interface
OnkV has quit [Ping timeout: 250 seconds]
<flux>
yes... but has anyone done it for me?-)
<flux>
and now that I'm for example using sqlexpr for some nicety with dealing with sqlite.. and pqocaml would be me tool of choice for dealing with postgresql.. it also means I need to write all queries twice
<zozozo>
:p
<flux>
I suppose with some pa magic I could incorporate static strings to both of those from a central list of queries
<flux>
bonus: even sqlite build would be statically checked re. queries
<flux>
but the lazier option would probably be to implement postgresql support to sqlexpr
<flux>
oh, and it seems there's also the option of using odbc with ocaml, didn't know that
<struktured>
nullcat: cool, you should blog on your experiences with it
<nullcat>
definitely
<nullcat>
it's ocamllab intern project. so i have to write reports periodically anyway
<struktured>
oh nice, even better
OnkV has joined #ocaml
rgrinberg has joined #ocaml
idegen has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
OnkV has quit [Ping timeout: 272 seconds]
darkf has quit [Quit: Leaving]
zpe has joined #ocaml
ollehar has joined #ocaml
Haudegen has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
johnf__ has joined #ocaml
Haudegen has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
seanmcl has joined #ocaml
Haudegen has joined #ocaml
struktured has quit [Ping timeout: 246 seconds]
earthrocker has joined #ocaml
earthrocker has quit [Client Quit]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
thm has left #ocaml [#ocaml]
Hannibal_Smith has quit [Quit: Leaving]
yomimono has joined #ocaml
amnn has joined #ocaml
amnn has quit [Read error: Connection reset by peer]
amnn has joined #ocaml
struktured has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
creichert has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe_ has joined #ocaml
<johnf__>
hi playing around with ocamllex and was trying to get it to match everything up to ";;" any ideas how? I was trying patterns like this, ((_+)? ";;")
waneck has quit [Ping timeout: 272 seconds]
creichert has quit [Quit: Leaving]
creichert has joined #ocaml
rgrinberg has joined #ocaml
<flux>
so I guess (_ *) ";;" doesn't match then?
swgillespie has joined #ocaml
<flux>
you probably want to use 'shortest' instead of 'parser' in this case as well
<johnf__>
flux, nope (_ *) ";;" also didn't match
<johnf__>
'shortest'? guess I don't know what that is
<flux>
rule p = shortest (_ *) as str ";;" { str }
<flux>
p (Lexing.from_string "hello world;;") -> "hello world"
emanuelz has joined #ocaml
struktured has quit [Ping timeout: 248 seconds]
<johnf__>
flux, aha as soon as I added shortest it works now
<flux>
well, it works with 'parse' as well..
<flux>
but with shortest this works as expected as well: p (Lexing.from_string "hello world;; aeae;;")
<johnf__>
hmm with parse if I put newlines it fails
creichert has quit [Quit: Leaving]
<flux>
so the problem is your other rules?
<johnf__>
must be
<flux>
you have a rule that says .*\n ?
<flux>
or hmm, no
<johnf__>
my only other rule is | eof
<flux>
you didn't quite originally state what the problem was, but if the problem was that it swallowed multiple fragments instead of the first one, then 'shortest' is the right fix for that
<flux>
I cannot reproduce other issues regarding newlines even if I put eof there.. whitespace should not matter at all unless there is a rule for whitespace.
<johnf__>
flux, shortest is actually what I want but before it was only matching eof and not matching ';;'.
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<johnf__>
so I think its probably something else that is there causing the issue. I'm also using Lexing.from_channel stdin
tane has joined #ocaml
struktured has joined #ocaml
amnn has joined #ocaml
jabesed has joined #ocaml
amnn has quit [Client Quit]
<ollehar>
johnf__: how about ^ ';;'
<ollehar>
?
<ollehar>
^ meaning "not"
<ollehar>
oh, already solved ^^
<flux>
^ only works for within character sets, as far as the documentation goes?
nullcat__ has joined #ocaml
nullcat has quit [Ping timeout: 256 seconds]
<SomeDamnBody>
hey
<SomeDamnBody>
Does anybody know what the memory impact of common operations like List.map are?
<SomeDamnBody>
I'd like to know if on every single List.map, a whole new list is being created.
<SomeDamnBody>
the same is true of append. Isn't that correct?
<SomeDamnBody>
Is there some way that I can make those operations more fast? I like functional programming, but I don't want the time or space overheads associated with it
<SomeDamnBody>
with it -> with nieve implementations :) (I do like OCaml)
walter|r has joined #ocaml
maufred has quit [Quit: leaving]
<ggole>
They both allocate new list structure
<ggole>
That's how the language works.
<ggole>
If you want mutable lists, you could use an extensible array. The stdlib lacks one, but there are libraries.
<antoineB`>
\leave
antoineB` has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
<SomeDamnBody>
ggole, hmm. So, supposing I take the reference of a list, and then pass !instance to the library for something like append
<SomeDamnBody>
then doesn't the reference now point to the now concatenated list?
<ggole>
The ref doesn't change unless you mutate it, no.
<SomeDamnBody>
so what I said doesn't work?
<ggole>
That's right.
<SomeDamnBody>
holy cow my code is suffering huuge performance issues
<ggole>
Are you calling append often?
<SomeDamnBody>
well, it's a whole lot of map
<ggole>
With one element to stick on the end?
<SomeDamnBody>
List.map is everywhere
<SomeDamnBody>
And it looks like my code honestly has a leak somewhere
<SomeDamnBody>
it just goes to use up all memory, then starts paging like no tomorrow
<SomeDamnBody>
I don't know where to find that leak
<ggole>
I'm not sure what advice to give here, since I know nothing about your program...
<ggole>
Sounds like it might be time for some different data structures though.
<SomeDamnBody>
*sigh
<SomeDamnBody>
an extensible array... do you know of any implementation in any library?
<ggole>
Core and batteries both have one
<SomeDamnBody>
I need something very much a drop in replacement of list
<SomeDamnBody>
Core.Std.Array?
<SomeDamnBody>
Does Array.map edit in place?
<ggole>
DynArray, I think. It is not a replacement for a list though.
<SomeDamnBody>
is there anything that does a map operation that doesn't consume so much memory?
<SomeDamnBody>
and are there any tools other than ocp-memprof that I can use to find memory leaks?
emanuelz has quit [Quit: emanuelz]
<SomeDamnBody>
I need it to work in the OCaml vernacular... I really don't want to use valgrind
<ggole>
For in-place update, arrays or extensible arrays are probably the way to go
struktured has quit [Ping timeout: 248 seconds]
maufred has joined #ocaml
<flux>
List.map doesn't really end up using a lot of memory if you don't keep hold of the original list. temporarily you have twice the memory usage, but eventually GC will clear out the old, unreferenced list
<flux>
if you are doing a lot of in-place mapping, then perhaps array indeed is the datastructure of choice.
maufred has quit [Quit: leaving]
maufred has joined #ocaml
Algebr has joined #ocaml
<Algebr>
Does oasis generate META or opam stuff?
johnf__ has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
cojy_ is now known as cojy
askr has joined #ocaml
sh0t has quit [Ping timeout: 246 seconds]
cojy has quit [Changing host]
cojy has joined #ocaml
cojy has joined #ocaml
<Drup>
Algebr: META yes, opam, no
<Drup>
but there is an oasis2opam too
<Drup>
which work reasonably, last time I tried
<Drup>
SomeDamnBody: just use ocp-memprof
<zozozo>
do you think the following would be of interest to anyone: a small library that automatically generate graphs of the representation of values in the memory, to output things like : http://gbury.eu/public/memgraph.svg ?
<Drup>
that's kinda precisely what ocp-memprof is doing :p
askr has quit [Ping timeout: 246 seconds]
waneck has joined #ocaml
PigDude has joined #ocaml
<adrien>
isn't it non-free ?
<zozozo>
really ? I knew about the part where it allows you to analyse how an ocaml program uses the memory, but I didn't know it could output these kind of graphs (I mean, linked graph of what happens in the memory)
<ggole>
How would you know how to print things?
<zozozo>
what do you mean ?
<ggole>
Well, a nullary constructor and an int look the same in memory
<zozozo>
yeah, and so they are printed the same
<ggole>
Ah, right
<ggole>
Might make it a bit different to read
<zozozo>
the empty list is represented as zero in the example above
Algebr has quit [Remote host closed the connection]
<Drup>
adrien: the patches on the compiler are open source, the dump analyzer is not
<Drup>
someone could technically make a FOSS dump analyzer (it's not a very complicated format)
<ggole>
zozozo: actually I've been wondering how to support similar things (although for slightly different reasons)
<ggole>
I had in mind an analogue of the common lisp 'inspect' feature
<zozozo>
ggole: currently, my (minimal) implementation, uses functions from the Obj module to analyse the representation of values
<ggole>
You could do better if the types are all known, but doing that is difficult
<zozozo>
yeah, and kind of the point is to show what really happens in the memory
<ggole>
Yeah, it should be good for that.
<ggole>
Do you handle cycles?
<zozozo>
yup
tarball13 has joined #ocaml
<ggole>
Nice.
<zozozo>
ggole: I could show you the code if you want
tarball13 has quit [Client Quit]
<ggole>
With types you could do some neat graph-searching stuff too
tarball13 has joined #ocaml
<zozozo>
it's not yet as proper as it should be, but still not too much of a hack
<ggole>
Count all the int lists in the heap of length 3, that sort of thing
<zozozo>
ggole: yeah, but then you'd need to do that from outside a program I think
<ggole>
Yes. From the repl, perhaps.
SomeDamnBody has quit [Ping timeout: 244 seconds]
<ggole>
Some of the research into tagless GC suggests methods for representing the shape of the heap in a typed way, but I think that those approaches have some problems
Algebr has joined #ocaml
<ggole>
And that would require a major overhaul of the runtime - something you'd do in a fresh implementation, maybe
nullcat__ has quit [Read error: Connection reset by peer]
nullcat_ has joined #ocaml
ollehar has joined #ocaml
blandflakes has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
blandflakes has quit [Client Quit]
blandflakes has joined #ocaml
blandflakes has quit [Client Quit]
johnf__ has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc_ has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
dalastboss has joined #ocaml
johnf__ has quit [Read error: Connection reset by peer]
<dalastboss>
Beginner question: is there a way to declare functors 'toplevel' the way file_name.ml is interpreted as a module named File_name in other files?
<Drup>
No
mcclurmc has quit [Ping timeout: 256 seconds]
<dalastboss>
Oh, damn.
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
mcclurmc has joined #ocaml
Kakadu has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 244 seconds]
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
zpe has joined #ocaml
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ygrek has joined #ocaml
dalastboss has quit [Quit: Page closed]
zpe has quit [Ping timeout: 246 seconds]
walter|r has joined #ocaml
obadz- has quit [Ping timeout: 255 seconds]
waneck has quit [Read error: Connection reset by peer]
johnf__ has joined #ocaml
obadz has joined #ocaml
pyon has quit [Quit: I have irrefutable proof that D < 0. It follows trivially from 2D > 3D, which is obviously true.]
waneck has joined #ocaml
lobo has quit [Quit: leaving]
nullcat_ has joined #ocaml
chris2 has quit [Ping timeout: 272 seconds]
chris2 has joined #ocaml
dhil has quit [Quit: Leaving]
pyon has joined #ocaml
pyon is now known as ninja-maid-robot
jabesed has quit [Ping timeout: 252 seconds]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
nullcat_ has joined #ocaml
sh0t has joined #ocaml
nullcat_ has quit [Ping timeout: 264 seconds]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
Simn has quit [Read error: Connection reset by peer]
mengu has joined #ocaml
mengu has joined #ocaml
mengu has quit [Remote host closed the connection]