Opened 10 years ago
Closed 10 years ago
#533 closed proposed feature (fixed)
typo: double p in duplicate, library checker
Reported by: | gorzel | Owned by: | hannes |
---|---|---|---|
Priority: | minor | Milestone: | 3-2-0 and higher |
Component: | dontKnow | Version: | 3-1-6 |
Keywords: | library checker | Cc: |
Description
The library checker from
http://www.singular.uni-kl.de/index.php/new-libraries/formal-library-checker.html
gives messages as
category missing/dupplicate (0) info missing/dupplicate (0)
This has to be written as 'duplicate'.
Question: Where can I find the code of this 'library checker'?
Is it a variant of libparse?
The interest comes from the fact that I don't completely understand where this tools locates some trailing sapces resp. tabs which I can not find.
Perhaps one can easily modify the tool that it list the line numbers too.
(May be, after fixing the typo, turn this ticket type from 'bug' into 'proposed feature'.)
Change History (3)
comment:1 Changed 10 years ago by
comment:2 Changed 10 years ago by
Owner: | changed from somebody to hannes |
---|
comment:3 Changed 10 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Type: | bug → proposed feature |
Note: See
TracTickets for help on using
tickets.
Look into checklibs.c in Singular/. Note that it is a standalone C program that does not use anything from Singular.