From f.rabe at jacobs-university.de  Tue Mar  9 18:57:54 2010
From: f.rabe at jacobs-university.de (Florian Rabe)
Date: Tue, 9 Mar 2010 18:57:54 +0100
Subject: [Hets-devel] Commutative diagrams in Hets graph
Message-ID: <60405B22FFB4134B409FF797@[192.168.1.51]>

Hi,

Kristina demoed her LF node in Hets today. I liked the graphs I lot, which we hadn't had in LF before.

LF is designed in a way that a lot of comutativity conditions about the theory graph (i.e., two paths in the graph are equal) can be obtained from the static analysis. Therefore, I wonder if it's somehow possible to display those as well.

It's just an idea - I'm not sure how to display it best, or maybe it's even implemented already.

Ciao,
Florian


From Christian.Maeder at dfki.de  Fri Mar 12 13:01:31 2010
From: Christian.Maeder at dfki.de (Christian Maeder)
Date: Fri, 12 Mar 2010 13:01:31 +0100
Subject: [Hets-devel] haskell sources
Message-ID: <4B9A2D1B.1000902@dfki.de>

Dear new (and old) Hets developers,

to make it easier to follow some of our programming guidelines
(like no tabs, no carriage returns, not too long lines, no trailing
white space, and a final newline) I've made a haskell scanner, that
diagnoses source files.

In the Hets-repository you'll get a binary "Haskell/scan" after "make
Haskell/scan".

With the "-" option of Haskell/scan files may even be written back with
adjusted white spaces between tokens (though no tabs currently), but
these changes may break *bad* layout or create longer lines. So changes
should be inspected afterwards and may be reverted using the created
backup file.

Another tool is hlint http://community.haskell.org/~ndm/hlint/
that can be installed using "cabal install hlint" (if missing).

For proper treatment of carriage returns under windows you should set
the svn:eol-style property of your file to "native". see [2]

Happy hetting

Christian

[1] http://trac.informatik.uni-bremen.de:8080/hets/wiki/HetsForDevelopers
[2]
http://trac.informatik.uni-bremen.de:8080/hets/wiki/RepositoryAccess
"The svn working cycle"
"Set properties for new files"