, David Terei wrote:
+ Safe Haskell, however, does not offer compilation
+ safety.
Is this a bug? A few lines lower down the docs say that "Compiling and
executing untrusted code" is one of the two use cases for Safe Haskell.
What matters is, does this problem make Safe Haskell unusable.
:20PM -0800, David Terei wrote:
> >>>>
> >>>>+ Safe Haskell, however, does not offer compilation
> >>>>+ safety.
> >>>
> >>>Is this a bug? A few lines lower down the docs say that "Compiling and
> >>>executing untrusted code&q
On 10/11/2012 02:47, Ian Lynagh wrote:
On Fri, Nov 09, 2012 at 05:46:05PM -0800, David Terei wrote:
On 9 November 2012 17:36, Ian Lynagh wrote:
On Fri, Nov 09, 2012 at 04:34:20PM -0800, David Terei wrote:
+ Safe Haskell, however, does not offer compilation
+ safety.
Is this a bug? A few
On Fri, Nov 09, 2012 at 05:46:05PM -0800, David Terei wrote:
> On 9 November 2012 17:36, Ian Lynagh wrote:
> > On Fri, Nov 09, 2012 at 04:34:20PM -0800, David Terei wrote:
> >>
> >> + Safe Haskell, however, does not offer compilation
> >> + safety.
> >
On 9 November 2012 17:36, Ian Lynagh wrote:
>
> Hi David,
>
> On Fri, Nov 09, 2012 at 04:34:20PM -0800, David Terei wrote:
>>
>> + Safe Haskell, however, does not offer compilation
>> + safety.
>
> Is this a bug? A few lines lower down the docs say that "
Hi David,
On Fri, Nov 09, 2012 at 04:34:20PM -0800, David Terei wrote:
>
> + Safe Haskell, however, does not offer compilation
> + safety.
Is this a bug? A few lines lower down the docs say that "Compiling and
executing untrusted code" is one of the two use cases for Saf
rei
Date: Fri Nov 9 16:33:36 2012 -0800
add note about compilation safety to safe haskell docs
>---
docs/users_guide/safe_haskell.xml | 52 +
1 files changed, 52 insertions(+), 0 deletions(-)
vid Terei
Date: Wed Aug 22 23:16:24 2012 -0700
Add more safe haskell test coverage.
MERGED from commit 5a9f24dab26fab33c7d469e6d703de40a3daa359
tests/safeHaskell/check/Check09.hs |1 +
tests/safeHaskell/check/Check10.hs |1 +
tests/safeHask
rei
Date: Thu Aug 23 00:29:02 2012 -0700
Improve Safe Haskell warn/error output.
MERGED from commit 2b5b178f4880b8034ef8c187e6227cfc09edf0d5
>---
compiler/main/HscMain.hs | 16 +---
ghc/Interactiv
rei
Date: Thu Aug 23 00:29:02 2012 -0700
Improve Safe Haskell warn/error output.
>---
compiler/main/HscMain.hs | 16 +---
ghc/InteractiveUI.hs |6 +-
2 files changed, 10 insertions(+), 12 deletions(-)
vid Terei
Date: Wed Aug 22 23:16:24 2012 -0700
Add more safe haskell test coverage.
tests/safeHaskell/check/Check09.hs |1 +
tests/safeHaskell/check/Check10.hs |1 +
tests/safeHaskell/check/pkg01/ImpSafeOnly05.hs |8
tests/safeHask
vid Terei
Date: Tue Apr 10 10:46:56 2012 -0700
Update Safe Haskell tests for changed format.
>---
tests/safeHaskell/check/Check09.stderr |3 ++-
tests/safeHaskell/ghci/p11.stderr |3 ++-
vid Terei
Date: Tue Apr 3 17:58:02 2012 -0700
Fix reporting of modules safe haskell mode (#5989)
>---
src/Haddock/Interface/Create.hs |3 ++-
src/Haddock/Interface/LexParseRn.hs |8
2 files changed, 6 inse
vid Terei
Date: Tue Apr 3 12:35:46 2012 -0700
Update safe haskell tests for change output formatting
tests/safeHaskell/check/pkg01/ImpSafe01.stderr |3 ++-
tests/safeHaskell/check/pkg01/ImpSafeOnly03.stderr |3 ++-
tests/safeHaskell/flags/SafeFlags17.stderr |3 ++-
te
rei
Date: Mon Apr 2 19:00:51 2012 -0700
Fix GHC API with respect to safe haskell. (#5989)
This fixes haddock so it correctly reports
the safe haskell mode of a module.
compiler/deSugar/Desugar.lhs |3 +
compiler/iface/MkIface.lhs| 42 +++---
compiler/m
rei
Date: Tue Apr 3 12:37:30 2012 -0700
Update safe haskell error/warn formatting
>---
compiler/main/HscMain.hs | 29 +
1 files changed, 13 insertions(+), 16 deletions(-)
diff --git a/compile
vid Terei
Date: Tue Apr 3 12:35:46 2012 -0700
Update safe haskell tests for change output formatting
tests/safeHaskell/check/pkg01/ImpSafe01.stderr |3 ++-
tests/safeHaskell/check/pkg01/ImpSafeOnly03.stderr |3 ++-
tests/safeHaskell/flags/SafeFlags17.stderr |3 ++-
te
vid Terei
Date: Tue Apr 3 17:58:02 2012 -0700
Fix reporting of modules safe haskell mode (#5989)
>---
src/Haddock/Interface/Create.hs |3 ++-
src/Haddock/Interface/LexParseRn.hs |8
2 files changed, 6 inse
rei
Date: Mon Apr 2 19:00:51 2012 -0700
Fix GHC API with respect to safe haskell. (#5989)
This fixes haddock so it correctly reports
the safe haskell mode of a module.
compiler/deSugar/Desugar.lhs |3 +
compiler/iface/MkIface.lhs| 43 +++
compiler/m
rei
Date: Tue Apr 3 12:37:30 2012 -0700
Update safe haskell error/warn formatting
>---
compiler/main/HscMain.hs | 26 +++---
1 files changed, 11 insertions(+), 15 deletions(-)
diff --git a/compile
rei
Date: Mon Apr 2 15:07:26 2012 -0700
Fix uneeded test in safe haskell code
>---
compiler/main/DynFlags.hs |3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/compiler/main/DynFlags.hs b/compile
vid Terei
Date: Tue Feb 14 12:25:05 2012 -0800
Fix up safe haskell test outputs
>---
tests/safeHaskell/ghci/D.hs |2 +-
tests/safeHaskell/ghci/all.T |1 +
tests/safeHaskell/gh
vid Terei
Date: Thu Feb 9 14:56:21 2012 -0800
Add some safe haskell test for '-trust' flag.
>---
.../flags/{SafeFlags27.hs => SafeFlags28.hs} |4 ++--
tests/safeHaskell/flags/SafeFlags28.st
rei
Date: Wed Jan 25 14:45:13 2012 -0800
Remove old dead safe haskell setting
>---
mk/validate-settings.mk |3 ---
1 files changed, 0 insertions(+), 3 deletions(-)
diff --git a/mk/validate-settings.mk b/mk/validate-setti
rei
Date: Wed Dec 21 15:23:36 2011 -0800
Fix :issafe safe haskell ghci command
>---
ghc/InteractiveUI.hs | 32
1 files changed, 24 insertions(+), 8 deletions(-)
diff --git a/ghc/InteractiveU
vid Terei
Date: Tue Dec 20 00:57:03 2011 -0800
Update Safe Haskell tests
>---
tests/safeHaskell/check/Check01.hs |2 +-
tests/safeHaskell/check/Check05.hs |7 +++
tests/safeHaskell/check/Check05.
rei
Date: Mon Dec 19 18:37:47 2011 -0800
Ignore -fpackage-trust if no other Safe Haskell flags
>---
compiler/main/DynFlags.hs | 35 ++-
1 files changed, 26 insertions(+), 9 deletions(-)
diff -
rei
Date: Fri Dec 16 13:45:53 2011 -0800
Refactor Safe Haskell check to provide hscCheckSafe GHC API
>---
compiler/main/HscMain.hs | 128 +-
1 files changed, 70 insertions(+), 58 del
vid Terei
Date: Tue Dec 20 15:53:57 2011 -0800
More Safe Haskell tests
>---
tests/safeHaskell/check/Check06.hs | 13 +
tests/safeHaskell/check/Check06.stderr |5 +
tests/safeHaskell
rei
Date: Wed Dec 21 15:23:36 2011 -0800
Fix :issafe safe haskell ghci command
>---
ghc/InteractiveUI.hs | 32
1 files changed, 24 insertions(+), 8 deletions(-)
diff --git a/ghc/InteractiveU
Hi Ian,
Could you pull these two patches into 7.4 branch please:
commit 82e19ffc86a77b4b6eb4ea35636c7737b7e68202
Author: David Terei
Date: Mon Dec 19 18:37:47 2011 -0800
Ignore -fpackage-trust if no other Safe Haskell flags
commit 4ff7d0bb9d3e627843e601e6a0a623a6b03783a2
Author: David
vid Terei
Date: Tue Dec 20 00:57:03 2011 -0800
Update Safe Haskell tests
>---
tests/safeHaskell/check/Check01.hs |2 +-
tests/safeHaskell/check/Check05.hs |7 +++
tests/safeHaskell/check/Check05.
rei
Date: Fri Dec 16 13:45:53 2011 -0800
Refactor Safe Haskell check to provide hscCheckSafe GHC API
>---
compiler/main/HscMain.hs | 128 +-
1 files changed, 70 insertions(+), 58 del
rei
Date: Mon Dec 19 18:37:47 2011 -0800
Ignore -fpackage-trust if no other Safe Haskell flags
>---
compiler/main/DynFlags.hs | 35 ++-
1 files changed, 26 insertions(+), 9 deletions(-)
diff -
#x27; flag specified.
d6c2ffd... Improve documentation on backends
0c9427c... Add doc for -msse4.2 flag.
8e6990a... vectoriser: fix pvoids problem when vectorising enumerations
b4036c3... Update Safe Haskell documentation for new design in 7.4
34053bb... Merge /Users/benl/deve
rei
Date: Tue Nov 22 09:59:47 2011 -0800
Tweaks to safe haskell documentation.
docs/users_guide/safe_haskell.xml | 169 +++--
1 files changed, 105 insertions(+), 64 deletions(-)
Diff suppressed because of size. To see it, use:
git s
rei
Date: Mon Nov 21 23:26:44 2011 -0800
Update Safe Haskell documentation for new design in 7.4
docs/users_guide/flags.xml| 26 +++-
docs/users_guide/glasgow_exts.xml | 15 +-
docs/users_guide/packages.xml |3 +-
docs/users_guide/safe_haskell.xml |
rei
Date: Wed Nov 16 13:22:27 2011 -0800
Add Safe Haskell '-fwarn-safe', '-fwarn-unsafe', '-fno-safe-infer' flags
compiler/iface/MkIface.lhs |2 +-
compiler/main/DynFlags.hs | 31 +++
compiler/main/ErrUtils.lhs | 40
vid Terei
Date: Wed Nov 16 13:24:29 2011 -0800
Add Safe Haskell tests for new '-fwarn-safe', '-fwarn-unsafe'
and '-fno-safe-infer' flags.
tests/safeHaskell/flags/SafeFlags21.hs |9 +
tests/safeHaskell/flags/SafeFlags22.hs | 1
rei
Date: Wed Nov 9 11:19:16 2011 -0800
Add a comment for safe haskell
>---
compiler/iface/MkIface.lhs |2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/compiler/iface/MkIface.lhs b/compiler/iface/MkIfa
vid Terei
Date: Tue Nov 8 20:28:12 2011 -0800
Update Safe Haskell test to include recomp checks
>---
tests/safeHaskell/NOTES|4 -
tests/safeHaskell/safeLanguage/Makefile
rei
Date: Tue Nov 8 17:15:27 2011 -0800
Throw error if safe imports used when safe haskell isn't on
>---
compiler/rename/RnNames.lhs |4
1 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/comp
rei
Date: Mon Nov 7 14:28:02 2011 -0800
Fix up Safe Haskell handling of FFI imports
>---
compiler/typecheck/TcForeign.lhs | 81 +-
1 files changed, 45 insertions(+), 36 deletions(-)
diff -
rei
Date: Tue Nov 1 22:54:38 2011 -0700
Correctly handle safe inference in Safe Haskell.
>---
compiler/iface/MkIface.lhs |8 ++--
1 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/compiler/iface/MkIface
On Thu, Nov 03, 2011 at 07:34:44AM +, Simon Peyton-Jones wrote:
>
> Ian knows the build system.
I think the build system is a red herring in this case - it just so
happens that build system problems can cause the same symptoms. At
least, when I looked into it last time, I got the error with a
varty [mailto:c...@cse.unsw.edu.au]
| Sent: 02 November 2011 23:11
| To: Simon Peyton-Jones
| Cc: Ben Lippmeier; Ian Lynagh; Simon Marlow
| Subject: Re: Safe Haskell haddock segfault
|
| I had this error as well, but could resolve it by fixing a bit-rotted rule in
| rules/haddock.mk:
|
|
rei
Date: Tue Oct 25 11:07:09 2011 -0700
More updates to Safe Haskell to implement new design (done!).
Conflicts:
compiler/main/DynFlags.hs
compiler/main/HscMain.lhs
compiler/main/DynFlags.hs | 80 +---
compiler/main/HscMain.lhs |
rei
Date: Mon Oct 31 14:27:25 2011 -0700
safe haskell wip
>---
compiler/main/DynFlags.hs |6 ---
compiler/main/HscMain.lhs | 76 ++-
compiler/main/HscTypes.lhs | 16 +-
3
rts System.IO.Unsafe. In turn
System.IO.Unsafe can be infered to be unsafe because it imports GHC.IO.
The chain continues via GHC.Base --> GHC.Types (which defines the IO
datatype) --> GHC.Prim which defines State#, RealWorld etc.
We've never built into the Safe Haskell implement
On 26 October 2011 09:04, Thomas Schilling wrote:
> I while ago I saw a commit to Safe Haskell changing modules from
> default Unsafe to default Safe.
>
> This seems wrong to me (and Duncan agreed on IRC) -- in security the
> usual advice is to use white listing instead of blac
ually more towards safe. The inference
> > tracks if a module imports any unsafe modules and if so marks it as
> > unsafe.
Which Debug.Trace does, it imports System.IO.Unsafe. In turn
System.IO.Unsafe can be infered to be unsafe because it imports GHC.IO.
The chain continues via GHC.Ba
s hard to define but if
anything the default is actually more towards safe. The inference
tracks if a module imports any unsafe modules and if so marks it as
unsafe. We've never built into the Safe Haskell implementation any
specific knowledge of things like unsafePerformIO and GHC.*
primitives
s hard to define but if
anything the default is actually more towards safe. The inference
tracks if a module imports any unsafe modules and if so marks it as
unsafe. We've never built into the Safe Haskell implementation any
specific knowledge of things like unsafePerformIO and GHC.*
primiti
On Wednesday 26 October 2011, 20:54:46, Johan Tibell wrote:
> Right, but that's not how it used to work.
Oh.
> As soon as any module (e.g. in base) had a Trustworthy pragma you
> needed to ghc-pkg trust base to use base, regardless if you wanted
> to use Safe Haskell or not.
On Wed, Oct 26, 2011 at 11:04 AM, Daniel Fischer <
daniel.is.fisc...@googlemail.com> wrote:
> I don't understand this. If I don't use Safe Haskell, the compiler should
> ignore all the Safe/Trustworthy/Unsafe pragmas no matter what's the
> default.
> Only i
agh
Date: Wed Oct 26 17:37:35 2011 +0100
Revert "More updates to Safe Haskell to implement new design (done!)."
This reverts commit bb0eb57e329bcdd781e24b0d86993a0df25beed8.
compiler/main/DynFlags.hs | 84 +++-
compiler/main/HscMain.lhs
On Wednesday 26 October 2011, 19:50:09, Johan Tibell wrote:
> On Wed, Oct 26, 2011 at 9:04 AM, Thomas Schilling
>
> wrote:
> > I while ago I saw a commit to Safe Haskell changing modules from
> > default Unsafe to default Safe.
> >
> > This seems wrong to me
On Wed, Oct 26, 2011 at 9:04 AM, Thomas Schilling
wrote:
> I while ago I saw a commit to Safe Haskell changing modules from
> default Unsafe to default Safe.
>
> This seems wrong to me (and Duncan agreed on IRC) -- in security the
> usual advice is to use white listing instead o
I while ago I saw a commit to Safe Haskell changing modules from
default Unsafe to default Safe.
This seems wrong to me (and Duncan agreed on IRC) -- in security the
usual advice is to use white listing instead of black listing. The
reasoning is that if you forget to white list something safe
41d5297aedcbb2dddf
> Author: David Terei
> Date: Tue Oct 25 11:13:08 2011 -0700
>
> Update base for new Safe Haskell design
> Debug/Trace.hs |1 +
diff --git a/Debug/Trace.hs b/Debug/Trace.hs
index ebacb6c..728b938 100644
--- a/Debug/Trace.hs
vid Terei
Date: Tue Oct 25 14:24:39 2011 -0700
More updates to Safe Haskell tests
>---
tests/cabal/ghcpkg01.stdout| 12 ++--
tests/safeHaskell/safeInfered/SafeInfered04.hs |8
vid Terei
Date: Thu Oct 20 21:33:14 2011 -0700
More fixes to Safe Haskell test for design changes
tests/safeHaskell/NOTES|4
tests/safeHaskell/check/Check03.hs |1 +
tests/safeHaskell/flags/all.T |2 +-
te
vid Terei
Date: Wed Oct 19 12:15:17 2011 -0700
Modify and add a bunch of new tests for Safe Haskell changes
tests/safeHaskell/check/Check01.hs |3 +-
tests/safeHaskell/check/Check02.hs |2 +-
tests/safeHaskell/check/Check04.hs |
vid Terei
Date: Wed Oct 19 20:02:06 2011 -0700
Add more Safe Haskell tests for new design
driver/testlib.py |6 +++---
tests/safeHaskell/flags/SafeFlags03.hs |2 +-
tests/safeHaskell/flags/SafeFlags03.stderr |2 +-
te
rei
Date: Wed Oct 19 20:01:40 2011 -0700
Setup new Safe Haskell interface
>---
compiler/main/DynFlags.hs | 32
compiler/main/HscMain.lhs |2 +-
compiler/main/HscTypes.lhs
rei
Date: Tue Oct 25 11:07:09 2011 -0700
More updates to Safe Haskell to implement new design (done!).
compiler/main/DynFlags.hs | 84 +---
compiler/main/HscMain.lhs | 415 -
compiler/main/HscTypes.lhs| 22 +-
compi
rei
Date: Mon Oct 17 20:38:37 2011 -0700
Add -fpackage-trust flag to Safe Haskell.
>---
compiler/main/DynFlags.hs | 11 +++
compiler/main/HscMain.lhs |6 --
2 files changed, 15 insertions(+), 2 deletions(-)
vid Terei
Date: Mon Oct 17 20:35:28 2011 -0700
Change Safe Haskell tests for new -fpackage-trust flag
>---
tests/safeHaskell/check/all.T |3 +++
.../check/pkg01/{ImpSafe01.hs => ImpSafe02.hs}
vid Terei
Date: Mon Oct 17 14:14:02 2011 -0700
update tests for safe haskell changes
>---
tests/driver/T4437.hs |2 +-
tests/safeHaskell/safeLanguage/SafeLang01.stderr |2 +-
tests/safeH
rei
Date: Thu Oct 6 18:33:01 2011 -0700
Remove cruft code from old Safe Haskell implementation method
compiler/main/CmdLineParser.hs| 117 ++---
compiler/main/DynFlags.hs | 956 ++---
compiler/main/StaticFlagParser.hs | 78 ++--
compiler/typech
rei
Date: Mon Oct 17 13:49:48 2011 -0700
Fix safe haskell warnings to include src locations
>---
compiler/main/CmdLineParser.hs |5 -
compiler/main/DynFlags.hs | 31 ++-
2 files chang
vid Terei
Date: Thu Aug 18 14:27:53 2011 -0700
Add safe haskell indication to haddock output
>---
src/Haddock/Backends/Xhtml.hs |3 ++-
src/Haddock/Interface/LexParseRn.hs| 27 --
vid Terei
Date: Thu Aug 18 14:27:53 2011 -0700
Add safe haskell indication to haddock output
>---
src/Haddock/Backends/Xhtml.hs |3 ++-
src/Haddock/Interface/LexParseRn.hs
hor: Julien Cretin
Date: Fri Sep 9 13:01:24 2011 +0200
fix template haskell error message with safe haskell
>---
tests/safeHaskell/safeLanguage/SafeLang12.stderr |5 +++--
1 files changed, 3 insertions(+), 2 deletions(-)
diff -
Modules are not considered safe by default, so System.IO.Unsafe is not
considered safe by the absence of a marking.
On 7 September 2011 22:20, Daniel Peebles wrote:
> Does trusting all of base mean we trust System.IO.Unsafe? Or is there an
> explicit "DO NOT TRUST THIS MODULE" attached to it some
Does trusting all of base mean we trust System.IO.Unsafe? Or is there an
explicit "DO NOT TRUST THIS MODULE" attached to it somehow?
On Wed, Sep 7, 2011 at 6:13 PM, David Terei wrote:
> On 6 September 2011 20:33, Corey O'Connor wrote:
> > I'm running into a lot of issues like the following:
> >
On 6 September 2011 20:33, Corey O'Connor wrote:
> I'm running into a lot of issues like the following:
>
> libraries/hoopl/src/Compiler/Hoopl/Collections.hs:14:1:
> base:Data.List can't be safely imported! The package (base) the
> module resides in isn't trusted.
>
> Which can be resolved by a
I'm running into a lot of issues like the following:
libraries/hoopl/src/Compiler/Hoopl/Collections.hs:14:1:
base:Data.List can't be safely imported! The package (base) the
module resides in isn't trusted.
Which can be resolved by adding "-trust base" to the build options. Is
this necessary?
didn't make it into 7.2.1. So you need to do this for
> your bootstrapping 7.2.1 compiler:
>
> $ ghc-pkg trust base
Yeah, figured that after reading about how safe haskell is supposed to
work.
>
> After that it should work fine. I'll look into updating the GHC build
&
Hmmm thats annoying. So the issue is that you need to have the base
package trusted. Originally packages were untrusted by default. I
changed that so that packages are now trusted by default. However that
change to Cabal didn't make it into 7.2.1. So you need to do this for
your bootstrapping 7.2.1
On a freshly pulled repo, I get
> Creating compiler/stage1/build/Config.hs ...
> done.
> [ 1 of 66] Compiling Distribution.Compat.Exception (
> libraries/Cabal/cabal/Distribution/Compat/Exception.hs,
> bootstrapping/Distribution/Compat/Exception.o ) [ 2 of 66] Compiling
> Distribution.GetOpt ( lib
vid Terei
Date: Wed Aug 10 11:43:37 2011 -0700
Update ghcpkg01 for changes to safe haskell
>---
tests/cabal/ghcpkg01.stdout | 12 ++--
1 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/tests/cabal/ghcpkg01.
On 9 August 2011 14:32, Ian Lynagh wrote:
> On Tue, Aug 09, 2011 at 09:16:44PM +, Simon Peyton-Jones wrote:
>> | > Or is the patch only in the upstream Cabal? In which case, it should be
>> pulled
>> | into the GHC repos before committing, no? Else validate fails.
>> |
>> | No I learnt fr
On Tue, Aug 09, 2011 at 09:16:44PM +, Simon Peyton-Jones wrote:
> | > Or is the patch only in the upstream Cabal? In which case, it should be
> pulled
> | into the GHC repos before committing, no? Else validate fails.
> |
> | No I learnt from my mistake last time (I hope so anyway!) and
| > Or is the patch only in the upstream Cabal? In which case, it should be
pulled
| into the GHC repos before committing, no? Else validate fails.
|
| No I learnt from my mistake last time (I hope so anyway!) and manually
| sync'd our lagging Cabal with upstream after pushing the patch.
A
vid Terei
Date: Tue Aug 9 13:20:39 2011 -0700
Fix up Safe Haskell tests for recent ghc changes.
>---
tests/safeHaskell/check/all.T |2 +-
tests/safeHaskell/check/pkg01/Makefile |5 -
know if not.
>
> Simon
>
> | -Original Message-
> | From: davidte...@gmail.com [mailto:davidte...@gmail.com] On Behalf Of David
> | Terei
> | Sent: 09 August 2011 19:38
> | To: Simon Peyton-Jones
> | Cc: cvs-ghc@haskell.org
> | Subject: Re: Safe Haskell valid
d... maybe
it'll work this time. I'll let you know if not.
Simon
| -Original Message-
| From: davidte...@gmail.com [mailto:davidte...@gmail.com] On Behalf Of David
| Terei
| Sent: 09 August 2011 19:38
| To: Simon Peyton-Jones
| Cc: cvs-ghc@haskell.org
| Subject: Re: S
On 9 August 2011 00:34, Simon Peyton-Jones wrote:
> I’m getting this on a clean validate on Windows
>
> base:Prelude can't be safely imported! The package (base) the module
> resides in isn't trusted.
>
> Any ideas?
>
You need to pull in a recent path to Cabal.
Cheers,
David
___
I'm getting this on a clean validate on Windows
base:Prelude can't be safely imported! The package (base) the module
resides in isn't trusted.
Any ideas?
Simon
"inplace/bin/ghc-stage1.exe" -H32m -O -Wall -Werror -H64m -O0
-package-name old-locale-1.0.0.3 -hide-all-packages -i -ilibrar
On 06/08/2011 02:46, David Terei wrote:
Another question, the Haskell 2010 package. Some of the modules here
are unsafe (e.g Foreign.ForeignPtr). My understanding is these
packages are designed to strictly conform to the language
specification. So should I leave Foreign.ForeignPtr alone and do
n
On Fri, Aug 05, 2011 at 06:46:09PM -0700, David Terei wrote:
>
> Another question, the Haskell 2010 package. Some of the modules here
> are unsafe (e.g Foreign.ForeignPtr). My understanding is these
> packages are designed to strictly conform to the language
> specification. So should I leave Fore
On 5 August 2011 01:53, Simon Marlow wrote:
> On 04/08/2011 21:22, David Terei wrote:
>>
>> On 3 August 2011 03:08, Simon Marlow wrote:
>>>
>>> Perhaps all packages should be trusted by default? (Perhaps with some
>>> Cabal
>>> configuration option to reverse the behaviour). After all, trusting
On 04/08/2011 21:22, David Terei wrote:
On 3 August 2011 03:08, Simon Marlow wrote:
Perhaps all packages should be trusted by default? (Perhaps with some Cabal
configuration option to reverse the behaviour). After all, trusting a
package is a no-op unless the package defines some Safe or Trus
On 3 August 2011 03:08, Simon Marlow wrote:
> Perhaps all packages should be trusted by default? (Perhaps with some Cabal
> configuration option to reverse the behaviour). After all, trusting a
> package is a no-op unless the package defines some Safe or Trustworthy
> modules. If we don't do th
On 03/08/2011 03:23, David Terei wrote:
I think we should setup GHC so that the base library is trusted by
default. I'd like to use the 'Safe' pragma in some of the packages
included with GHC but that relies on base being trusted. Assuming no
objections could someone point out please where in the
I think we should setup GHC so that the base library is trusted by
default. I'd like to use the 'Safe' pragma in some of the packages
included with GHC but that relies on base being trusted. Assuming no
objections could someone point out please where in the build process I
need to change so that st
kell.org [mailto:cvs-ghc-boun...@haskell.org] On
Behalf Of
| Simon Peyton-Jones
| Sent: 26 July 2011 08:13
| To: David Terei; Ian Lynagh
| Cc: cvs-ghc@haskell.org; David Mazieres expires 2011-10-22 PDT
| Subject: RE: Safe Haskell
|
| [Widening to cvs-ghc because others may have opinions]
|
| | >
on holiday this week, and I have not been following the discussion
> properly. I believe the question at issue is this.
>
> * "LANGUAGE Foo" means that the module uses language extension Foo, and won't
> compile unless the compiler supports Foo
>
> * But Sa
ot;LANGUAGE Foo" means that the module uses language extension Foo, and won't
compile unless the compiler supports Foo
* But Safe Haskell for the first time is a language *restriction*. You are
questioning {-# LANGUAGE SafeHaskell #-} (or trustworthy or something)
because it
1 - 100 of 123 matches
Mail list logo
