Is there a Haskell emacs mode that works well with lhs2TeX? Specifically
(a) treating \begin{spec} ... \end{spec} like \begin{code}... \end{code},
and (b) coloring inline code (|expr|) and maybe inline verbatim
(@expr@) as Haskell rather than LaTeX code.
It'd be trivial to patch haskell-mode
Haskell Weekly News: April 17, 2006
Greetings, and thanks for reading issue 33 of HWN, a weekly newsletter
covering developments in the Haskell community. Each Monday, new
editions are posted to [1]the Haskell mailing list and to [2]The
Haskell Sequence. [3]RSS is
#746: ghc panic! with foreign import wrapper involving Bool
+---
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: new
Priority:
Hello,
I tried to compile HAppS using the latest GHC snapshot (in compiles fine
with 6.41).
I for example get the error
/home/rene/repos/HAppS/src/HAppS/MACID/Var.hs:23:0:
Illegal polymorphic or qualified type: forall state event.
Ev state event
Hello
Here is a short example of the GHC 6.5 problem:
type AnyE a = forall err. Either err a
foo :: Monad m = AnyE (m t)
foo = undefined
Works with older versions of GHC 6.5, but newer versions
fail with the:
Illegal polymorphic or qualified type: forall err. Either err (m t)
In the
On 4/15/06, John Goerzen [EMAIL PROTECTED] wrote:
On the downside, this means that I couldn't just say:
take 5 mylist
I'd instead have to write:
take (5::Int) mylist
Wouldn't defaulting do this?
--
Taral [EMAIL PROTECTED]
You can't prove anything.
-- Gödel's Incompetence Theorem
On 16/04/06, Taral [EMAIL PROTECTED] wrote:
On 4/15/06, John Goerzen [EMAIL PROTECTED] wrote:
On the downside, this means that I couldn't just say:
take 5 mylist
I'd instead have to write:
take (5::Int) mylist
Wouldn't defaulting do this?
Yeah, defaulting should make that 5 an
Hi,
import Paths_haddock( getDataDir )
Haddock requires to be built with Cabal (which generates this module),
and as far as I can remember, its a Cabal that isn't released
anywhere. When I did some work on haddock I commented this out, and
made getDataDir return an empty list and then made
It is really counterintuitive! I will study carefully your library and the
Implicit Configurations paper. Using static dimension checking we can write
very solid code for matrix computations...
However, I don't know how to write some definitions. For instance, this is ok:
m = $(dAM [[1,2,3]])
I have added 'solve method F', aka X-wing, swordfish...
(www.sudokusolver.co.uk) to my solver, that reduced the number of puzzles
needing guesses to 5306, so I suppose that's it.
I haven't yet implemented it efficiently, so it was devastating for
performance - and solving thirteen puzzles more
Hi Alberto,
Those are good questions, I've added some examples which hopefully
clarify the situation. Input and output of vectors is not a strong
point of the library, but I don't think there is a good alternative to
the way I do it.
http://ofb.net/~frederik/futility/src/Vector/read-example.hs
Coherence may also arise because of an ambiguous type.
Here's the classic example.
class Read a where read :: String - a
class Show a where show :: a - String
f s = show (read s)
f has type String-String, therefore we can pick
some arbitrary Read/Show classes.
If you want to know
12 matches
Mail list logo
