- Yhc - Haskell.org

buildbot failure in centos_x86
by andrewjwilkinsonw＠gmail.com 13 Sep '06

13 Sep '06

The Buildbot has detected a failed build of centos_x86. Full details are available at: http://www.indiegigs.co.uk:8010/centos_x86/builds/23 Buildbot URL: http://www.indiegigs.co.uk:8010/ Build Reason: Build Source Stamp: HEAD Blamelist: Tom BUILD FAILED: failed failed slave lost sincerely, -The Buildbot

1 0

Yhc pre-built binaries ?
by Cédric Paternotte 12 Sep '06

12 Sep '06

Hi, I would like to give Yhc a try. Is there a windows binary available somewhere ? Regards, Cedric

2 1

YHC, NHC & HEAP_OFF_N1
by Kartik Vaddadi 08 Sep '06

08 Sep '06

Hello, I'm a newbie at yhc & nhc, and I wonder: The nhc bytecode that Tom Shackell's presentation gives -- can't it be simplified by eliminating the HEAP_OFF_N1 and placing 'putStrLn' before 'show' in the heap, like this: PUSH_HEAP HEAP_CVAL putStrLn HEAP_CVAL show HEAP_INT 42 RETURN_EVAL Is there some fundamental reason why nhc can't generate such code (which yhc does not suffer from) or is this just an artefact of the current implementation? Thanks, and sorry if the question was dumb. -- Kartik Vaddadi.

2 2

still not building on FreeBSD
by David Frech 31 Aug '06

31 Aug '06

latest error: gcc -o inst/bin/yhi src/runtime/BCKernel/process.o src/runtime/BCKernel/external.o src/runtime/BCKernel/hashtable.o src/runtime/BCKernel/heap.o src/runtime/BCKernel/hsffi.o src/runtime/BCKernel/info.o src/runtime/BCKernel/integer.o src/runtime/BCKernel/iofuncs.o src/runtime/BCKernel/jonkers.o src/runtime/BCKernel/main.o src/runtime/BCKernel/make.o src/runtime/BCKernel/mark.o src/runtime/BCKernel/module.o src/runtime/BCKernel/mutator.o src/runtime/BCKernel/primitive.o src/runtime/BCKernel/pretty.o src/runtime/BCKernel/sanity.o src/runtime/BCKernel/stopcopy.o src/runtime/BCKernel/profile.o src/runtime/BCKernel/foreign.o src/runtime/BCKernel/thread.o src/runtime/BCKernel/stable.o src/runtime/BCKernel/builtin/Array.o src/runtime/BCKernel/builtin/FFI.o src/runtime/BCKernel/builtin/IO.o src/runtime/BCKernel/builtin/Prelude.o src/runtime/BCKernel/builtin/Concurrent.o src/runtime/BCKernel/builtin/PackedString.o src/runtime/BCKernel/builtin/RuntimeAPI.o src/runtime/BCKernel/builtin/System.o depends/ctypes/libffi/src/prep_cif.o depends/ctypes/libffi/src/cfield.o depends/ctypes/libffi/src/x86/ffi.o depends/ctypes/libffi/src/x86/sysv.o -L/usr/local/lib -lgmp -ldl -lm -lpthread /usr/bin/ld: cannot find -ldl scons: *** [inst/bin/yhi] Error 1 scons: building terminated because of errors. The issue, I think, is that, unlike on Linux, the dl* functions are in libc, not libdl. - David -- The reasonable man adapts himself to the world; the unreasonable one persists in trying to adapt the world to himself. Therefore all progress depends on the unreasonable man. -- George Bernard Shaw

2 2

Yhc Core injection
by Neil Mitchell 30 Aug '06

30 Aug '06

Hi, I know we have a -core output mode, what I was wondering is how easy it would be to inject some kind of PosLambda like code into the compiler, skipping the type checker and the desugarer? The reason that I ask is that I am currently writing a pile of Haskell manipulations, which make the Haskell code simpler, first order, remove redundant stuff etc. The transformations are for another purpose, but it might be interesting to see if they have an effect on the optimisation potential of Yhc. The reason Yhc is attractive for this is that the code is not type safe after its been reduced and simplified - for Yhc I suspect this won't be a problem? The code is "type safe" still, just not hinley milner type safe (or any kind of non-dependant type safe). Thanks Neil

1 0

Verified compiler
by William DUCK 27 Aug '06

27 Aug '06

