alloy - Multiline Comment Parsing Bug -

-

working latest alloy analyzer available @ website (4.2 build date: 2012-09-25) realized that, when put code between 2 /**/ /**/ <some code> /**/, code <some code> seems ignored analyzer (although editor seems parse code correctly).

for example, in following code snippet declaration of fact ignored analyzer:

/**/ fact traces {     init [first]     d: dinner - last |          let d' = next [d] |              p,p': philosopher, f: fork |                  pickleftfork [d,d',p,p',f] } /**/

as put space between /**/, is, /* */, code behaves expected.

java-style doc comments have been added alloy, in example above, /** token @ beginning starts doc comment, , **/ token @ end closes is, in between parsed comment.


Comments

Post a Comment

Popular posts from this blog

Unable to remove the www from url on https using .htaccess -

-
i want remove www site url. ie. https://www.domainname.com.au https://domainname.com.au . i have tried various .htacces code nothing work me. here present code remove www http not work https. rewriteengine on rewritebase / rewritecond %{http_host} ^www\.(.*)$ [nc] rewriterule ^/(.*)$ http://%1/$1 [r=301,l] rewritecond %{https} off rewriterule ^(.*)$ https://domainname.com.au/$1 [r=301,l] rewriterule ^code-of-conducts/(.*)/$ code-of-conducts.php?type=$1 rewriterule ^parents/post-a-job/(.*)/edit/$ parents/post-a-job.php?action=edit&id=$1 rewriterule ^parents/post-a-job/(.*)/$ parents/post-a-job.php?job_type=$1 rewriterule ^parents/open-jobs/(.*)/delete/$ parents/open-jobs.php?action=delete&id=$1 rewriterule ^parent-profile/(.*)/$ parent-profile.php?id=$1 rewriterule ^parents/job-details/(.*)$ parents/job-details.php?applied_id=$1 rewriterule ^sitterprofile/(.*)/$ sitterprofile.php?id=$1 rewriterule ^sitter/job-board/state/(.*)/page/(.*)/$ sitter/job-board.ph...
Read more