- Yhc - Haskell.org

buildbot failure in macosx_x86
by andrewjwilkinsonw＠gmail.com 15 Jun '07

15 Jun '07

The Buildbot has detected a new failure of macosx_x86. Full details are available at: http://www.indiegigs.co.uk:8010/macosx_x86/builds/164 Buildbot URL: http://www.indiegigs.co.uk:8010/ Buildslave for this Build: macosxx86 Build Reason: The web-page 'force build' button was pressed by '': Build Source Stamp: HEAD Blamelist: BUILD FAILED: failed yhc sincerely, -The Buildbot

1 0

Re: [Yhc] Haskell file to YHC.Core AST
by Neil Mitchell 14 Jun '07

14 Jun '07

Hi Miguel, > My intension about core is that it is a Haskell subset and since I'm writing > a tool to translate Haskell to another language, core reduces significantly > the cases I have to deal with. That makes perfect sense, and using Core should definitely make your task easier. > I'm then converting Core AST to another AST (of other language). Some of the > translation steps only need to pattern-matching over Core AST but others > require some analysis of Core. For example, things like how many times a > variable or a function are used inside a function definition. In a few days there will be a release of the Uniplate library for Yhc Core, which should make these kind of transformations much easier. Much of it is already possible using Play - for example to see the number of times variable 'z' is used in an expression: length [() | Var i <- allCore x, i == "z"] In a few days, universe will give you the answer instead of allCore. Thanks Neil > > -----Mensagem original----- > De: Neil Mitchell [mailto:ndmitchell@gmail.com] > Enviada: quarta-feira, 13 de Junho de 2007 16:01 > Para: José Miguel Vilaça > Cc: yhc(a)haskell.org > Assunto: Re: [Yhc] Haskell file to YHC.Core AST > > Hi > > > I see that I can read a .hs file and output a .ycr by calling in a shell > > yhc File.hs –core > > You might also want to pass -linkcore instead, depending on your use - > some people choose -core, some -linkcore. > > > > main = system "yhc File.hs -core" >> loadcore "File.ycr" >>= writeFile > > "File.txt" . show . trans > > > > > First, the YHC documentation at > > http://www.cs.york.ac.uk/fp/yhc/snapshot/docs/doc-index.html > > do not know about a loadcore function. Is it available ? > > It is, and its in the index, but isn't being searched for. Whats > particularly worrying is that I wrote the code that does the > searching, so its most likely my fault... See > http://www.cs.york.ac.uk/fp/yhc/snapshot/docs/Yhc-Core-Serialise.html#v%3Alo > adCore > > > Second, is there a way of substituting the call to system by some Haskell > > code? > > No, not currently. I have found the system call to be perfectly sufficient. > > > Third. I'm having troubles with the binary version for windows given in > > http://www.haskell.org/haskellwiki/Yhc/Snapshots . For a > > Main.hs file containing > > Where C:\tools\yhc is where I unpack the .zip file downloaded. > > If you are developing Yhc programs you will also need to check out the > darcs repository (but not compile it). Then when doing linking you'll > need to include something like: > > ghc --make Main.hs -id:\sources\yhc\current\src\libraries\core > -id:\sources\yhc\current\depends\play > > Where d:\sources\yhc\current is the Yhc darcs directory. We'll be > releasing a .cabal package shortly which means this step will no > longer be necessary, but shouldn't be too hard for now. > > Any hints on what you are hoping to do with Yhc.Core? We might be able > to provide further information, and will certainly be interested to > see the results :) > > Thanks > > Neil > >

1 0

Haskell file to YHC.Core AST
by José Miguel Vilaça 14 Jun '07

14 Jun '07

