krr / IDP / issues / #833 - Block comments not handled properly — Bitbucket

Issue #833 invalid

Ruben Lapauw created an issue 2014-10-17

See: http://seldon.cs.kuleuven.be/idp/?src=e448816b938cbb1de616

And see :http://seldon.cs.kuleuven.be/idp/?src=712501b68cad2b5eaf6b

/**/ doesn't work in theories and structures.

/* */ does work.

Comments (6)

Ruben Lapauw reporter
- edited description
- 2014-10-17T12:25:33+00:00
Bart Bogaerts
- changed status to invalid
/** opent een "description" bijvoorbeeld van een theorie/procedure. Jouw /** wordt nooit afgesloten...

De IDE kleurt dit verkeerd, maar dit is geen IDP issue
- 2014-10-17T12:27:45+00:00
Ruben Lapauw reporter
huh wat? wat is een description? sluit ik die met **/ af of met */
- 2014-10-17T12:33:51+00:00
Bart Bogaerts
Je sluit die af met */

Dit zijn comments in de style van javadoc die dienen om de block die er onder staat te documenteren. Bijvoorbeeld http://seldon.cs.kuleuven.be/idp/?src=50efac0a91e4f0a1649e
- 2014-10-17T12:37:51+00:00
Ruben Lapauw reporter
je leert iedere dag iets bij...

Dank je!
- 2014-10-17T12:43:46+00:00
Bart Bogaerts
Graag gedaan :)
- 2014-10-17T12:44:48+00:00
Log in to comment

Assignee: Ruben Lapauw

Type: bug

Priority: trivial

Status: invalid

Component: –

Version: –

Votes: 0

Watchers: 2

Jira: the preferred issue tracker for Bitbucket. Join the team!