- Yhc - Haskell.org

Problems installing YHC on Windows XP
by Bryan Burgers 03 Mar '07

03 Mar '07

Hello, I'm interested in fiddling with YHC, maybe helping out from time to time whenever I get free time, so I tried to install it from darcs today. Everything went well (got the source from darcs, downloaded SCons) until I did the configure script (error below). The scons output tells me that it can't find a C compiler. I have one on this computer via MinGW (which has executables named "gcc.exe" and "cpp.exe"). Not knowing SCons, I still took a shot in the dark at the configure script, changing the 'env' line to: env = Environment(ENV=os.environ, CPPPATH=["#.", "C:\\MinGW\\bin\\"]) but that didn't work, either. Should I go with an entirely different compiler? I don't remember why I installed that one, but I'm not sure I even used it, so I'm not even sure if it works. I guess I'm mostly appealing to the last line of the output below, "If so then please contact the Yhc developers for help." (smile) Any help would be appreciated! Bryan Burgers D:\My Documents\My Programs\Languages\Haskell\YHC\yhc>"C:\Program Files\Scons\Scons.py" core=2 scons: Reading SConscript files ... Building version 0.7.0-20070224211823-custom. Checking for architecture... Windows implies x86 Checking for operating system... win32 Checking for Subversion binary... Not found Error. 'svn' not found in PATH. Will use ctypes snapshot. Checking for GHC binary... "ghc" Checking for GHC version 6.4.1 or later... Found version 6.4.2. Checking for Python version 2.3 or later... Found version 2.4.3 final (0). Checking for Scons binary... Not found Checking for Darcs binary... "darcs" Checking for Darcs version... Found version 1.0.7 (release). Checking for Haddock binary... Not found Error. Haddock not found, you won't be able to build the documentation. Checking whether byte ordering is bigendian... failed Checking size of char... failed Checking size of short... failed Checking size of int... failed Checking size of long... failed Checking size of long long... failed Checking size of float... failed Checking size of double... failed Checking size of void*... failed Failed to check types sizes/endianness. You do have a working C compiler don't you? If so then please contact the Yhc developers for help.

2 2

buildbot failure in linux_ppc
by andrewjwilkinsonw＠gmail.com 03 Mar '07

03 Mar '07

The Buildbot has detected a new failure of linux_ppc. Full details are available at: http://www.indiegigs.co.uk:8010/linux_ppc/builds/80 Buildbot URL: http://www.indiegigs.co.uk:8010/ Buildslave for this Build: linuxppc Build Reason: Build Source Stamp: HEAD Blamelist: Neil Mitchell,golubovsky(a)gmail.com BUILD FAILED: failed failed slave lost sincerely, -The Buildbot

1 0

Inconsistency in documentation of .hbc format
by Stefan O'Rear 02 Mar '07

02 Mar '07

http://www.haskell.org/haskellwiki/Yhc/RTS/hbc does not list the calling convention and type signature fields for ExtObj. (ndm recommended I tell the list; this was discovered while writing the bytecode parser for ayhi.) Stefan

1 0

Followup to "evaluated node" question
by Dimitry Golubovsky 02 Mar '07

02 Mar '07

Hi, Sorry, it looks like there was a followup (seen in mail-archive, but not in the pipermail archive at haskell.org which shows the latest message on Feb 28). -- Dimitry Golubovsky Anywhere on the Web

1 0

Fwd: Re: Yhc port to Mindstorms
by Neil Mitchell 01 Mar '07

01 Mar '07

