[Haskell-cafe] GHC 6.6.1 and SELinux issues

2007-08-28 Thread Alexander Vodomerov
Hello! Does anybody here uses GHC on Linux with SELinux turned on? I've just installed SELinux and run into GHC/SELinux incompatibility. It seems that the similar problem was reported some time ago and was fixed in 6.4.3. However, I use 6.6.1 and the problem is still here. $ ghc ghc-6.6.1:

Re: [Haskell-cafe] GHC 6.6.1 and SELinux issues

2007-08-28 Thread Alexander Vodomerov
On Tue, Aug 28, 2007 at 08:05:02AM -0600, Stuart Jansen wrote: I'm using it on Fedora 7 without any problems. $ ls -Z $(which ghc) lrwxrwxrwx root root system_u:object_r:bin_t /usr/bin/ghc - ghc-6.6.1* $ ls -Z $(which ghci) lrwxrwxrwx root root system_u:object_r:bin_t

Re: [Haskell-cafe] GHC 6.6.1 and SELinux issues

2007-08-29 Thread Alexander Vodomerov
On Tue, Aug 28, 2007 at 08:53:05PM -0600, Stuart Jansen wrote: On Wed, 2007-08-29 at 00:59 +0400, Alexander Vodomerov wrote: In what domain do you run GHC? Sorry about that, should've dug deeper. And here we have the difference: $ ls -Z /usr/lib/ghc-6.6.1/ghc-6.6.1 -rwxr-xr-x root root

Re: [Haskell-cafe] GHC 6.6.1 and SELinux issues

2007-08-29 Thread Alexander Vodomerov
On Wed, Aug 29, 2007 at 08:41:12AM -0700, Bryan O'Sullivan wrote: The underlying problem is harder to fix: the default SELinux policy doesn't allow PROT_EXEC pages to be mapped with PROT_WRITE, for obvious reasons. The solution is expensive in terms of address space and TLB entries: map

Re: [Haskell-cafe] GHC 6.6.1 and SELinux issues

2007-09-02 Thread Alexander Vodomerov
On Wed, Aug 29, 2007 at 01:03:56PM -0700, Stefan O'Rear wrote: So it is not clear if GHC does really need this PROT_EXEC. Can someone familiar with GHC internals answer why PROT_EXEC is used in getMBlocks? It's not possible to correctly implement 'foreign import ccall wrapper' without

Re: [Haskell-cafe] GHC 6.6.1 and SELinux issues

2007-09-03 Thread Alexander Vodomerov
On Mon, Sep 03, 2007 at 02:56:52AM +0200, Bertram Felgenhauer wrote: Here is a small complete example for illustration: Thank you for detailed explanation! It is very helpful! Note that this function receives no additional context in its arguments. This is convenient but it means that each

[Haskell-cafe] process simulation in functional style

2006-07-16 Thread Alexander Vodomerov
Hello! I'm writing a program that simulates multiple processes. The processes may send/receive messages, do some work, or sleep for some amount of time. I have seen that many such things can be expressed in Haskell in very elegant manner using it functional or lazy properties. For example,

[Haskell-cafe] trace function

2006-07-20 Thread Alexander Vodomerov
Hello! The function trace is supposed to write debug messages to console. However, when I trying to run the following program import Debug.Trace main = do putStrLn xxx return (trace yyy ()) putStrLn zzz only xxx and zzz is displayed. yyy is missing. Why trace is not working? PS.

[Haskell-cafe] different performance of equivalent expression

2007-01-12 Thread Alexander Vodomerov
Hello! I've run into strange effect that I can not explain. I have simple expression that can be written by two equivalent ways. However one way give much performance gain over another. Here is an example: -- apply function many times (tail-recursive) many n f x = if n == 0 then x else many

[Haskell-cafe] strange performance of expression evaluators

2007-01-13 Thread Alexander Vodomerov
On Sat, Jan 13, 2007 at 11:44:38AM +1000, Matthew Brecknell wrote: So my advice here would be: always try the optimiser before you worry too much about strange performance! Thanks for help! I've done some more experiments. The following program defines simple arithmetic expression with indexed

[Haskell-cafe] newbie question about denotational semantics

2007-02-20 Thread Alexander Vodomerov
Hi all! I'm just started learning denotational semantics and have a simple question. Suppose, we have simple language L (e.g. some form of lambda-calculus) and have a semantic function: E : Term_L - Value. Now, suppose, we extended our language with some additional side-effects (e.g. state

[Haskell-cafe] compiling shared library with GHC on x86-64

2007-06-06 Thread Alexander Vodomerov
Hello! I'm trying to build shared library from Haskell source to call it from external C program. Everything works fine on usual x86 machine. However, any attempt to compile code as position independent on x86-64 result in fatal error. This is simple example: $ cat adder.hs module Adder