Hi, I want to do some Haskell manipulation and for that I intend to use the YHC.Core.Type. Lets say I have a function trans :: Core -> MyAST I see that I can read a .hs file and output a .ycr by calling in a shell yhc File.hs core As said in http://yhc06.blogspot.com/2006/09/yhccore-api-available.html And supposidly I can write a tool whose main in Haskell is main = system yhc File.hs -core >> loadcore File.ycr >>= writeFile File.txt . show . trans First, the YHC documentation at http://www.cs.york.ac.uk/fp/yhc/snapshot/docs/doc-index.html do not know about a loadcore function. Is it available ? Second, is there a way of substituting the call to system by some Haskell code? Third. Im having troubles with the binary version for windows given in http://www.haskell.org/haskellwiki/Yhc/Snapshots . For a Main.hs file containing import Yhc.Core main = print 42 called like D:\tmp>yhc Main Error: File not found, Yhc.Core Reason: imported from Main Looked in: D:\tmp\ . C:\Tools\yhc\lib\yhc\packages\haskell98\1.0 C:\Tools\yhc\lib\yhc\packages\yhc-base\1.0 Where C:\tools\yhc is where I unpack the .zip file downloaded. I would really appreciate some help on this. Best Miguel Vilaça

2 2

YHC Install Error...
by Alexis Morris 13 Jun '07

13 Jun '07

Hi all, I've been getting this error upon compiling the YHC source under windowsxp. The process continues without a snag until the bootstrapping is done, then the following occurs: > Could not find module `Data.Binary.Builder': > Use -v to see a list of the files searched for. Does anyone know where I get access to this file? Complete error message is below...Thanks... bootstrap/packages/yhc-base/1.0/Data/Ratio.hi -> src/packages/yhc-base-1.0 /Data/Ratio.hi Done. scons: done reading SConscript files. scons: Building targets ... Getting dependencies for depends\binary\src\Data\Binary\Builder.hs. "ghc" -i./src/compiler98 -i./src/libraries/general -i./src/libraries/core -idepends/cpphs -idepends/filepath -idepends/play -i./src/in teractive -package mtl -fwarn-missing-signatures -c depends\binary\src\Data\Binary\Builder.hs -o depends\binary\src\Data\Binary\Builder.obj Getting dependencies for depends\binary\src\Data\Binary\Get.hs. "ghc" -i./src/compiler98 -i./src/libraries/general -i./src/libraries/core -idepends/cpphs -idepends/filepath -idepends/play -i./src/in teractive -package mtl -fwarn-missing-signatures -c depends\binary\src\Data\Binary\Get.hs -o depends\binary\src\Data\Binary\Get.obj Getting dependencies for depends\binary\src\Data\Binary\Put.hs. An error ocurred running `ghc -M -optdep-f -optdepdepends\binary\src\Data\Binary\.Put.hs.dep -fwarn-missing-signatures -i./src/compile r98:./src/libraries/general:./src/libraries/core:depends/cpphs:depends/filepath:depends/play:./src/interactive depends\binary\src\Data\Binary\Put.hs`: > >depends/binary/src/Data/Binary/Put.hs:49:17: > Could not find module `Data.Binary.Builder': > Use -v to see a list of the files searched for. > Dependencies will not be calculated. "ghc" -i./src/compiler98 -i./src/libraries/general -i./src/libraries/core -idepends/cpphs -idepends/filepath -idepends/play -i./src/in teractive -package mtl -fwarn-missing-signatures -c depends\binary\src\Data\Binary\Put.hs -o depends\binary\src\Data\Binary\Put.obj depends/binary/src/Data/Binary/Put.hs:48:0: Failed to load interface for `Data.Binary.Builder': Use -v to see a list of the files searched for. scons: *** [depends\binary\src\Data\Binary\Put.obj] Error 1 scons: building terminated because of errors. C:\yhc> -- </Alexis>

2 4

YHC Source: Where to Start?
by Alexis Morris 13 Jun '07

13 Jun '07

