close Warning: Can't synchronize with repository "(default)" (/var/svn/tolp does not appear to be a Subversion repository.). Look in the Trac log for more information.

Opened 20 years ago

Closed 17 years ago

#235 closed defect (later)

Parsing problems with Matrix Literal declaration in a SetOfMatrix

Reported by: danirus Owned by: danirus
Priority: normal Milestone:
Component: Kernel Version: head
Severity: normal Keywords:
Cc:

Description

Tol accepts:
_
Matrix mat1 = ((0,0));
Set smat1 = SetOfMatrix( mat1 );

But not:
_
Set smat2 = SetOfMatrix( ((1,1)) );

It's a Parsing problem.
With two Literal Matrix definition (two Matrix elements in the Set), there's no
problem.
The next three syntactical trees show us the problem:

Sentence: "Set smat1 = SetOfMatrix( mat1 );"
Syntactical Tree:

----> [BINARY]=

> [TYPE]Set

|> [ARGUMENT]setmat

> [FUNCTION]SetOfMatrix

> [ARGUMENT](mat1)

Sentence: "Set smat1 = SetOfMatrix( ((1,1)) );"
Syntactical Tree:

----> [BINARY]=

> [TYPE]Set

|> [ARGUMENT]setmat

> [FUNCTION]SetOfMatrix

> [ARGUMENT]1 > [ARGUMENT]1

Sentence: "Set smat1 = SetOfMatrix( ((0,0)) , ((1,1)) );"
Syntactical Tree:

----> [BINARY]=

> [TYPE]Set

|> [ARGUMENT]setmat

> [FUNCTION]SetOfMatrix

> [SEPARATOR](,)
|> [ARGUMENT]0 |> [ARGUMENT]0

> [SEPARATOR](,)

> [ARGUMENT]1 > [ARGUMENT]1

Probably we have to apply a patch in the Sentence Evaluator (Semantic Analysis)
instead of applying it in the Syntactic Analysis. That's because Tol has a bad
parser design.

Change History (1)

comment:1 Changed 17 years ago by Víctor de Buen Remiro

Resolution: later
Status: newclosed
Note: See TracTickets for help on using tickets.