2024-11-08 03:03 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000241mercuryBugpublic2011-12-04 00:36
Reportercolanderman 
Assigned Tojuliensf 
PrioritynormalSeveritytrivialReproducibilityalways
StatusresolvedResolutionfixed 
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

-Relationships
+Relationships

-Notes

~0000430

juliensf (administrator)

Fix committed.
+Notes

-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