Yarrow Installation Guide for Haskell

Haskell

Make sure you have a proper version of a Haskell compiler. Yarrow works in these implementations of Haskell 1.3:

• hbc (version 0.9999.1 and 0.9999.3 are OK, the Windows 95 version of hbc does not work correctly)
• ghc (version 2.01 is OK, version 2.02 is not OK, version 2.05 is OK)
• ghc (version 6.4)

Yarrow does not work in Hugs or implementations of Haskell 1.2 or older.

Install Yarrow

1. Get Yarrow: yarrow-src.zip or yarrow-src.tar.gz (approx. 500 K). yarrow-ghc6-src.tar.gz (This version compiles under ghc 6.4 (compatibility changes done by Dan April 2006)).
2. Place it in a suitable directory, say /usr/yarrow/
3. Go to that directory.
4. Unpack it.
   unzip yarrow-src.zip or
   gzip -cd yarrow-src.tar.gz | tar xf -
5. Go to directory src and compile it:
   hbcYar or
   ghcYar
   This takes about 15 to 30 minutes on a SPARC station 5. Drink a cup of tea, and ... no news is good news. Ignore warnings and notes.
6. Set the environment variable YARROW. (You should include this in your .login file)
   • For Unix-like systems: e.g.
     setenv YARROW /usr/yarrow
7. Add the directory containing the binaries to your path, (you should include this in your .login file)
   • For Unix-like systems: e.g.
     setenv PATH ${PATH}:/usr/yarrow/bin
     Users of csh shells should type
     rehash
     to make this path extension take effect.
   Alternatively, place the binaries in a directory in your path.

Run Yarrow

Now you can start yarrow with the command
yarrow

Test Yarrow

Start it, and you should get something like

Welcome to Yarrow v0.99
Type 'help introduction' for an introduction.
> 

then type the lines behind the prompt ("> " and "$ ")

> prove test : @P:*. P -> P
--------------------------------------------------
@P:*. P->P

$ intros
P : *
H : P
--------------------------------------------------
P

$ assumption
Goal proved!

$ exit
prove test : @P:*. P->P
intros
assumption
exit

test := .. : @P:*. P->P
> help help
Syntax: 1. help
        2. help <command>
Effect: The first variant ...

If you get different output something has gone wrong.

Troubleshooting

• Problem: The command help doesn't work properly.
  The environment variable YARROW is not set properly. See point 6 above.

That's it!

Please inform me that you installed Yarrow, both if it was succesful or if there are some problems. E-mail: janz@cs.kun.nl

There are some example sessions in directory sessions; these examples are described here. The userguide may also be helpful. All the documentation is also contained in directory /usr/yarrow/doc/.

Back to Yarrow Installation Page
Back to Yarrow Home Page