March 2008 - Yhc - Haskell.org

Re: [Yhc] Re: single element tuple
by Neil Mitchell 30 Mar '08

30 Mar '08

Hi Tom, Sorry for not replying - I thought this email was sent to the whole list, but it appears you just sent it to me. > > > > Have you done --linkcore to see all the library Core files as well? > > They should be created somewhere. > > Yes, I lied again. Prelude;1() are being created elsewhere. > > I am getting a case failure in my interpreter. The pattern is > Prelude;1(), but the case expression is my System monad. Is there > anything special I need to know regarding primitive functions that > return monads? As far as I was aware, primitive functions don't return monads. I certainly don't know any underlying details regarding Monads and primitive functions. Remember that type class dictionaries will be floating everywhere, and that IO in Yhc is a newtype, so gets removed - but other than that it could be anything. Thanks Neil

1 0

single element tuple
by Tom Hawkins 14 Mar '08

14 Mar '08

Hi, Printing the core one of my programs I see: data Prelude;1() a = Preluse;1() a What is this? A single element tuple? I didn't think Haskell had these. My program has a monad similar to IO. It appears these Prelude;1() things are created in the lambda lifted version of f1. Perhaps is it the parenthesis around (System m)? data Return a = Return a World data System a = System (World -> Return a) data World = World instance Monad System where (System m) >>= k = System f1 where f1 w = f2 w' where Return r w' = m w System f2 = k r return a = System (\ w -> Return a w) It's a bit difficult to correlate arguments of lifted lambdas to the original source. Is there a convention YHC uses for adding the extra arguments to lifted lambdas? Thanks! -Tom

3 3

HBC format
by Stewart Platt 14 Mar '08

14 Mar '08

Hi guys, Does anyone know if the HBC format at http://www.haskell.org/haskellwiki/Yhc/RTS/hbc is up to date? Regards, Stew.

2 1

Yhc and Haskell pragmas
by Dimitry Golubovsky 10 Mar '08

10 Mar '08

Malcolm, OK, I see where it is, and even though all calls to parsePragma are commented out, the only one that would be recognized was "YHC_OPTIONS". The way I am going to use it is to grep the source for specific regexp, and then build the backend's command line accordingly. So I think that using pragma names starting with any other prefix than "YHC_" won't cause any conflict in the future, will it? Thanks, -- Dimitry Golubovsky Anywhere on the Web

2 1

Nofib .yca linked Yhc Core files
by Neil Mitchell 08 Mar '08

08 Mar '08

Hi, I have compiled .yca files for most of the nofib suite. So no one else has to do this, I've uploaded a .zip of them: http://www.cs.york.ac.uk/fp/yhc/yca.zip They may be useful to others, Thanks Neil PS. The script used to create them is: if "%1" == "build" goto build pushd %1 for /d %%i in (*) do call ..\%0 build %%i popd goto exit :build pushd %2 yhc --linkcore Main --hide copy ycr\Main.yca ..\%2.yca popd :exit

1 0

Haddock Documentation for Yhc Web Service available online
by Dimitry Golubovsky 06 Mar '08

06 Mar '08

Hi, I have regenerated Haddock documentation for Haskell modules included into the Yhc Web Service. http://www.golubovsky.org:5984/_utils/yhcws/index.html Thanks. -- Dimitry Golubovsky Anywhere on the Web

1 0

yca2swf? was coreFunc has extra argument
by Dimitry Golubovsky 05 Mar '08

05 Mar '08

Hi, Jeremy shaw wrote: and when the 'compiler' calls main it actually passes in a World value. (Or at least, in my *yca2swf* compiler I believe I do). Jeremy: could you please elaborate on this? It doesn't even google. Does this involve actionscript in any way (but I may ask mistakenly as I am not much familiar with shockwave/adobe stuff)? -- Dimitry Golubovsky Anywhere on the Web

3 2

Yhc Web Service quietly opened for public testing
by Dimitry Golubovsky 05 Mar '08

05 Mar '08

Hi, I finally got the Yhc Web Service (web-based front end to the compiler) running in public testing mode. There hasn't been any documentation written, and Haddock stuff not brought in order, but if anyone wants to just get a taste of it, please open this hpaste entry: http://hpaste.org/6094 and follow the instructions. In 10 steps, you'll get Haskell to work in your web browser* ;) No need to install anything. Feel free to edit the source code, and even deliberately make errors to see how error log looks. At the moment, I do not run automatic cleanup of failed compilations. This is one of my old tests, not showing any GUI interaction. However, both documents browser and new entry form were written in Haskell which gives some idea about what can be done. Sources of these forms are in the Yhc repo. Thanks. ----------- * Likely, your results will be better with Firefox than with MSIE. But MSIE should work as well. -- Dimitry Golubovsky Anywhere on the Web

2 2

coreFunc has extra argument
by Tom Hawkins 05 Mar '08

05 Mar '08

I noticed a coreFunc has an extra argument and I'm not sure where it's coming from. For example if I compile: main :: IO () main = return () and print out the coreFuncs and coreDatas I get: Main;main = Prelude;YHC.Internal.IO;Prelude.Monad;return Prelude;() Prelude;1807_ioReturn v25601 v25602 = YHC.Primitive;_E v25601 Prelude;YHC.Internal.IO;Prelude.Monad;return v25600 = Prelude;1807_ioReturn v25600 main = Main;main data YHC.Primitive;_E b = YHC.Primitive;_E b data Prelude;() = Prelude;() Why does Prelude;1807_ioReturn include an extra argument (v25602) that is not used? If I informally type check this by hand, I get a contradiction: main :: IO () Main;main :: IO () Prelude;YHC.Internal.IO;Prelude.Monad;return :: a -> IO a Prelude;YHC.Internal.IO;Prelude.Monad;return = Prelude;1807_ioReturn Therefore if follows: Prelude;1807_ioReturn :: a -> IO a But the Prelude;1807_ioReturn definition has type: Prelude;1807_ioReturn :: a -> b -> YHC.Primitive;_E a What am I missing here? Am I to interpret this as meaning: b -> YHC.Primitive;_E a == IO a ? Thanks for any help! -Tom

5 8