Error + warnings

[Bart Bogaerts]

Tijdens het parsen is het soms lastig dat je moet gaan zoeken naar de errorboodschappen.

Oplossing: Als er een error gegooid wordt, zouden er achteraf geen warnings meer moeten komen. Latere errors mogen eventueel nog wel (kunnen misschien nog nuttige informatie bevatten)

[Broes De Cat]

(Reply via [e-mail]):

Of we onthouden alle errors en gooien printen die op het einde nog eens af?

2012/5/14 Bart Bogaerts <[e-mail]>

[Broes De Cat]

Fixes #159

Refactored errormessages and dropped unused ones. After executing a lua procedure, encountered critical errors are reprinted at the end of the stream for better readability. Updated printing of parseinfo.

→ f5f409d4c911

[Bart Bogaerts]

Ok. Maar nu worden ze eeuwig bijgehouden. Indien 1 inferentie faalt, moet de boodschap geprint worden en dan vergeten (bij het runnen van de volgende inferentie moet ze niet opnieuw opnieuw geprint worden)

[Broes De Cat]

Fixes #159, tseitin delay enhancements, more fixes

Added bounds checking when parsing numeric values + tests. Adapted the grounding of tseitin delayed formulas. The tseitins are no longer created and the formula is lengthened incrementally. Extra (commented) output has been added to derivesorts for debugging. Update: The saved errors are cleared after running a procedure in interactive mode. Changed the output of parseinfo locations. Corrected the cmake lists file for detecting build types

→ ea62b4aea4f1

[Bart Bogaerts]

Fixes #159

Refactored errormessages and dropped unused ones. After executing a lua procedure, encountered critical errors are reprinted at the end of the stream for better readability. Updated printing of parseinfo.

→ f5f409d4c911

[Bart Bogaerts]

Fixes #159, tseitin delay enhancements, more fixes

Added bounds checking when parsing numeric values + tests. Adapted the grounding of tseitin delayed formulas. The tseitins are no longer created and the formula is lengthened incrementally. Extra (commented) output has been added to derivesorts for debugging. Update: The saved errors are cleared after running a procedure in interactive mode. Changed the output of parseinfo locations. Corrected the cmake lists file for detecting build types

→ ea62b4aea4f1

[Bart Bogaerts]

Nog niet helemaal naar mijn zin.

Na het gooien van een eerste error zijn alle errors die erop volgen niet meer relevant. Bijvoorbeeld (had ik juist voor): ik had ergens een ; ipv een , staan. Output is dan

ERROR: syntax error, unexpected ';' Encountered at /home/bartb/Desktop/tafel/tafelschikking.idp:135:76 ERROR: The Sort number used here could be the Sort declared at /home/bartb/Desktop/tafel/tafelschikking.idp:20:10 or the Sort declared at /home/bartb/Desktop/tafel/tafelschikking.idp:20:10. Encountered at /home/bartb/Desktop/tafel/data.idp:30:1 ERROR: The Sort age used here could be the Sort declared at /home/bartb/Desktop/tafel/tafelschikking.idp:21:10 or the Sort declared at /home/bartb/Desktop/tafel/tafelschikking.idp:21:10. Encountered at /home/bartb/Desktop/tafel/data.idp:31:1 ERROR: The Sort Table used here could be the Sort declared at /home/bartb/Desktop/tafel/tafelschikking.idp:11:10 or the Sort declared at /home/bartb/Desktop/tafel/tafelschikking.idp:11:10. Encountered at /home/bartb/Desktop/tafel/data.idp:33:1 ERROR: The Sort BigTable used here could be the Sort declared at /home/bartb/Desktop/tafel/tafelschikking.idp:12:10 or the Sort declared at /home/bartb/Desktop/tafel/tafelschikking.idp:12:10. Encountered at /home/bartb/Desktop/tafel/data.idp:35:1 ERROR: The Sort Guest used here could be the Sort declared at /home/bartb/Desktop/tafel/tafelschikking.idp:9:10 or the Sort declared at /home/bartb/Desktop/tafel/tafelschikking.idp:9:10. Encountered at /home/bartb/Desktop/tafel/data.idp:42:1

Wat er dan opvalt zijn een hele hoop errors die eigenlijk gewoon verkeerd staan. De relevante error staat helemaal bovenaan, maar bij een iets groter probleem zelfs uit het scherm. Oplossing: Na het gooien van 1 error moet gewoon alles stoppen!

[Broes De Cat]

Oplossing hiervoor: we printen alle errors en warnings, daarna herhalen we nog eens de eerste error die gegooid werd.

[Broes De Cat]

Fixes #165 #159

Only the first encountered error is reprinted Luaconnection now also supports variable number of arguments in procedures. Detecting the number of passed arguments, also the nil ones, in lua turned out to be impossible, so the issue with passing nil (variables) to help will not be fixed.

→ 96d86bb66c76

[Broes De Cat]

Removing milestone: Second Release (automated comment)