Don Stewart wrote:
[...]
Note that packages that depend on the 'experimental' versions of things
(in particular Haxml 1.19.* can't be packaged for Arch either, as we can
only install one version of the haskell-haxml package).
In this case we definetely need haxml-1.19. IIRC we even
I was wondering if anyone's ever tried to run Haaps on a major hosting
provider, like oh, say Site5? I have an app I'd otherwise use Rails
for and I thought I'd give Haaps a try...
-- Jeff
I try to take things like a crow; war and chaos don't always ruin a
picnic, they just mean you have to be
On Sun, Nov 16, 2008 at 5:35 AM, Thomas Schilling [EMAIL PROTECTED]
wrote:
The relevant flag is: -ddump-minimal-imports
See
http://www.haskell.org/ghc/docs/latest/html/users_guide/flag-reference.html#id2630684
The documentation says this:
-ddump-minimal-imports
Dump to the file
Hi,
Why is this wrong?
class MyClass r where function :: r - s
data MyData u = MyData u
instance MyClass (MyData v) where function (MyData a) = a
GHC says that the type of the result of 'function' is both determined by
the rigid type from MyClass and the rigid type from MyData.
Hello Maurício,
Monday, November 17, 2008, 12:32:11 AM, you wrote:
class MyClass r where function :: r - s
this tells that f may return value of any type requested at the call
site, i.e. one can write
main = do print (f (Mydata 1) :: String)
print (f (Mydata 1) :: [Bool])
On Sun, Nov 16, 2008 at 1:32 PM, Maurício [EMAIL PROTECTED] wrote:
Hi,
Why is this wrong?
class MyClass r where function :: r - s
data MyData u = MyData u
instance MyClass (MyData v) where function (MyData a) = a
GHC says that the type of the result of 'function' is both
Maurício wrote:
Hi,
Why is this wrong?
class MyClass r where function :: r - s
data MyData u = MyData u
instance MyClass (MyData v) where function (MyData a) = a
GHC says that the type of the result of 'function' is both determined by
the rigid type from MyClass and the rigid
Hello J.,
Monday, November 17, 2008, 12:56:02 AM, you wrote:
class MyClass r where function :: r - s
As Bulat said, your type signature is equivalent to:
function :: forall r s. r - s
only
function :: forall s. r - s
(r is fixed in class header)
--
Best regards,
Bulat
On Sun, Nov 16, 2008 at 2:01 PM, Claude Heiland-Allen
[EMAIL PROTECTED] wrote:
I don't know how evil those language extensions are, though - I just
fiddled until it worked...
The only part of FlexibleInstances that you've used here is the ability to
mention a type variable more than once in
Hello,
I have run HAppS applications on VPSs from vpslink.com and
rimuhosting.com.
If you want shared hosting, then you would need to get FastCGI support
working again (I assume it has bitrotted somewhat). Because of HAppS's
preference for storing everything in RAM, it is not really a
Bulat Ziganshin wrote:
Hello J.,
Monday, November 17, 2008, 12:56:02 AM, you wrote:
class MyClass r where function :: r - s
As Bulat said, your type signature is equivalent to:
function :: forall r s. r - s
only
function :: forall s. r - s
(r is fixed in class header)
... and the
On Sun, Nov 16, 2008 at 5:06 PM, Peter Hercek [EMAIL PROTECTED] wrote:
... and the only value the function can return is bottom.
Is there any type system which would have more than
one value which inhabits all types?
Well something like lazy C# might; i.e. every value has a _|_
On Sun, Nov 16, 2008 at 7:09 PM, Luke Palmer [EMAIL PROTECTED] wrote:
On Sun, Nov 16, 2008 at 5:06 PM, Peter Hercek [EMAIL PROTECTED] wrote:
... and the only value the function can return is bottom.
Is there any type system which would have more than
one value which inhabits all types?
Well
Brent Yorgey wrote:
---
ANN: OpenGL with extra type safety. Neal Alexander
Hopefully the code will be uploaded to Hackage as a separate package soon.
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/OGL-0.0.0
Within a set of modules, the minimal imports also give you the minimal
exports since each minimal export is required because it is imported
somewhere. Just compile all your modules with -ddump-minimal-imports,
then cat all your *.import files together and sort the result. The
minimal exports for
On Sun, Nov 16, 2008 at 5:10 PM, Michael D. Adams [EMAIL PROTECTED]wrote:
Within a set of modules, the minimal imports also give you the minimal
exports since each minimal export is required because it is imported
somewhere. Just compile all your modules with -ddump-minimal-imports,
then cat
16 matches
Mail list logo