2024-07-13 13:19 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000241mercuryBugpublic2011-12-04 00:36
Assigned Tojuliensf 
Product Version 
Target VersionFixed in Version 
Summary0000241: require_semidet doesn't parse
DescriptionA typo in compiler/prog_io_goal.m (grep for "require_semi") prevents require_semidet from parsing. See attached test case.
Additional Informationlibrary/ops.m does not have the typo.
TagsNo tags attached.
Attached Files




juliensf (administrator)

Fix committed.

-Issue History
Date Modified Username Field Change
2011-12-03 06:01 colanderman New Issue
2011-12-03 06:01 colanderman File Added: require_bug.m
2011-12-04 00:36 juliensf Note Added: 0000430
2011-12-04 00:36 juliensf Status new => resolved
2011-12-04 00:36 juliensf Resolution open => fixed
2011-12-04 00:36 juliensf Assigned To => juliensf
+Issue History