Hi,
recently I tried the Typing Haskell in Haskell library. But I was
wondering why this program type checks:
-- plusMfun is standard '+': Num a = a - a - a
test = let Just classEnv = ( addCoreClasses : addNumClasses )
initialEnv
e = Ap ( Ap (Var +) (Lit $ LitStr 3)) (Lit $ LitStr
Patrick LeBoutillier patrick.leboutillier at gmail.com writes:
[...]
exprt = Ap (Const mapt) (Const idt)
test = runTI $ tiExpr initialEnv [] exprt
When I execute the test function above in ghci I get:
([],TVar (Tyvar v3 Star)).
I was expecting someting like below for the type
Hi all,
I'm working with the code that accompanies this paper
(http://web.cecs.pdx.edu/~mpj/thih/) and I'm trying to use it
but I can't figure out how to get started. I have the following code
but it is not giving me the expected result:
import TypingHaskellInHaskell
mapt = map :: Forall [Star,
Hi,
I am relatively new to Haskell. I am attempting to get Typing Haskell in
Haskell to work on HUGS or GHC.
http://web.cecs.pdx.edu/~mpj/thih/
I am getting an error on loading SourcePrelude :-
Hugs :l SourcePrelude
ERROR .\PPrint.hs - Can't find imported module Pretty
And I cannot
On Sat, May 1, 2010 at 10:05 AM, Aaron Gray
aaronngray.li...@googlemail.com wrote:
Hi,
I am relatively new to Haskell. I am attempting to get Typing Haskell in
Haskell to work on HUGS or GHC.
http://web.cecs.pdx.edu/~mpj/thih/
I am getting an error on loading SourcePrelude :-
Hugs :l
Aaron Gray aaronngray.li...@googlemail.com writes:
I am relatively new to Haskell. I am attempting to get Typing Haskell in
Haskell to work on HUGS or GHC.
http://web.cecs.pdx.edu/~mpj/thih/
I am getting an error on loading SourcePrelude :-
Hugs :l SourcePrelude
ERROR
Hi Mark,
Cc Haskell-café,
It seems the OGI links for THIH have gone dead.
Is there any preferred download location for THIH these days?
I couldnt spot anything.
Thanks,
Ralf
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On Thu, 2004-11-18 at 13:23 +0800, WANG Meng wrote:
Hi All,
Does anybody know what parser Typing Haskell in Haskell use? I am tring
to use the code for some type checking. But I cannot find a parser in the
distribution.
Last time I looked, which was a long time ago, there was no parser.
I
Hi All,
Does anybody know what parser Typing Haskell in Haskell use? I am tring
to use the code for some type checking. But I cannot find a parser in the
distribution.
-W-M-
@ @
|
\_/
___
Haskell mailing list
[EMAIL PROTECTED]
http
Richard,
| for almost a year now, it has been on my list of things to do to read
| thih. for reasons too detailed to get into now, except to say that I
| still use a 486 computer (sans printer) at home, I find reading dvi, ps
| and pdf inconvenient and tend to postpone reading them whereas I
The source code for the current version of `Typing Haskell in Haskell'
is now available from: http://www.cse.ogi.edu/~mpj/thih/ It is, of
course, written in Haskell 98, and has been tested and developed using
Hugs 98.
For those who don't know, `Typing Haskell in Haskell' is an attempt
Over the past few months, I've been putting together a type checker for
Haskell that is also written in Haskell. One of the goals of this
project was to obtain a program that was clear and concise enough to serve:
- As a formal specification of the Haskell 98 type system;
- As a testbed for
12 matches
Mail list logo