Hi, Tobias Muehlberg and I have just given the aforementioned talk. The abstract is at the bottom of this email, and the slides are available at: http://www.cs.york.ac.uk/plasma/talkrelated/318.pdf > I'm keen to get more details of this. Did it use Yhc? Where does > Lava come in? (We were thinking of using some form of FRP, as in > Frob or Yampa.) -- P My approach was just to add a C backend to Lava, in which circuits get turned into C. Lava alone is not great for control systems, but Koen Claessen and Gordon Pace have defined an Esterel-like language (amongst other languages), called Flash, on top of Lava. Essentially, if you write an interepreter/semantics for your own custom language in Lava, then you get a compiler from that language to VHDL (and now C) for free. See Koen's thesis for more details: http://www.cs.chalmers.se/~koen/pubs/phd01-thesis.ps (in particular chapter 6, and perhaps chapter 5) The seperation of Lava and languages like Flash reminds me of the pure/monadic divide when programming in Haskell, e.g. Lava (pure) functions can be called from Flash (impure) programs, and Flash programs can be turned into Lava functions by "running" them. The Lava homepage is: http://www.cs.chalmers.se/~koen/Lava/ I can provide my C/MindStorms backend to anyone who wants it. But it is not the most efficient code! Perhaps this general approach is more attractive to hardware designers than software programmers, because Lava expands out most recursion at compile time (which is good for parallelism, but not for binary size). This isn't a problem when you have languages like Flash available, but you might then ask "is this really programming in Haskell"? So, read the slides and judge for yourself! Thanks everyone for your interest! Matt. Room : CS202J Date : 01 March 2007 Time : 12:15 -- 13:15 Speaker : Matthew Naylor, Jan Tobias Muehlberg Title : FUN with Lego Mindstorms Abstract: In this talk, we will present how Lego Mindstorms robots can serve as a delightful example for the development of safety-critical embeded software systems. We will give a brief overview of Esterel's SCADE suite and show how it can be used to design programs for Lego robots, to prove safety properties for these programs and to generate C source code that actually runs on the Mindstorms RCX. In addition to this, Matthew will explain how the whole stuff can be done using Haskell. The talk is based on our experience from the Reactive Systems Design module. ----- End forwarded message -----

2 1

Core
by Ricky Barefield 01 Mar '07

01 Mar '07