Hello Misters, As you are compiler experts, I am asking your help. I am attempting to build up a team. I believe it's time for a full-fledge verified OS. If somebody is interested in functional programming and in formal methods to help to implement a verified compiler , he is welcome :) Here are two examples of a compiler formalisation : http://pauillac.inria.fr/~xleroy/compcert-backend/ http://www.score.is.tsukuba.ac.jp/~okuma/vc/ Another intereesting link : http://pes.cs.tu-berlin.de/cocv2007/ And finally the ultimate goal : http://www.cse.ogi.edu/~hallgren/House/ http://web.cecs.pdx.edu/~rebekah/presentations/ssp2005abs.pdf http://web.cecs.pdx.edu/~rebekah/papers/icfp05_bits.pdf Haskell also depends on a complicated run-time system. Such run-time systems are often unverified. Implementing a minimal, high-assurancerun-time system is a topic for future work. http://www.oreilly.com/catalog/opensources/book/linus.html GCC Unix itself is a great success story in terms of portability. The Unix kernel, like many kernels, counts on the existence of C to give it the majority of the portability it needs. Likewise for Linux. For Unix the wide availability of C compilers on many architectures made it possible to port Unix to those architectures. So Unix underscores how important compilers are. The importance of compilers was one reason I chose to license Linux under the GNU Public License (GPL). The GPL was the license for the GCC compiler. I think that all the other projects from the GNU group are for Linux insignificant in comparison. GCC is the only one that I really care about. A number of them I hate with a passion; the Emacs editor is horrible, for example. While Linux is larger than Emacs, at least Linux has the excuse that it needs to be. But basically compilers are really a fundamental need. Now that the Linux kernel follows a generally portable design, at least for reasonably sane architectures, portability should be possible as long as a reasonably good compiler is available. For the upcoming chips I don't worry much about architectural portability when it comes to the kernel anymore; I worry about the compilers. Intel's 64-bit chip, the Merced, is an obvious example, because Merced is very different for a compiler. So the portability of Linux is very much tied to the fact that GCC is ported to major chip architectures. If you want to contact me, my mail is guillaume_dot_fortaine_at_wanadoo_dot_fr I will set up a mailing-list, a web server, a wiki and an IRC Best Regards, Guillaume FORTAINE

2 1

I can't get foreign export to compile
by Isaac 20 Aug '06

20 Aug '06

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 (the only reason I'm trying _this_ is to test if the Yhc implementation of concurrency described on the wiki works properly; Yhc seems to compile foreign import successfully, though I haven't yet tried running the bytecode it generates for that) - -------- import Foreign.C (CInt) return3 :: IO CInt return3 = return 3 foreign export ccall return3 :: IO CInt main = putStrLn "okay" - -------- I've tried commenting out various combinations of the type-signatures, reordering the definition and the foreign export, making the return be IO or not, () or not... ghc -fffi only complains when I comment out the type-signature on the foreign export line, as expected based on the FFI spec. This is always just yhc -c dying, with various error messages. Isaac -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2.2 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFE5a46HgcxvIWYTTURAjBPAKCF8fyuZCrwxOdK4hVsdDljMFWwZwCcCMxh ULKutHs0sNcQreGf86fauC8= =pXnT -----END PGP SIGNATURE-----

3 3

"default" keyword bugs
by Isaac 18 Aug '06

18 Aug '06

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 I just tried some uses of the "default" keyword with Yhc that failed, and I didn't find any existing Yhc test-cases for this keyword. These all run with Hugs. Fails with Yhc: - ---------- import Ratio ( Ratio -- :: * -> * ) default (Ratio Integer) main = putStrLn "okay" - ---------- but works with Yhc: - ---------- import Ratio ( Ratio -- :: * -> * ) type RatioInteger = Ratio Integer default (RatioInteger) main = putStrLn "okay" - ---------- Fails (differently) with Yhc: - ---------- default(Rational) main = print (0.1 * 3 == 0.3) - ---------- but works with Yhc: - ---------- default(Rational) main = print ((0.1 :: Rational) * 3 == 0.3) - ---------- Isaac P.S. I know that type Rational = Ratio Integer -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2.2 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFE5ZhcHgcxvIWYTTURAl9dAKCLUs9q1sxFVdWee2DJK2LDZf7HjgCgs/aK EI0FuUgMqK6OdAlJ+BP6zfE= =37e3 -----END PGP SIGNATURE-----

2 3

Build error, when no C compiler
by Neil Mitchell 17 Aug '06

17 Aug '06

Hi, At home now, of course with no Visual Studio, and as a result: scons: Reading SConscript files ... Checking for architecture... Windows implies x86 Checking for operating system... win32 Checking for Scons binary... "C:\Python24\scons.bat" Checking for Darcs binary... "c:\bin\darcs.exe" Checking for Darcs version... Found version 1.0.7 (release) . Checking for Subversion binary... "C:\Program Files\Subversion\bin\svn.exe" Checking for Subversion version... Found version 1.3.2. Checking for GHC binary... "C:\ghc\ghc-6.4.2\bin\ghc.exe" Checking for GHC version 6.4.1 or later... Found version 6.4.2. 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 Checking for pthread_create() in C library pthread... no Generating config.h with the following settings: WORDS_BIGENDIAN None HAVE_LIBPTHREAD 0 SIZEOF_LONG_LONG None SIZEOF_LONG None WIN32 1 SIZEOF_VOIDP None SIZEOF_CHAR None SIZEOF_DOUBLE None SIZEOF_FLOAT None SIZEOF_INT None HAVE_GCC_LABELS 0 SIZEOF_SHORT None TypeError: int argument required: File "SConstruct", line 38: configure(env, Configure, ARGUMENTS) # Configure File "C:\Neil\yhc-devel\build\configure.py", line 97: config_h_build('config.h', 'config.h.new.in', vals) File "C:\Neil\yhc-devel\build\config_h.py", line 21: text = config_h_in.read() % defines I guess we should check for a C compiler first. Just for note, I'll probably try installing gcc rather than Visual Studio (in fact gcc might already be installed here) - will gcc + Windows work at all? Thanks Neil

2 2

darcs patch: Fix some warnings.
by Andrew Wilkinson 15 Aug '06

15 Aug '06

Tue Aug 15 11:49:03 BST 2006 Andrew Wilkinson <aw(a)cs.york.ac.uk> * Fix some warnings.

2 1