The York Haskell Compiler ()

headers li cheng | 2 Nov 2012 02:12 · /compiler98/

_______________________________________________
Yhc mailing list
Yhc <at> haskell.org
http://www.haskell.org/mailman/listinfo/yhc

In the interests of some program transformations that I want to try out
I've decided it would be nice to get a YHC based compiler working again.

I managed to get YHC working (although it's a bit of a hack, I haven't
found a nice way to build the libraries), I can probably pull some
patches together if they are wanted.

I've noticed that much of the code is messy and have started to rewrite
significant parts.  On the other hand I think much of the compiler
architecture and ideas in YHC (such as the specific language chosen for
YHC Core) are worth keeping.  I'd like to see some nice libraries for
manipulating Core (I believe that was the intended direction anyway).

Are there any parts of the compiler design that caused problems? Are
there parts that were particularly good?

I believe that I should be safe to release any derived works under
GPLv3 (with some attribution), although it isn't entirely clear. Does
anybody disagree?

Thanks, I'll post an update here when I've got some code to share.

[Aside: I think messy code is expected, especially in old code like the
bits from nhc, or code that has features added over time - please don't
be offended!]

--

-- 
Andrew Oakley

_______________________________________________
Yhc mailing list
Yhc <at> haskell.org
http://www.haskell.org/mailman/listinfo/yhc

Hi,

For homework help I suggest you read
http://haskell.org/haskellwiki/Homework_help and follow the links
listed there.

Thanks, Neil

2010/12/5 Suresh <vai.csse <at> gmail.com>:
> Dear Sir,
>
>       My be this question will be funny for you but I am new in Haskel and
> got only few lection and now I have to solve the question as test. Please
> let me know about suitable api for this question. We have wrong code and
> there is some test. Have to find out needed or suitable api and using these
> we have to pass all the test. But still I am so poor on Haskel. Please give
> me your good idea and material for this question. IF possible please give
> some example to solve this problem.
>
> module Grammar where
>
> import Data.Set (Set)
> import qualified Data.Set as Set
> import Prelude hiding (Int)
>
> import Test.HUnit
>
> data Term = Int Integer
>           | Atom String
>           | Var String
>           | Pair (Term, Term)
>           | Tuple [Term]
>
> data Expr = Term Term
>           | Fun [Term] [Expr]
>           | Apply Expr [Expr]
>           | Assign Term Expr
>
> boundVariables :: Expr -> Set String
> boundVariables _ = Set.empty
> fromList:: Map X Y -> [(X, Y)]
>
> freeVariables :: Expr -> Set String
> freeVariables _ = Set.empty
>
> tests =
>     let bv = boundVariables
>         fv = freeVariables
>         -- e0 := 'fun () -> ok end'
>         e0 = Fun [] [Term (Atom "ok")]
>         -- e1 := 'foo'
>         e1 = Term (Atom "foo")
>         -- e2 := 'fun (X, Y) -> F(X) end'
>         e2 = Fun [Var "X", Var "Y"]
>                  [Apply (Term (Var "F")) [Term (Var "X")]]
>         -- e3 := 'fun (true) -> F = fun (X) -> Mul(X, X) end, Add(F(X), 10)
> end'
>         e3 = Fun [Atom "true"] [
>                  Assign (Var "F")
>                         (Fun [Var "X"] [
>                              Apply (Term (Var "Mul")) [
>                                  Term (Var "X"),
>                                  Term (Var "X")
>                              ]
>                          ]),
>                  Apply (Term (Var "Add")) [
>                      Apply (Term (Var "F")) [
>                          Term (Var "X")
>                      ],
>                      Term (Int 10)
>                  ]
>              ]
>         -- e4 := 'fun () -> F(X), F = G end'
>         e4 = Fun [] [
>                  Apply (Term (Var "F")) [
>                      Term (Var "X")
>                  ],
>                  Assign (Var "F") (Term (Var "G"))
>              ]
>         -- e5 := 'fun () -> F = G, F(X) end'
>         e5 = Fun [] [
>                  Assign (Var "F") (Term (Var "G")),
>                  Apply (Term (Var "F")) [
>                      Term (Var "X")
>                  ]
>              ] in
>     runTestTT (test [
>           bv e1 ~=? Set.empty
>         , fv e1 ~=? Set.empty
>         , bv e2 ~=? Set.fromList ["X", "Y"]
>         , fv e2 ~=? Set.fromList ["F"]
>         , bv e3 ~=? Set.fromList ["X", "F"]
>         , fv e3 ~=? Set.fromList ["Mul", "Add", "X"]
>         , bv e4 ~=? Set.fromList ["F"]
>         , fv e4 ~=? Set.fromList ["F", "G", "X"]
>         , bv e5 ~=? Set.fromList ["F"]
>         , fv e5 ~=? Set.fromList ["G", "X"]
>     ])
>
>
>
>
> Best regards
> Suresh

Hi Gwern,

I'd say abandoned prototype at this stage. I no longer work on Yhc, no
longer have a working copy, and don't have permission to push patches.
I wouldn't bother going to any effort cleaning it up, unless you want
to maintain/improve it in the long run.

That said, when I last used it, it certainly did parse case
expressions/lambdas! It was basically Haskell 98 plus a couple of
extensions, but not that much of the base library. I've no idea if you
broke something in your cleanup, or if something else got broken
before you got to it.

Thanks, Neil

On Mon, Mar 8, 2010 at 10:09 PM, Gwern Branwen <gwern0 <at> gmail.com> wrote:
> re: bin/yhc/src/compiler98/
>
> I was trying to remove the haskell98 dep, but after I had apparently
> gotten rid of most, I began running into all sorts of odd syntax
> errors - missing \ in lambdas, = in case expressions, list syntax in
> type sigs - that I've begun to wonder if that is a real compiler or an
> abandoned prototype or something.
>
> --
> gwern
>

Hi  <at> All,

a colleague of mine and I are writing our Master Thesis. Our goal is to
write a Haskell To Javascript Compiler.

Now we have found that yhc already at least has some sort of JavaScript
backend, and we wanted to take a closer look at all this. So we
installed darcs, checked out the repository and tried to build it. But
when we want to execute Scons to build the code the process fails
because the SConstruct file is missing. Does anybody know how to get
around this? Or are we just failing because we have to have anything
else installed to build the sources?

Any help would be greatly appreciated!

cheers
Philipp

P.S.: If anybody happens to know anotcher Haskell to Javascript backend,
an email would also be really helpful. Thanks again!

Hello all,

I was recently looking for a snapshot of YHC, and I wasn't able to
find anything on haskell.org.  It appears that the darcs repositories
have been taken down.  I understand the project has become dormant,
but I am interested to see how some parts of it were put together,
namely the Javascript back end.  It might be right in front of my face
and I'm missing it, but could somebody point me to a snapshot
somewhere if one still exists?

Thanks!

Ian

_______________________________________________
Yhc mailing list
Yhc <at> haskell.org
http://www.haskell.org/mailman/listinfo/yhc

Hello,

I can't build Yhc. I followed instructions here:
http://www.haskell.org/haskellwiki/Yhc/Building

darcs get finished fine. When I simply typed "scons" into a console
window, I get:

tinuviel <at> debian:~/haskell/yhc$ scons
scons: Reading SConscript files ...
IOError: [Errno 2] No such file or directory: '_darcs/inventory':
  File "/home/tinuviel/haskell/yhc/Sconstruct", line 22:
    setup_version(env, Configure, ARGUMENTS)
  File "/home/tinuviel/haskell/yhc/build/configure.py", line 49:
    env["ENV"]["VERSION"] = getVersion(vtype)
  File "/home/tinuviel/haskell/yhc/build/version.py", line 8:
    lines = filter(lambda x: x.find("**") != -1,
open("_darcs/inventory", "r").readlines())

And there is no _darcs/inventory file indeed. Any idea?

--

-- 
Seo Sanghyeon

I did

scons

It crashed about some .h x86/ffi/darwin. So I did

scons fullclean
scons depends

and it got much further (I presume...) but now it says

libgmp must be install and gmp.h made accessible before you can compile Yhc

which is odd since I installed them with MacPorts, in /opt/local/lib
and /opt/local/include; they are there, and Sconstruct has those paths
in the lines:

env.Append(CPPPATH=["/usr/local/include", "/opt/local/include",
"/Library/Frameworks/GMP.Framework/Headers"])
        env.Append(LIBPATH=["/usr/local/lib", "/opt/local/lib",
"/Library/Frameworks/GMP.Framework"])

so I was puzzled where to go next...

Just wanting to play with Yhc on my Mac...

Any help wouyld be appreciated. Thanks,

  Jared.

Hi Ulrich,

Unfortunately I no longer have any time to work on Yhc, and don't have
any easy answers to your problems. Someone at the yhc <at>  mailing list
may have the answers, but the number of Yhc developers is pretty small
(possibly 0), so you may not have much success.

Thanks

Neil

On Sat, Jan 10, 2009 at 12:43 PM, Ulrich Vollert <ulrich <at> vollert.net> wrote:
> Hi Neil,
>
> I tried to build Yhc on my Sharp Zaurus C-3200
> (http://www.pulster.de/engl/sharp_zaurus_c-1000_3200.htm).
>
> The Zaurus is run by Debian Linux 2.6.24 and there are all the tools needed
> for Yhc: gcc 4.3.2, scons (v1.0.0.r3266), Python 2.5.2, darcs 2.1.0 and
> (even !) ghc 6.8.2.
>
> Okay, ghc is a bit heavy for this small machine but it works 
>
> Unfortunately I cant build Yhc. After "scons configure" I get:
>
> <<Unknow armv5tel - Your architectecture is unsupported.>>
>
> Any chance to build Yhc?
>
> Regards,
> Ulrich
>
>
>
>
>

Mon	Tue	Wed	Thu	Fri	Sat	Sun

		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30	31

2	November 2012
3	May 2012
4	April 2011
1	March 2011
1	December 2010
2	April 2010
2	March 2010
2	February 2010
2	January 2010
4	October 2009
4	September 2009
1	February 2009
3	January 2009
4	October 2008
6	August 2008
9	July 2008
2	June 2008
2	May 2008
1	April 2008
25	March 2008
23	February 2008
2	January 2008
26	December 2007
36	November 2007
3	October 2007
71	August 2007
46	July 2007
115	June 2007
20	May 2007
23	April 2007
85	March 2007
176	February 2007
51	January 2007
49	December 2006
47	November 2006
88	October 2006
57	September 2006
58	August 2006
62	July 2006
35	June 2006
5	May 2006
9	April 2006
33	March 2006
5	February 2006
32	January 2006
32	December 2005

How do I re-subscribe this mailing list to annother e-mail address?

YHC fork

is YHC dead?

Re: Help me for haskel problem please

Re: Haskell: YHC: compiler errors

Building yhc SConstruct file missing

YHC snapshot

Can't build Yhc on Mac

Can't build

Trouble building yhc on Mac OS X Leopard / x86

Re: Yhc on Zaurus