Hi, I'm currently working on a project to convert Haskell to Java preserving lazy evaluation and such at Sheffield University. Neil Mitchell suggested that I look into using YHC Core as an intermediary language. It looks ideal, although I am having a couple of problems using it. Firstly so I can work with it I need to use the `Core' data type which seems to be in `Yhc.Core', I realised this isn't part of the windows snapshot of YHC so I found the files within http://darcs.haskell.org/yhc I've downloaded these files and put them into YHC's library folders. The problem is I'm not able to import these files into any of my own code as I get an error message. Would anyone know if I'm doing something wrong? (Let me know if I can tell you a bit more about what I've done) Or have I not downloaded the correct versions of these files? I understand YHC is still being developed, is there a stable version I could use for these files? Many Thanks and any help will be much appreciated. Ricky Barefield -----Original Message----- From: Neil Mitchell [mailto:ndmitchell@gmail.com] Sent: 06 February 2007 19:22 To: Ricky Barefield Subject: Re: [Haskell-cafe] External Core Hi If you do have any questions either post them to Haskell-cafe or yhc(a)haskell.org and I'm sure we'll be able to get you sorted. If there is any documentation you need, and can't find, also just shout and we'll find someone to write it. Thanks Neil On 2/6/07, Ricky Barefield <aca03rdb(a)sheffield.ac.uk> wrote: > Thanks for this I'll look into it. > > Ricky > > -----Original Message----- > From: Neil Mitchell [mailto:ndmitchell@gmail.com] > Sent: 06 February 2007 18:47 > To: Ricky Barefield > Cc: haskell-cafe(a)haskell.org > Subject: Re: [Haskell-cafe] External Core > > Hi Ricky, > > > For the last year I've been working on a program to translate between > > Haskell and Java. Originally this was for my third year dissertation > to > > contribute towards my Masters in computer science at Sheffield > University, > > UK. > > > > I have been given the opportunity to continue this project and have > become > > interested in using the Core representation as an intermediary > language. > > You might be interested in Yhc.Core - its like GHC's Core, but is > simpler, untyped and (in my opinion) better supported. > > http://haskell.org/haskellwiki/Yhc/API/Core > > We already have a Haskell -> Javascript convertor written using this, > so your type of application is certainly doable using what we have > already. There are quite a few users of Yhc.Core already, and everyone > has had nice things to say about it :) > > If you have any specific Yhc.Core questions feel free to ask away > > Thanks > > Neil > >

2 3

Re: Issue 130 in project yhc
by Neil Mitchell 28 Feb '07

28 Feb '07

Hi Dons, You need to specify haskell 98 mode, with -98. > yhc -98 Main > Success Underscores and upper/lower case are broken in Haskell, if anyone can tell us what it _should_ do then we're happy to implement it! Ideally a short and comprehensible spec of what we should allow, and what the result should be, to accept the maximum number of programs! You could also add {-# OPTIONS_YHC -98 #-} to the top of the file to get this test working. Thanks Neil On 2/27/07, codesite-noreply(a)google.com <codesite-noreply(a)google.com> wrote: > > Issue 130: Parser error on _1-style identifiers > http://code.google.com/p/yhc/issues/detail?id=130 > > New issue report by dons00: > YHC's parser seems to die on the following (I think) valid Haskell identifiers: > > main = let _1 = 1 in print _1 > > Dies with: > > serenity$ yhc x.hs > Error: /home/dons/src/nobench/spectral/integer/x.hs(1:12-1:11) Found > {-ERROR 1-} but expected one of _in_ ; {-end-of-definition-} prefix _infix_ > _infixr_ _infixl_ <string> <char> <rational> <integer> ~ > > However hugs, ghc, hbc and nhc98 are happy with it: > > serenity$ runhugs +98 x.hs > 1 > > > Issue attributes: > Status: New > Owner: ---- > Labels: Type-Defect Priority-Medium > > -- > You received this message because you are listed in the owner > or CC fields of this issue, or because you starred this issue. > You may adjust your issue notification preferences at: > http://code.google.com/hosting/settings > > --~--~---------~--~----~------------~-------~--~----~ > You received this message because you are subscribed to the Google Groups "yhc-bugtrack" group. > To post to this group, send email to yhc-bugtrack(a)googlegroups.com > To unsubscribe from this group, send email to yhc-bugtrack-unsubscribe(a)googlegroups.com > For more options, visit this group at http://groups.google.com/group/yhc-bugtrack?hl=en > -~----------~----~----~----~------~----~------~--~--- > >

2 1

Re: Yhc port to Mindstorms
by Colin Runciman 28 Feb '07

28 Feb '07

Phil, > I am working with an MSc student, Alexis Morris, to develop a system to > program Mindstorms Nxt in Haskell. One possibility is to use Yhc. Can > you advise on whether this is a good path, and how difficult you think > it might be? Cheers, -- P Matt Naylor was recently acting as teaching assistant on a course using Lego Mindstorms robots and developed a way of programming the robots in Haskell using the Lava library. As it happens Matt is due to give a talk on this topic at our group meeting tomorrow, and I'm sure he'd be happy to send a copy of his slides if these would be of interest. I'm including Matt on the cc-list. Regards Colin R

1 0

yhi error in nobench: wrong output for digits-of-e2
by dons＠cse.unsw.edu.au 26 Feb '07

26 Feb '07

This program in the nobench suite: http://www.cse.unsw.edu.au/~dons/code/nobench/imaginary/digits-of-e2/digits… Generates incorrect output with yhi darcs version: $ yhc digits-of-e2.hs $ yhi Main.hbc 10 "2.88506250" Should be: $ ./digits-of-e2 10 "2.71828182" If it helps narrow things down, nhc98 from darcs produces the correct output here. Cheers, Don

3 2

Present Yhc build complains "yhc: Error: Found file multiple times, YHC.Exception" compiling Exit.hs
by Thorkil Naur 26 Feb '07

26 Feb '07

Hello Yhc'ers, I have just updated (darcs pull'ed) my regular yhc installation, scons fullclean'ed and then scons type=release --config=force'd. This is the result: ... Compiling YHC.Internal ( src/packages/yhc-base-1.0/YHC/Internal.hs ) Copy("inst/lib/yhc/packages/yhc-base/1.0/YHC/Internal.hi", "src/packages/yhc-base-1.0/YHC/Internal.hi") YHC_build(["src/packages/yhc-base-1.0/System/Exit.hbc"], ["src/packages/yhc-base-1.0/System/Exit.hs"]) inst/bin/yhc -core -cpp -c src/packages/yhc-base-1.0/System/Exit.hs yhc: Error: Found file multiple times, YHC.Exception Reason: imported from System.Exit Found in: scons: *** [src/packages/yhc-base-1.0/System/Exit.hbc] Error 1 scons: building terminated because of errors. Interestingly, my buildbot compiles fine. I can, of course, start all over, but perhaps you would like to inject a comment first? And note: The message "Found file multiple times" actually means "Not found", as far as I have been able to tell The wording of this particular message is the subject of a bug report that I was preparing when this other thing hit. Best regards Thorkil

3 3