I propose the following changes to Spad systax:
1) Allow blocks in braces -- currently supported in interpreter.
This means that braces will no longer work for sets.
2) Inside brackests and braces piles will be turned off.
Currently piles are turned off inside parenthesis. For
example currently Spad allows:
)abbrev package TTT999 TTT999
TTT999(): with (foo : Integer -> Integer) == add (
foo(x) == (
y := x + 5;
y
)
)
Or even:
)abbrev package TTT999 TTT999
TTT999(): with (foo : Integer -> Integer) == add (
foo(x) == (
y := x + 5;
y
)
)
After change the same will work with brackets and braces. Brackets
are especially important as they are used to initialize data
structure and for data structures pile rules lead to unnatural
layout.
3) Nopile mode for Spad parser: when in nopile mode parser will
require blocks in parenthesis or braces and semicolons to
separate statements. By default parser will be in pile mode.
4) Underscore before letter will be significant in identifier
name. That is 'important' and 'import_ant' will be
different identifiers.
Later I plan change interpreter to match. In particular it will
be no longer possible to use piles inside parenthesis (for example
as arguments to functions).
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
