Announce: wxhaskell: MacOSX installer

[Arthur Baars]

I have created an "out-of-the-box" MacOS X installer for wxHaskell. Simply 
double-click on the package. The installer can be downloaded from:
http://home.deds.nl/~dediav/WxHaskell.dmg
This link is only valid for a couple of weeks. After Daan returns from 
holidays he'll probably put it on the wxHaskell pages.

Note the package only works with ghc 6.0 or higher!

The installer does the following:
1) copy wxWindows and wxHaskell libraries to /usr/local/wxhaskell
2) register the wx and wxh packages with ghc-pkg
To uninstall, type in a Terminal:
1) rm /usr/local/wxhaskell
2) ghc-pkg -r wxh
3) ghc-pkg -r wx
The package also contains the wxHaskell documentation and samples. Copy them 
to your disk.
To test the installation:
Open a terminal in the samples/wx directory, and write:
1) ghc --make -package wx Camels.hs -o camels
2) /usr/local/wxhaskell/bin/macosx-app --program=camels
3) ./camels

The macosx-app script is located at /usr/local/wxhaskell/bin; you may want 
to add this directory to your PATH.

Have fun :-))

Arthur

From: "Daan Leijen" <[EMAIL PROTECTED]>
Date: din jul 22, 2003  19:47:27 Europe/Amsterdam
To: <[EMAIL PROTECTED]>, <[EMAIL PROTECTED]>, 
<[EMAIL PROTECTED]>
Subject: [wxhaskell-users] Announce: wxhaskell: macOSX binaries and bugfix.
Reply-To: <[EMAIL PROTECTED]>

Two announcements regarding wxHaskell:

1) I have created a binary release for MacOS X. Installation details can
 be found on the download page.
2) I have fixed a small bug in the configuration script for Linux. The
 source release has been updated. (and I promise I won't do that again
  as I go tomorrow on a holiday for two weeks :-)
All the best,
 Daan.
_
Tired of spam? Get advanced junk mail protection with MSN 8. 
http://join.msn.com/?page=features/junkmail

___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Re: StrategyLib - need help

[Ralf Laemmel]

Very good point!
adhoc and friends support TYPE case.
What's needed here is a so-far unsupported type-CLASS case
which is actually at least non-trivial.
I can only offer semi-solutions:

a) Add a class constraint for Show to the Term class.
   (Would that work? It's a bit invasive anyway.)

b) Alternatively, imoort TermRep and use explode and then show on TermRep.
   (This show maybe does not look so nice,
but this should be good enough for debugging.)

c) Be more specific about what terms to print,
   say have type-specific cases for types of terms of interest.
   (This would be reasonable if you only care about a few types,
or there are even just a few types anyway.)

On the long term:
the "boilerplate" approach as supported in > GHC 6.0 will
help with this. (In fact, the GHC 6.0 release comes with a
simple gshow defined on Data.) StrategyLib will soon be
reconstructed on top of "scrap your boilerplate" (say, Data.Generics).
The issue of type-class case is identified, but I don't know if we will
succeed with this very soon.

Hope this helps.
Ralf



Dmitry Astapov wrote:
> 
> I want to write generic traversal which prints everything on the way:
> 
> uglyPrint :: (Term t, Show t) => t -> [(String)]
> uglyPrint = (map snd) . runIdentity . applyTU (full_tdTU uglyPrintStep)
> uglyPrintStep :: (Show t, Term t) => TU [(t, String)] Identity
> uglyPrintStep = constTU [] `adhocTU` (return . uglyPrintAny)
> uglyPrintAny x = [(x,show x)]
> ugliestPrintEver :: (Term t, Show t) => t -> IO ()
> ugliestPrintEver x = do { putStrLn $ show x }
> 
> Compiler (GHC 6.0) gives me:
> Ambiguous type variable `t' in these top-level constraints:
>   `Term t'
> arising from use of `uglyPrintStep' at ...
>   `Show t'
> arising from use of `uglyPrintStep' at ...
> 
> All data types which are instances of Term are instances of Show as well -
> I know it. Question is - how to persuade GHC?
> 
> I there any want to use typeclass restrictions with traversal, or there is
> no luck for me?
> 
> --
> Dmitry Astapov //ADEpt
> GPG KeyID/fprint: F5D7639D/CA36 E6C4 815D 434D 0498  2B08 7867 4860 F5D7 639D
> ___
> Haskell mailing list
> [EMAIL PROTECTED]
> http://www.haskell.org/mailman/listinfo/haskell

-- 
Ralf Laemmel
VU & CWI, Amsterdam, The Netherlands
http://www.cs.vu.nl/~ralf/
http://www.cwi.nl/~ralf/
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

StrategyLib - need help

[Dmitry Astapov]

I want to write generic traversal which prints everything on the way:

uglyPrint :: (Term t, Show t) => t -> [(String)]
uglyPrint = (map snd) . runIdentity . applyTU (full_tdTU uglyPrintStep)
uglyPrintStep :: (Show t, Term t) => TU [(t, String)] Identity
uglyPrintStep = constTU [] `adhocTU` (return . uglyPrintAny)
uglyPrintAny x = [(x,show x)]
ugliestPrintEver :: (Term t, Show t) => t -> IO ()
ugliestPrintEver x = do { putStrLn $ show x }

Compiler (GHC 6.0) gives me:
Ambiguous type variable `t' in these top-level constraints:
  `Term t'
arising from use of `uglyPrintStep' at ...
  `Show t'
arising from use of `uglyPrintStep' at ...

All data types which are instances of Term are instances of Show as well -
I know it. Question is - how to persuade GHC?

I there any want to use typeclass restrictions with traversal, or there is
no luck for me? 

-- 
Dmitry Astapov //ADEpt
GPG KeyID/fprint: F5D7639D/CA36 E6C4 815D 434D 0498  2B08 7867 4860 F5D7 639D
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell