Send Beginners mailing list submissions to
[email protected]
To subscribe or unsubscribe via the World Wide Web, visit
http://www.haskell.org/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
[email protected]
You can reach the person managing the list at
[email protected]
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."
Today's Topics:
1. problem installing network on windows (Emmanuel Touzery)
2. Re: problem installing network on windows (Emmanuel Touzery)
3. Re: problem installing network on windows (Emmanuel Touzery)
4. Type checking to prevent data injection attacks? (Mike Meyer)
5. Re: Type checking to prevent data injection attacks? (Peter Hall)
6. Re: problem installing network on windows (Emmanuel Touzery)
----------------------------------------------------------------------
Message: 1
Date: Fri, 21 Dec 2012 20:58:42 +0100
From: Emmanuel Touzery <[email protected]>
Subject: [Haskell-beginners] problem installing network on windows
To: Haskell Beginners <[email protected]>
Message-ID: <[email protected]>
Content-Type: text/plain; charset="iso-8859-1"; Format="flowed"
this is using GHC 7.4.1 and using the cabal which came with the latest
haskell platform. I wiped clean my$HOME/cabal and $HOME/ghc, $HOME being
%AppData%.
In $HOME/cabal/configI set those options:
library-profiling: True
user-install: True
Any idea?
emmanuel
...
[8 of 8] Compiling Network ( Network.hs, dist\build\Network.p_o )
Network.hs:291:13: Warning:
Pattern match(es) are overlapped
In a case alternative: _ -> ...
Registering network-2.4.0.1...
Installing library in
C:\Users\emmanuelto\AppData\Roaming\cabal\network-2.4.0.1\ghc-7.6.1
Registering network-2.4.0.1...
cabal: Error: some packages failed to install:
network-2.4.0.1 failed while downloading the package. The exception was:
DeleteFile
"C:\\Users\\EMMANU~1\\AppData\\Local\\Temp\\network-2.4.0.1-2768\\network-2.4.0.
1\\conf5576.lnk":
permission denied (Access is denied.)
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20121221/9638ed38/attachment-0001.htm>
------------------------------
Message: 2
Date: Fri, 21 Dec 2012 21:36:14 +0100
From: Emmanuel Touzery <[email protected]>
Subject: Re: [Haskell-beginners] problem installing network on windows
To: Haskell Beginners <[email protected]>
Message-ID:
<CAC42Re=eau71AuiE5BpYpk=FPiRkT39EkarQDhFou=31asd...@mail.gmail.com>
Content-Type: text/plain; charset="iso-8859-1"
hmm maybe a step forward...
running:
cabal install network --reinstall -v
the final output lines are in fact:
Registering network-2.4.0.1...
C:\ghc\ghc-7.6.1\bin\ghc-pkg.exe update - --global --user
cabal: permission denied
On Fri, Dec 21, 2012 at 8:58 PM, Emmanuel Touzery <[email protected]>wrote:
> this is using GHC 7.4.1 and using the cabal which came with the latest
> haskell platform. I wiped clean my $HOME/cabal and $HOME/ghc, $HOME being
> %AppData%.
>
> In $HOME/cabal/config I set those options:
> library-profiling: True
> user-install: True
>
> Any idea?
>
> emmanuel
>
> ...
> [8 of 8] Compiling Network ( Network.hs, dist\build\Network.p_o )
>
> Network.hs:291:13: Warning:
> Pattern match(es) are overlapped
> In a case alternative: _ -> ...
> Registering network-2.4.0.1...
> Installing library in
> C:\Users\emmanuelto\AppData\Roaming\cabal\network-2.4.0.1\ghc-7.6.1
> Registering network-2.4.0.1...
> cabal: Error: some packages failed to install:
> network-2.4.0.1 failed while downloading the package. The exception was:
> DeleteFile
>
> "C:\\Users\\EMMANU~1\\AppData\\Local\\Temp\\network-2.4.0.1-2768\\network-2.4.0.
> 1\\conf5576.lnk":
> permission denied (Access is denied.)
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20121221/4eece622/attachment-0001.htm>
------------------------------
Message: 3
Date: Fri, 21 Dec 2012 21:44:12 +0100
From: Emmanuel Touzery <[email protected]>
Subject: Re: [Haskell-beginners] problem installing network on windows
To: Haskell Beginners <[email protected]>
Message-ID:
<cac42rekh8ltreok7pyaku5fytd2s+3h_vuiye4vpem+g_gw...@mail.gmail.com>
Content-Type: text/plain; charset="iso-8859-1"
running cmd.exe as admin or marking ghc-pkg to be run as administrator does
not help.
On Fri, Dec 21, 2012 at 9:36 PM, Emmanuel Touzery <[email protected]>wrote:
> hmm maybe a step forward...
>
> running:
> cabal install network --reinstall -v
>
> the final output lines are in fact:
>
> Registering network-2.4.0.1...
> C:\ghc\ghc-7.6.1\bin\ghc-pkg.exe update - --global --user
> cabal: permission denied
>
>
> On Fri, Dec 21, 2012 at 8:58 PM, Emmanuel Touzery <[email protected]>wrote:
>
>> this is using GHC 7.4.1 and using the cabal which came with the latest
>> haskell platform. I wiped clean my $HOME/cabal and $HOME/ghc, $HOME
>> being %AppData%.
>>
>> In $HOME/cabal/config I set those options:
>> library-profiling: True
>> user-install: True
>>
>> Any idea?
>>
>> emmanuel
>>
>> ...
>> [8 of 8] Compiling Network ( Network.hs, dist\build\Network.p_o )
>>
>> Network.hs:291:13: Warning:
>> Pattern match(es) are overlapped
>> In a case alternative: _ -> ...
>> Registering network-2.4.0.1...
>> Installing library in
>> C:\Users\emmanuelto\AppData\Roaming\cabal\network-2.4.0.1\ghc-7.6.1
>> Registering network-2.4.0.1...
>> cabal: Error: some packages failed to install:
>> network-2.4.0.1 failed while downloading the package. The exception was:
>> DeleteFile
>>
>> "C:\\Users\\EMMANU~1\\AppData\\Local\\Temp\\network-2.4.0.1-2768\\network-2.4.0.
>> 1\\conf5576.lnk":
>> permission denied (Access is denied.)
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20121221/01b94d07/attachment-0001.htm>
------------------------------
Message: 4
Date: Fri, 21 Dec 2012 14:49:20 -0600
From: Mike Meyer <[email protected]>
Subject: [Haskell-beginners] Type checking to prevent data injection
attacks?
To: beginners <[email protected]>
Message-ID:
<CAD=7U2CrqPKUuP9h+7+vRr=smk_eibnwtnf944xkhuwtz8w...@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
While thinking about my next blog posting, I realized that it was a
technique similar to what Perl does with the concept of "tainted"
strings.
If you're not familiar with it (and I'm probably getting the details
wrong, not having written any perl in decades), a string that comes
from an external source is considered "tainted". String constants in
the program source are not. There's a builtin that can be used to say
that declares a tainted string as not being tainted (presumably, the
programmer has examined it somehow to determine this). Any string
operations that return strings return tainted strings if any of the
strings involved were tainted. Finally, functions that are subject to
data injection attacks don't work on tainted strings.
It seems like the Haskell type system ought to be able to support
this. I can see a couple of approaches that might work (a "tainted"
monad for use on the different string types or an Either-ish datatype)
that might work, but don't have the chops to decide which approach
might be better - or maybe that the answer is that it depends on the
goal.
I did some googling for this, but didn't turn up anything that seemed
promising. Lots of stuff on type checking untrusted values, but no
flagging strings as untrusted. Which leaves the questions...
Is this actually a sane idea?
Is there already a Haskell package that does this? Possibly part of a
web framework?
A package for another language, or a paper discussing doing this?
Thoughts on other approaches than the two I mentioned?
Thoughts on the best way do to do this?
Thanks,
<mike
------------------------------
Message: 5
Date: Fri, 21 Dec 2012 21:01:37 +0000
From: Peter Hall <[email protected]>
Subject: Re: [Haskell-beginners] Type checking to prevent data
injection attacks?
To: Mike Meyer <[email protected]>
Cc: beginners <[email protected]>
Message-ID:
<caa6hak5wxehchyt36buszvqtfe9zqjo2s33+hdmlj-pi7hr...@mail.gmail.com>
Content-Type: text/plain; charset="iso-8859-1"
Yep, search for the standard examples of Phantom Types.
Peter
On 21 December 2012 20:49, Mike Meyer <[email protected]> wrote:
> While thinking about my next blog posting, I realized that it was a
> technique similar to what Perl does with the concept of "tainted"
> strings.
>
> If you're not familiar with it (and I'm probably getting the details
> wrong, not having written any perl in decades), a string that comes
> from an external source is considered "tainted". String constants in
> the program source are not. There's a builtin that can be used to say
> that declares a tainted string as not being tainted (presumably, the
> programmer has examined it somehow to determine this). Any string
> operations that return strings return tainted strings if any of the
> strings involved were tainted. Finally, functions that are subject to
> data injection attacks don't work on tainted strings.
>
> It seems like the Haskell type system ought to be able to support
> this. I can see a couple of approaches that might work (a "tainted"
> monad for use on the different string types or an Either-ish datatype)
> that might work, but don't have the chops to decide which approach
> might be better - or maybe that the answer is that it depends on the
> goal.
>
> I did some googling for this, but didn't turn up anything that seemed
> promising. Lots of stuff on type checking untrusted values, but no
> flagging strings as untrusted. Which leaves the questions...
>
> Is this actually a sane idea?
>
> Is there already a Haskell package that does this? Possibly part of a
> web framework?
>
> A package for another language, or a paper discussing doing this?
>
> Thoughts on other approaches than the two I mentioned?
>
> Thoughts on the best way do to do this?
>
> Thanks,
> <mike
>
> _______________________________________________
> Beginners mailing list
> [email protected]
> http://www.haskell.org/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20121221/ccf1ee8f/attachment-0001.htm>
------------------------------
Message: 6
Date: Fri, 21 Dec 2012 22:11:55 +0100
From: Emmanuel Touzery <[email protected]>
Subject: Re: [Haskell-beginners] problem installing network on windows
To: Haskell Beginners <[email protected]>
Message-ID:
<cac42rekrzvpmz6pwoh2q5xspb8zyrnwwm0qf+39gxrbswyb...@mail.gmail.com>
Content-Type: text/plain; charset="iso-8859-1"
i think it works now, although i still get a permission denied error, the
package appears registered.
ghc-pkg list | grep network
shows the package and i can install further packages.
so i guess the problem is solved now... not sure which step made it work
in the end.. probably the admin rights.
emmanuel
On Fri, Dec 21, 2012 at 9:44 PM, Emmanuel Touzery <[email protected]>wrote:
> running cmd.exe as admin or marking ghc-pkg to be run as administrator
> does not help.
>
>
> On Fri, Dec 21, 2012 at 9:36 PM, Emmanuel Touzery <[email protected]>wrote:
>
>> hmm maybe a step forward...
>>
>> running:
>> cabal install network --reinstall -v
>>
>> the final output lines are in fact:
>>
>> Registering network-2.4.0.1...
>> C:\ghc\ghc-7.6.1\bin\ghc-pkg.exe update - --global --user
>> cabal: permission denied
>>
>>
>> On Fri, Dec 21, 2012 at 8:58 PM, Emmanuel Touzery <[email protected]>wrote:
>>
>>> this is using GHC 7.4.1 and using the cabal which came with the latest
>>> haskell platform. I wiped clean my $HOME/cabal and $HOME/ghc, $HOME
>>> being %AppData%.
>>>
>>> In $HOME/cabal/config I set those options:
>>> library-profiling: True
>>> user-install: True
>>>
>>> Any idea?
>>>
>>> emmanuel
>>>
>>> ...
>>> [8 of 8] Compiling Network ( Network.hs, dist\build\Network.p_o
>>> )
>>>
>>> Network.hs:291:13: Warning:
>>> Pattern match(es) are overlapped
>>> In a case alternative: _ -> ...
>>> Registering network-2.4.0.1...
>>> Installing library in
>>> C:\Users\emmanuelto\AppData\Roaming\cabal\network-2.4.0.1\ghc-7.6.1
>>> Registering network-2.4.0.1...
>>> cabal: Error: some packages failed to install:
>>> network-2.4.0.1 failed while downloading the package. The exception was:
>>> DeleteFile
>>>
>>> "C:\\Users\\EMMANU~1\\AppData\\Local\\Temp\\network-2.4.0.1-2768\\network-2.4.0.
>>> 1\\conf5576.lnk":
>>> permission denied (Access is denied.)
>>>
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20121221/fa06065b/attachment.htm>
------------------------------
_______________________________________________
Beginners mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/beginners
End of Beginners Digest, Vol 54, Issue 33
*****************************************