Hi all, I have downloaded the sources from Darcs and I am trying to isolate the critical components of YHC. Does anyone have resources that explains the overview of the source tree...important folders, main program, etc? Can anyone give a rough overview? Thanks in advance. Below are some of the main folders below the root...in particular I am interested in the src folder. ================================================== Main.hs Sconstruct configure version Makefile config.h.in configure.ac Makefile.in config.h.new.in readme.txt Make=: CMake.hs Configure.hs Docs.hs Profile.hs src Compile.hs Depends.hs Main.hs Useful.hs bootstrap=: packages misc=: Batch.hs Makefile.bpp haddock_prefix.txt DarcsGraph.hs WinYhe.svg hscolour.css src=: SConscript interactive packages tester util compiler98 libraries runtime translator Cheers, -- </Alexis>

2 3

Incomprehensible error messages
by David Fox 06 Jun '07

06 Jun '07

I created this file by simplifying an error I was getting from a program that uses the Javascript types. If you remove the type signatures for f1 and f2 it compiles, but how do I fix the error I get when I compile with the signatures? module Main where type CPS c a = (a -> c) -> c class CNode a data TNode = TNode instance CNode TNode m :: TNode -> TNode -> Bool m a b = f1 b a $ \_ -> True f1 :: (CNode a, CNode b) => a -> b -> CPS c a f1 a b f = f2 a b $ \_ -> f a f2 :: (CNode a, CNode b) => a -> b -> CPS c a f2 a b f = f1 a b $ \_ -> f a This gives these messages: yhc -linkcore Browser3.hs Compiling Main ( Browser3.hs ) -- during after type inference/checking Error: No default for Main.CNode at 16:1-16:29.(Id 215,[(Id 200,Id 250)]) Error: No default for Main.CNode at 16:1-16:29.(Id 214,[(Id 200,Id 251)]) Error: No default for Main.CNode at 13:1-13:29.(Id 220,[(Id 200,Id 248)]) Error: No default for Main.CNode at 13:1-13:29.(Id 219,[(Id 200,Id 249)]) You can replace the CNode/TNode and CPS declarations with this: import DOM.Level1.Html import DOM.Level1.Dom import CPS same result.

3 5

buildbot failure in macosx_ppc_3
by andrewjwilkinsonw＠gmail.com 05 Jun '07

05 Jun '07

The Buildbot has detected a new failure of macosx_ppc_3. Full details are available at: http://www.indiegigs.co.uk:8010/macosx_ppc_3/builds/86 Buildbot URL: http://www.indiegigs.co.uk:8010/ Buildslave for this Build: macosxppc3 Build Reason: Build Source Stamp: HEAD Blamelist: Neil Mitchell BUILD FAILED: failed yhc sincerely, -The Buildbot

1 0

buildbot failure in macosx_x86_dual
by andrewjwilkinsonw＠gmail.com 04 Jun '07

04 Jun '07

The Buildbot has detected a new failure of macosx_x86_dual. Full details are available at: http://www.indiegigs.co.uk:8010/macosx_x86_dual/builds/155 Buildbot URL: http://www.indiegigs.co.uk:8010/ Buildslave for this Build: markus2 Build Reason: Build Source Stamp: HEAD Blamelist: Neil Mitchell BUILD FAILED: failed yhc sincerely, -The Buildbot

1 0

buildbot failure in debian_amd64
by andrewjwilkinsonw＠gmail.com 04 Jun '07

04 Jun '07

The Buildbot has detected a new failure of debian_amd64. Full details are available at: http://www.indiegigs.co.uk:8010/debian_amd64/builds/215 Buildbot URL: http://www.indiegigs.co.uk:8010/ Buildslave for this Build: debianamd64 Build Reason: Build Source Stamp: HEAD Blamelist: Neil Mitchell BUILD FAILED: failed yhc sincerely, -The Buildbot

1 0

buildbot failure in macosx_x86
by andrewjwilkinsonw＠gmail.com 04 Jun '07

04 Jun '07

The Buildbot has detected a new failure of macosx_x86. Full details are available at: http://www.indiegigs.co.uk:8010/macosx_x86/builds/158 Buildbot URL: http://www.indiegigs.co.uk:8010/ Buildslave for this Build: macosxx86 Build Reason: Build Source Stamp: HEAD Blamelist: Neil Mitchell BUILD FAILED: failed yhc sincerely, -The Buildbot

3 2