mean that valid Haskell2010 programs might get
rejected by GHC by default, which is a pretty bad state of affairs.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
signature.asc
Description: Digital signature
Typed holes is not an extension, because it's considered a warning/error.
The reason for this is that code with typed holes is NOT valid haskell to
begin with, therefore the behaviour doesn't conflict with any description
in the report.
Well, now I feel very silly about my last email to this
RebindableSyntax
I thought this would work, but people seemed pretty sure we would need to do
more work than RebindableSyntax to get everything in place.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
signature.asc
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
I suppose that -XOverlappingInstances could mean silently honour
OVERLAPPABLE/OVERLAPPING pragmas, while lacking it would mean honour
OVERLAPPABLE/OVERLAPPING pragmas, but emit noisy warnings or even don't
honour them and warn.
But that is
that adds actual keywords to tag instances that
should be allowed to overlap be added, instead of resorting to pragmas.
This seems like an approach that could be useful in general and one could
imagine moving past an extension to the core language at some point,
potentially.
- --
Stephen Paul Weber
and then eventually
(likely) be rejected by newer GHCs, thus requiring a prepropcessor in either
case.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
___
Glasgow-haskell-users mailing list
Somebody claiming to be Jens Petersen wrote:
The libraries in question here are haskeline, terminfo, and xhtml.
Are those libraries needed by GHCI? Could we just statically link those
ones into GHC?
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer
Somebody claiming to be harry wrote:
all of this stems from GHC
looking for libgmp.so, instead of libgmp.so.3
Most systems symlink libgmp.so to the default version installed. On Debian
stable it's libgmp.so.10 ... so it may work for you, but you may want to
upgrade.
--
Stephen Paul Weber
Somebody claiming to be harry wrote:
Stephen Paul Weber wrote
Somebody claiming to be harry wrote:
I also
need to install GHC on systems where I don't have root access, so I can't
create the link.
You can create the link somewhere else, and use LD_LIBRARY_PATH
I have done this before
:)
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
signature.asc
Description: Digital signature
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org
that overlaps with an
existing, more useful, operator)
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
signature.asc
Description: Digital signature
___
Glasgow-haskell-users mailing
be merged with later.
Why shouldn't Prelude (and other really stable, standard modules) just live
in the `haskell2010` package?
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
signature.asc
Description: Digital signature
Somebody claiming to be Roman Cheplyaka wrote:
* Stephen Paul Weber singpol...@singpolyma.net [2013-02-25 11:29:42-0500]
Why shouldn't Prelude (and other really stable, standard modules)
just live in the `haskell2010` package?
Because then we can't make changes to it without producing a new
-base.
It would be great to have a portable base, without any GHC-specific
stuff in it. After all, modules like Control.Monad or Data.Foldable are
pure Haskell2010.
+1
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
the `haskell2010` package as one of the
groupings? It seems like this sort of reorganisation could help solve the
problem we currently have where one cannot using any of the features of
`base` along with the `haskell2010` modules.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I
executable (made
by, I assume, his system's GHC).
The problem is not the size, but the size ratio.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
signature.asc
Description: Digital signature
Somebody claiming to be Nathan Hüsken wrote:
Hey,
For me thinks have changed.
With the current ghc HEAD and llvm version 3.2 I am able to do a
registerised build for android!
Do you think it is specifically the 3.2 that made it work?
--
Stephen Paul Weber, @singpolyma
See http
Somebody claiming to be Nathan Hüsken wrote:
On 01/24/2013 03:58 PM, Stephen Paul Weber wrote:
Somebody claiming to be Nathan Hüsken wrote:
With the current ghc HEAD and llvm version 3.2 I am able to do a
registerised build for android!
Do you think it is specifically the 3.2 that made
Somebody claiming to be Nathan Hüsken wrote:
On 01/24/2013 04:28 PM, Stephen Paul Weber wrote:
Do you think it is specifically the 3.2 that made it work?
Yes. With llvm version 3.1 I was only able to get an unregisterised
build to work.
http://hackage.haskell.org/trac/ghc/attachment/ticket
Somebody claiming to be Stephen Paul Weber wrote:
Somebody claiming to be Nathan Hüsken wrote:
On 01/24/2013 04:28 PM, Stephen Paul Weber wrote:
Do you think it is specifically the 3.2 that made it work?
Yes. With llvm version 3.1 I was only able to get an unregisterised
build to work.
http
Somebody claiming to be Nathan Hüsken wrote:
On 01/24/2013 05:51 PM, Stephen Paul Weber wrote:
(...)
So... it can't find memcpy for some reason?
I'm about to try with llvm-3.2 to see if that's different.
The solution for me was to wrap mkfifo (in a function I called __mkfifo)
and used
Somebody claiming to be Stephen Paul Weber wrote:
Somebody claiming to be Nathan Hüsken wrote:
But the symbol not found is __aeabi_memcpy, not memcpy itself ...
I can not find __aeabi_memcpy in the ghc source ...
Maybe it is not linking some required library?
I'm not sure. Most curious
Somebody claiming to be Karel Gardas wrote:
On 01/24/13 05:51 PM, Stephen Paul Weber wrote:
Doing a registered build with llvm-3.0 I eventually get:
In function `c58Y_info':
/tmp/ghc21061_0/ghc21061_0.bc:(.text+0x42d4): undefined reference to
`__aeabi_memcpy'
collect2: ld returned 1 exit status
Somebody claiming to be Nathan Hüsken wrote:
On 01/24/2013 07:00 PM, Stephen Paul Weber wrote:
Somebody claiming to be Karel Gardas wrote:
On 01/24/13 05:51 PM, Stephen Paul Weber wrote:
:(
Can you run it in gdb and loock what the backtrace looks like?
I can maybe get a core file and load
Somebody claiming to be Nathan Hüsken wrote:
On 01/24/2013 07:00 PM, Stephen Paul Weber wrote:
Somebody claiming to be Karel Gardas wrote:
On 01/24/13 05:51 PM, Stephen Paul Weber wrote:
So, not sure on the right solution, but when I add -lcapsthen the
linker errors go away and I can
Somebody claiming to be Nathan Hüsken wrote:
On 01/24/2013 07:26 PM, Stephen Paul Weber wrote:
Somebody claiming to be Nathan Hüsken wrote:
Can you run it in gdb and loock what the backtrace looks like?
Did you compile with -debug?
I remember I got a stack trace with gdb like this (when doing
/1184
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
signature.asc
Description: Digital signature
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http
Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Somebody claiming to be Ben Gamari wrote:
Stephen Paul Weber singpol...@singpolyma.net writes:
Trying that gives me:
Warning: Couldn't figure out LLVM version!
Make sure you have installed LLVM
ghc: could not execute: opt-3.0
I'm using LLVM 3.1.
Are you certain the opt-3.0
-unregisterised to see if that helps.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman
Somebody claiming to be Stephen Paul Weber wrote:
Somebody claiming to be Nathan Hüsken wrote:
Was that an registerised or unregisterised build?
Did anyone succesfully build ghc on an arm system which produces non
crashing executables?
Just finally got a BB10 device set up so I can test my
Somebody claiming to be Stephen Paul Weber wrote:
Somebody claiming to be Stephen Paul Weber wrote:
Somebody claiming to be Nathan Hüsken wrote:
Was that an registerised or unregisterised build?
Did anyone succesfully build ghc on an arm system which produces non
crashing executables?
Just
how feasible this syntax is, but I like it a lot better, and it
makes it more clear (to me) that this is purely type-level syntax.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
signature.asc
Description: Digital signature
pointed out something interesting:
If GHC can know that MkAge is just id (in terms of code, not in terms of
type), which seems possible, and if the only interesting case is a Functor,
which seems possible, then a RULE fmap id = id would solve this. No?
--
Stephen Paul Weber, @singpolyma
See
with that.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Is there any way to set the paths in my cabal-install config relative to
$HOME or similar? I tried ~ and $HOME and neither of those worked.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
of GHCi/TH/DPH support, and IIRC it uses the old via-C instead of
LLVM, but I could be wrong about that. More eyeballs on porting to the
architecture would certainly not be a bad thing.
I haven't experience any actual bugs yet in my yeeloong GHC. Thanks for
providing it.
--
Stephen Paul Weber
it's a just-barely-works build :)
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
signature.asc
Description: Digital signature
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users
.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Somebody claiming to be Roman Cheplyaka wrote:
* Stephen Paul Weber singpol...@singpolyma.net [2012-12-09 21:20:34+]
I don't see a command-line switch to ask cabal-install to use a
different config file.
There's a '--config-file' option, see
https://github.com/haskell/cabal/issues/1113
is awesome.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell
is to be made for some platforms, we could opt to have Debian not
be such a platform.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
signature.asc
Description: Digital signature
___
Glasgow
Currently, we don't know how to do dynamic-by-default on Windows in
a satisfactory way. So I assume Windows is not one of the platforms that
would be seeing this change?
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer to be contacted
edition right joseph
Somebody claiming to be Ian Lynagh wrote:
On Tue, Nov 27, 2012 at 10:22:12AM -0500, Stephen Paul Weber wrote:
IIRC, one of the problems with dynamic linking in GHC is that when
the GHC version is different, the ABI can often be different enough
to making such shared libraries incompatible
complications arising from trying to build GHC using a cross-compiler for
bootstrapping (since that implies GHC acting as a cross-compiler at some
point in the bootstrapping).
Any suggestions would be very welcome.
--
Stephen Paul Weber, @singpolyma
See http://singpolyma.net for how I prefer
45 matches
Mail list logo
