flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.0 out now! Get yours from http://caml.inria.fr/ocaml/release.html
<sfmatt> I should
hkBst has quit [Read error: 104 (Connection reset by peer)]
<thelema> sfmatt: you should, but I meant top-level as in "not inside another [let]", and not as toplevel, the REPL
<christian_> do you know the name of the hardened kernel? I dont find infos...
<christian_> uh...wrong channel...srry
<thelema> christian_: nsa's?
<christian_> perhaps
<christian_> but i dont trust nsa
<christian_> :)
<christian_> i am just talking in xubuntu about encryption of the whole installation and hardening the kernel
<christian_> bacause of paranoia purposes ;)
<kaustuv_> I used to use the top level much more until I discovered C-c C-t
<sfmatt> Strange I tried but I get syntax errors
<sfmatt> (removing the in after the top-level lets)
<sfmatt> replacing by ;
<sfmatt> or not, same result but the location of the error changes
<guest1234> How do I print the contents of a list?
<Ariens_Hyperion> guest1234: List.iter (fun f -> <print function>(f)) list
<guest1234> I know this is FSharp but can anyone help me figure out what the problem is with this code. The 'f' is highlighted and says I have a type mismatch float list -> float -> float list but have float list -> int -> float list
<guest1234> getVertices is where the error occurs
<sfmatt> quick match question
<sfmatt> how do I match Element of (string * (string * string) list * document list)?
<sfmatt> match ... with Element (s * l * d) -> does not work
<thelema> sfmatt: Element (s,l,d) ->
<kaustuv_> sfmatt: drop the outer parens after of
Associat0r has quit []
<sfmatt> thanks again!
<thelema> kaustuv_: slight efficiency increase if extra boxing isn't used, yes. not important for a beginner, do you think?
<tsuyoshi> guest1234: what is get supposed to do?
<kaustuv_> thelema: I think it's important not to pick up bad habits
<guest1234> in FSharp is there a way to print a string representation of a list?
<Ariens_Hyperion> f [] m n
<Ariens_Hyperion> isnt m a matrix
<Ariens_Hyperion> in the let it is used as an int
<thelema> kaustuv_: not always a bad choice.
<Ariens_Hyperion> guest1234: nvm
<guest1234> Ariens_Hyperion: I fixed it with (int j)
<guest1234> Ariens_Hyperion: the get call wanted a two ints and was getting int float
<tsuyoshi> this is confusing.. but probably because I never used fsharp
<guest1234> Ariens_Hyperion: But how can I print the contents of the list?
<Ariens_Hyperion> in ocaml?
<kaustuv_> let string_of_list ef l = "[" ^ String.concat "; " (List.map ef l) ^ "]"
Ariens_Hyperion has quit []
<tsuyoshi> oh I see.. the get and set must come from Microsoft.FSharp.Math.Matrix
<guest1234> in FSharp, no one is responding in #fsharp
<guest1234> tsuyoshi: yes
<tsuyoshi> I hate open
<kaustuv_> doesn't everything have a toString method in .Net land?
<guest1234> kaustuv: I tried that it doesn't work tho
<guest1234> Printf.printfn "%s" adjMatrix.getVertices(0).ToString
<thelema> kaustuv_: your getVertices isn't accumulating (r,c) pairs, it's accumulating... whatever get returns
<kaustuv_> According to http://research.microsoft.com/en-us/um/cambridge/projects/fsharp/manual/fsharp.core/microsoft.fsharp.core.string.html, Microsoft.FSharp.Core.String has the concat method I used above
<guest1234> Complains and says like successive arguments should be parentised or something
<thelema> err, not for kaustuv_
<kaustuv_> oh, I guess string concat is + not ^ in F#
<guest1234> kaustuv_: how do I apply that?
<guest1234> kaustuv_: what is 'ef'
christian_ has quit [Remote closed the connection]
* guest1234 checks it out
<guest1234> kaustuv_: so like Printf.printfn "%s" any_to_string(adjMatrix.getVertices(0)) ?
<guest1234> maybe I'm not using it right
<kaustuv_> I would try: Printf.printfn "%s" (any_to_string (adjMatrix.getVertices 0))
<kaustuv_> But I have no clue about F#
<guest1234> Well it was the correct syntax but it blew up
<guest1234> System.IndexOutOfRangeException: Index was outside the bounds of the array.
<guest1234> at Microsoft.FSharp.Math.RawMatrixOps.Specialized.getM[T](Matrix`1 a, Int32 i, Int32 j)
<guest1234> at Microsoft.FSharp.Math.MatrixModule.foldRow[A](FastFunc`2 f, A z, Matrix`1 a, Int32 i)
<guest1234> at FSI_0011.Graph.getVertices(Int32 i) in C:\Documents and Settings\Charlie\My Documents\Visual Studio 2008\Projects\ConsoleApplication1\ConsoleApplication1\File1.fsx:line 23
<guest1234> at <StartupCode$FSI_0011>.$FSI_0011._main() in C:\Documents and Settings\Charlie\My Documents\Visual Studio 2008\Projects\ConsoleApplication1\ConsoleApplication1\File1.fsx:line 44
<guest1234> stopped due to error
<guest1234> doh
<kaustuv_> Does F# have an interactive toplevel?
AxleLonghorn has left #ocaml []
<thelema> kaustuv_: it does
<kaustuv_> what is the least amount of effort needed to get an F# toplevel up from scratch on Debian amd64 linux? Is it possible?
<guest1234> kaustuv_: I had it set up on Suse but that was using the Mono project.
<thelema> kaustuv_: step 1: install mono, step 2, download f# executables
<thelema> step 3: run #2 with #1
<kaustuv_> "Ahead of time compilation"? This is buzzword compliance gone mad.
<thelema> someone is starting to think that JIT is the norm, and that compilation done ahead of time is something special...
<kaustuv_> So installing this requires me to run some random installation script as root. I think I'll do this on my test machine at work tomorrow instead of potentially hosing my main work laptop.
mikaz has left #ocaml []
<Yoric[DT]> 'night everyone
Yoric[DT] has quit ["Ex-Chat"]
Komar_ has quit [Read error: 113 (No route to host)]
sgwizdak has joined #ocaml
mjonsson has joined #ocaml
pants3 has quit [Remote closed the connection]
guest1234 has left #ocaml []
Komar_ has joined #ocaml
seafood has joined #ocaml
Komar_ has quit [Remote closed the connection]
Komar_ has joined #ocaml
Komar_ has quit [Remote closed the connection]
Komar_ has joined #ocaml
Yoric[DT] has joined #ocaml
Komar_ has quit [Remote closed the connection]
Komar_ has joined #ocaml
seafood has quit [Read error: 110 (Connection timed out)]
Ori_B has quit [Remote closed the connection]
Komar_ has quit [Read error: 113 (No route to host)]
<Yoric[DT]> Well, time to go and give 10h of exam.
Yoric[DT] has quit ["Ex-Chat"]
<sfmatt> sorry, another beginner question
<sfmatt> type Mints = Int of int;
<sfmatt> let a = Int 4;
Ori_B has joined #ocaml
<sfmatt> is there any other way than using match to have let b = ....(a) resulting in b= 4?
<sfmatt> let b = match a with Int n -> n; is my only solution?
Camarade_Tux has joined #ocaml
AxleLonghorn has joined #ocaml
deech has quit [Read error: 104 (Connection reset by peer)]
Komar_ has joined #ocaml
nuncanada has joined #ocaml
deech has joined #ocaml
AxleLonghorn has left #ocaml []
seafood has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
Yoric has joined #ocaml
<hlab> is there some sort of equivalent to if 5 = _ then ...?
<hlab> in my specific case 5 is some type i've defined but i want the statement to be true if its any of the values
<hlab> like: type foobar = A | B | C | D, if (A, 3) = (_, 3) then ...
<gl> i suggest you use the pattern matching (if i've correctly understood the question)
<hlab> hmm ok
<gl> type foobar = Foo of int | Bar of bar (a previously defined type);; let youpi x = match x with Foo(i) -> handle the int case | Bar(_) -> well, you know what to do here;;
<gl> does this respond to your question?
xerxes has joined #ocaml
<Yoric> Hi
<hlab> gl, yes :]
<hlab> thanks
<hlab> hello Yoric
<gl> yoric there is a typo in your website
<hlab> hasnt been 10h yet has it?
<gl> Gros_Bill -> Black Lagoon -> "de plus en plsu"
<gl> (hello, btw)
<hlab> can you nest match statements?
<gl> yes, you can!
<hlab> hmm.. i think my ordering or something is wrong
<hlab> is it nested as indented? or is the last case part of the inner match? http://rafb.net/p/mdyiy220.html
<Yoric> gl: where is that?
<Yoric> And who is that? :)
<Yoric> Ah, that would be on malsain.org, is that it?
<gl> yoric on malsain.org, section munchkin (gros bill), in the description of black lagoon
<Yoric> It's not my website.
<gl> okay
<Yoric> But I'll warn the owner :)
<gl> hlab try to use parenthesis to remove ambiguity
<Yoric> Owner informed.
<hlab> in (match ph ...) ?
<gl> for example
<hlab> :]
<hlab> thanks again
<gl> i didn't say that it will work
<hlab> i just tried it
<gl> try it before greeting me:)
<gl> ok
<hlab> i tried befor the smiley
<Yoric> gl: should be fixed :)
<Yoric> The owner thanks you.
_zack has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
<gl> he's welcome!
xerxes has quit [Remote closed the connection]
kaustuv_ has quit ["ERC Version 5.3 (IRC client for Emacs)"]
seafood has quit []
_zack has quit ["Leaving."]
_zack has joined #ocaml
totom has quit [Read error: 110 (Connection timed out)]
_zack has quit [Client Quit]
rwmjones_ has joined #ocaml
totom has joined #ocaml
pants1 has joined #ocaml
_zack has joined #ocaml
hkBst has joined #ocaml
Yoric has quit [Remote closed the connection]
Yoric has joined #ocaml
filp has joined #ocaml
_zack has quit ["Leaving."]
jeanbon has joined #ocaml
_zack has joined #ocaml
_zack has quit [Client Quit]
jknick has quit ["Lost terminal"]
LeCamarade has joined #ocaml
Spiwack has joined #ocaml
ztfw`` has quit [Remote closed the connection]
hkBst has quit [Read error: 104 (Connection reset by peer)]
nucleos has joined #ocaml
<nucleos> hello. I need some help on Ocamlforge. May someone help me?
<nucleos> The problem: i am not anymore the administrator of my own project. how weird.
<gildor> nucleos: what is your project
<nucleos> ocaml-solitaire
<gildor> job done
<nucleos> thanks a lot!
<gildor> is this intentional to have downgrade your status or is it a bug ?
<nucleos> the thing is weird though: i couldn't bring back *my* powers. There should be "ownership" of the project, or something like that. The project was owned by noone!
<nucleos> i did it
<nucleos> but it was not intentional
<gildor> the project is owned by administrator
<gildor> every project is owned by site administrator
<gildor> (i.e. root)
<nucleos> i understand. But see, in IRC, you cannot possibly have a channel without an owner. There might be no "administrator", but there must be an owner.
<gildor> nucleos: you can have a channel without an owner on IRC...
<gildor> (at least no ops)
<nucleos> that's it
<nucleos> no ops
<nucleos> but there is always an owner. it depends on the implementation of the servers. But usually with Nickserv, it works like that.
<gildor> e.g. channel #debian-ocaml
<nucleos> #debian-ocaml is not registered
<nucleos> (i mean: by chanserv)
<gildor> it is on freenode
<nucleos> yep
<nucleos> but it's not registered by chanserv
<nucleos> do /msg chanserv info #debian-ocaml
<gildor> maybe it is on OFTC
<nucleos> thus when everyone in #debian-ocaml leaves the channel, the first to enter in the channel next will be op.
<nucleos> anyway... i'd feel safer if i couldn't "lose" my project. :p
<gildor> you don't loose it
<gildor> you just have to ask admin to give it right to you
<nucleos> that's right. never mind.
<gildor> I don't know why gforge allow to drop your admin privilege
<nucleos> that's what i meant: it's creepy!
<gildor> maybe it has something to do with the fact that you can "orphan" a project
<gildor> it is coded using PHP: it's creepy by essence!
<nucleos> lol
<nucleos> i thought it was caml-based
<gildor> but gforge is by far the most easy to install/administer forge like project
<nucleos> i'm sure there is somewhere someone coding a caml-based forge.
<nucleos> :)
<gildor> no gforge is a most wider project, used to run sourceforge, savannah, gna...
<nucleos> ok
<gildor> (well fork of it)
<gildor> I even probably know someone that want to code a forge like project to replace gforge ;-)
<gildor> but this is a secret
<gildor> and if this happen, ocamlcore.org will host it, and ocaml project hosted on forge.ocamlcore.org will have the option to migrate to a ocaml-based forge if this happen
jedai has quit [Read error: 110 (Connection timed out)]
pants1 has quit [Remote closed the connection]
<nucleos> gildor, in fact, i know this guy too.
LeCamarade has quit [Read error: 60 (Operation timed out)]
LeCamarade has joined #ocaml
_zack has joined #ocaml
_zack has quit [Client Quit]
_zack has joined #ocaml
maskd has joined #ocaml
dejxu has joined #ocaml
willb has joined #ocaml
<dejxu> hello, i just started with F# and i just for fun i wanted to write program what will eliminite all numbers with '1' in it from 1..1000
<dejxu> 10, 21, 31,... 1000
<grirgz> dejxu: so what is the problem ?
<dejxu> i just kind of dont know where to start, i write let numbers = 1..1000 then in second line let onesout = numbers |> what here
<dejxu> or shall i go with for loop?
<grirgz> first, write a function which return false if a number contain 1 and true otherwise
<grirgz> then, you have several solutions, for example, you could use: List.filter contain_no_one_function 1000_number_list
Associat0r has joined #ocaml
<grirgz> or if you don't want to have a big list in memory, you can do a recursive call or a for loop
ztfw has joined #ocaml
_zack has quit ["Leaving."]
nucleos has quit [Read error: 110 (Connection timed out)]
mishok13 has quit [Read error: 60 (Operation timed out)]
<palomer> hrmph
* palomer embarks on a path of skipping the use of ocamlpacks
jamii has joined #ocaml
<palomer> http://pastebin.com/m18c41a9c <--im getting a boat load of link errors
mishok13 has joined #ocaml
<palomer> anyone have any ideas?
<mrvn> You need to link in sdl
<kaustuv> PACKS = pack1 pack2 camlsdl etc
sgwizdak has quit [Read error: 110 (Connection timed out)]
nucleos has joined #ocaml
_zack has joined #ocaml
palomer has quit [Read error: 110 (Connection timed out)]
Associ8or has joined #ocaml
nucleos_ has joined #ocaml
nucleos has quit [Read error: 110 (Connection timed out)]
Amorphous has quit [Connection timed out]
Spiwack has quit ["Leaving"]
jeanbon has quit ["EOF"]
Amorphous has joined #ocaml
Associat0r has quit [Connection timed out]
jeanbon has joined #ocaml
LeCamarade has quit ["Gone."]
nucleos_ has quit [Read error: 110 (Connection timed out)]
Komar_ has quit [Remote closed the connection]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
Yoric has quit ["Ex-Chat"]
_zack has quit ["Leaving."]
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has joined #ocaml
komar_ has joined #ocaml
filp has quit ["Bye"]
jamii has quit [Read error: 104 (Connection reset by peer)]
deech has quit [Read error: 104 (Connection reset by peer)]
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has joined #ocaml
<dejxu> grirgz
<dejxu> let check n = n.ToString().Contains("1")
deech has joined #ocaml
<dejxu> something like this right?
<grirgz> dejxu: is F# really like ocaml ?
<dejxu> okey sorry
dejxu has left #ocaml []
grirgz has quit [Read error: 104 (Connection reset by peer)]
Yoric[DT] has joined #ocaml
Associ8or has quit [Client Quit]
willb has quit [Read error: 110 (Connection timed out)]
kaustuv_ has joined #ocaml
Ched has joined #ocaml
Ched has quit [Read error: 104 (Connection reset by peer)]
Ched has joined #ocaml
willb has joined #ocaml
<hcarty> Yoric[DT]: It looks like your Makefile.in fix missed a trailing \ on the ocamlbuild line - http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=batteries/batteries.git;a=blobdiff;f=Makefile.in;h=f63885ed409428b1b43411ab4919606e643e1b71;hp=544762ad04077407463feac5f4bbfc20a23484a3;hb=d6b4dc710d1d1097a85bbfa777165d410eb73ea5;hpb=99d62c947c488e0303dc79cc5d74b347e02b0b56
<hcarty> Oh my, very sorry about that
<hcarty> Didn't mean to paste the full URL
Alpounet has quit [Read error: 110 (Connection timed out)]
oof has quit ["Leaving"]
<Yoric[DT]> I'll take a look, thanks.
<Yoric[DT]> Fixed, thanks.
ahnfelt has joined #ocaml
<hcarty> Yoric[DT]: You're welcome
<ahnfelt> When using -vmthread with ocamlc I get this error:
<ahnfelt> Error: Error while linking /usr/local/lib/ocaml/vmthreads/stdlib.cma(Pervasives):
<ahnfelt> The external function `thread_wait_write' is not available
<ahnfelt> At ubuntu 8.10
<ahnfelt> it's the same when compiling from source as via apt-get
<ahnfelt> my friend has the same problem at gentoo
<ahnfelt> Any idea why this might be?
ahnfelt has quit ["Lost terminal"]
mjonsson has quit [Read error: 110 (Connection timed out)]
monadic_kid has joined #ocaml
Ched has quit ["Ex-Chat"]
thelema has quit [Read error: 60 (Operation timed out)]
hkBst has joined #ocaml
xerxes has joined #ocaml
jedai has joined #ocaml
Ched has joined #ocaml
monadic_kid has quit ["Leaving"]
ChristopheT has joined #ocaml
ChristopheT has quit [Remote closed the connection]
slash_ has joined #ocaml
Ariens_Hyperion has joined #ocaml
monadic_kid has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
thelema has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
jeddhaberstro has joined #ocaml
willb has quit [Read error: 110 (Connection timed out)]
Ariens_Hyperion has quit []
rwmjones_ has quit ["Closed connection"]
AxleLonghorn has joined #ocaml
slash_ has quit [Client Quit]
komar_ has quit [Read error: 104 (Connection reset by peer)]
monadic_kid has quit ["Leaving"]