* interp/compiler.boot (compAtomWithModemap): Reject niladic

	functions used as constants.
	* algebra/aggcat.spad.pamphlet (IndexedAggregate): Add parenthesis
	for call to niladic function 'void'.
	* algebra/algext.spad.pamphlet (SimpleAlgebraicExtension): Likewise.
	* algebra/curve.spad.pamphlet (RadicalFunctionField): Likewise.
	(AlgebraicFunctionField): Likewise.
	* algebra/permgrps.spad.pamphlet (PermutationGroup): Likewise.
	* algebra/pfo.spad.pamphlet (FunctionSpaceReduce): Likewise.
	* algebra/setorder.spad.pamphlet: Likewise.
	* algebra/ffcat.spad.pamphlet (FiniteFieldCategory): Add
	parenthesis for call to niladic function 'representationType'.
	* algebra/ffnb.spad.pamphlet
	(FiniteFieldNormalBasisExtensionByPolynomial): Likewise for
	normalElement. 
	* algebra/float.spad.pamphlet (Float): Likewise for OMencodingXML,
	pi, log2, log10, digits.
	* algebra/fnla.spad.pamphlet (FreeNilpotentLie): Likewise for
	dimension. 
	* algebra/fraction.spad.pamphlet (Fraction): Likewise for
	OMencodingXML. 
	* algebra/gaussian.spad.pamphlet (Complex): Likewise.
	* algebra/integer.spad.pamphlet (Integer): Likewise.
	* algebra/list.spad.pamphlet (List): Likewise.
	* algebra/sf.spad.pamphlet (DoubleFloat): Likewise.
	* algebra/si.spad.pamphlet (SingleInteger): Likewise.
	* algebra/string.spad.pamphlet (String): Likewise.
	* algebra/symbol.spad.pamphlet (Symbol): Likewise.
	* algebra/intrf.spad.pamphlet (TranscendentalIntegration):
	Likewise for empty.
	* algebra/kl.spad.pamphlet (SortedCache): Likewise for cache, void.
	* algebra/newdata.spad.pamphlet (TabulatedComputationPackage):
	Likewise for usingTable?.
	* algebra/omserver.spad.pamphlet (OpenMathServerPackage): Likewise
	for OMencodingUnknown.
	* algebra/plot.spad.pamphlet (Plot): Likewise for adaptive?.
	* algebra/plot3d.spad.pamphlet (Plot3D): Likewise for adaptive3D?.

1 files changed, 8 insertions, 6 deletions

diff --git a/src/algebra/curve.spad.pamphlet b/src/algebra/curve.spad.pamphlet
index a5eceb29..5a697c2b 100644
--- a/src/algebra/curve.spad.pamphlet
+++ b/src/algebra/curve.spad.pamphlet
@@ -686,7 +686,7 @@ RadicalFunctionField(F, UP, UPUP, radicnd, n): Exports == Impl where
             qsetelt!(v, k, (qelt(ib.basis, i, j) / ib.basisDen) * a)
             qsetelt!(w, k, qelt(ib.basisInv, i, j) * inv a)
             a := a * c
-      void
+      void()
 
     charPStartUp() ==
       r      := mkIntegral modulus
@@ -704,7 +704,7 @@ RadicalFunctionField(F, UP, UPUP, radicnd, n): Exports == Impl where
                radicnd ** n1 *
                   */[qelt(ibasis, i) ** 2 for i in mini..maxIndex ibasis]
       discPoly() := primitivePart(numer dsc) / denom(dsc)
-      void
+      void()
 
     char0StartUp() ==
       rp          := rootPoly(radicnd, n)
@@ -719,7 +719,7 @@ RadicalFunctionField(F, UP, UPUP, radicnd, n): Exports == Impl where
         invden := invden / rp.coef        -- always equals 1/rp.coef**(i-mini)
         qsetelt!(infbasis, i, a := qelt(infb, i))
         qsetelt!(invinfbasis, i, inv a)
-      void
+      void()
 
     ramified?(p:UP) ==
       (r := retractIfCan(p)@Union(F, "failed")) case F =>
@@ -821,7 +821,7 @@ AlgebraicFunctionField(F, UP, UPUP, modulus): Exports == Impl where
           for j in minColIndex ib .. maxColIndex ib repeat
             infbasis(i, j)    := qelt(ib, i, j)
             invinfbasis(i, j) := invib(i, j)
-      void
+      void()
 
     getInfBasis() ==
       x           := inv(monomial(1, 1)$UP :: RF)
@@ -844,7 +844,7 @@ AlgebraicFunctionField(F, UP, UPUP, modulus): Exports == Impl where
         for j in minColIndex ibasis .. maxColIndex ibasis repeat
           infbasis(i, j)    := qelt(ib2, i, j)
           invinfbasis(i, j) := invib2(i, j)
-      void
+      void()
 
     startUp b ==
       brandNew?() := b
@@ -869,7 +869,7 @@ AlgebraicFunctionField(F, UP, UPUP, modulus): Exports == Impl where
       infBr?() := degree(numer dsc0) < degree(denom dsc0)
       dsc := dsc * determinant(ibasis) ** 2
       discPoly() := primitivePart(numer dsc) / denom(dsc)
-      void
+      void()
 
     integralDerivationMatrix d ==
       w := integralBasis()
@@ -890,6 +890,8 @@ AlgebraicFunctionField(F, UP, UPUP, modulus): Exports == Impl where
 <<license>>=
 --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 --All rights reserved.
+--Copyright (C) 2007-2010, Gabriel Dos Reis.
+--All rights reserved.
 --
 --Redistribution and use in source and binary forms, with or without
 --modification, are permitted provided that the following conditions are