Han, in file
try8.adl
an error occured:

Parsing successful
Type checking...
Ampersand: !fatal error 785 (module ADL1.P2A_Converters, Ampersand v2.2.1.786)
  Stef: TODO: Han heeft dit aangepast. Is de lege verzameling hier een apart ge
val?

The answer: no the empty set is not a special case. It should yield "nothing" like it did in release 784.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@787 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Introduced class Flippable.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@788 8b35ee93-31c1-4acc-b283-6c2059e6c15c
resolved the Stef remark in function pExOb2aExOb, and made it Guarded.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@789 8b35ee93-31c1-4acc-b283-6c2059e6c15c
INDOORS.adl has passed the typechecker correctly!

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@790 8b35ee93-31c1-4acc-b283-6c2059e6c15c
got rid of some warnings.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@791 8b35ee93-31c1-4acc-b283-6c2059e6c15c
mrgUnion en mrgIntersect efficienter gemaakt.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@792 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Some minor dead code removal and Haddock improvements

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@793 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Added extra info at fatal error 152 of module ADL2Plug.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@794 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Restored inlining for methods of InputState and OutputState.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@795 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Reduced compilation time for parsers from 1.5 minutes to 3 seconds by disabling rewrite rules. (difference in execution speed is negligible)

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@796 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Workaround for fatal 152 problem with injective functional relations.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@797 8b35ee93-31c1-4acc-b283-6c2059e6c15c
I did some investigation about the Fatal 152 error. The previous modification of Martijn only seems to obscure the issue. The following script cannot be typechecked, because of this bug: (thanks to Martijn for the script:)

CONTEXT Bug_InjectiveFunction_Fatal152

r :: A * B [UNI,TOT,INJ]

ENDCONTEXT

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@798 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Some Haddock improvements

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@799 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Fixed a fatal error 100 (module Fspec.ToFspec.ADL2Plug, Ampersand v2.2.1.799)

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@800 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Corrected a mistake in P2A_Converters.hs

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@801 8b35ee93-31c1-4acc-b283-6c2059e6c15c
corrected a mistake in genE. The classes were generated redundantly. Now, classes are generated with precisely one concept per class. Each class is now sorted.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@802 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Removed two diagnosis-errors.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@803 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Fix: removed black hole.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@804 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Changed back to pattern matching, which is just as lazy but more readable and safer.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@805 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Cleanup: fixed import, so instead of fully qualified type Data.Map.Map and operations Data.Map.op we simply have Map and Map.op.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@806 8b35ee93-31c1-4acc-b283-6c2059e6c15c