Opened 9 years ago

Closed 9 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 9 years ago by Oleksandr

Look into checklibs.c in Singular/. Note that it is a standalone C program that does not use anything from Singular.

comment:2 Changed 9 years ago by hannes

Owner: changed from somebody to hannes

comment:3 Changed 9 years ago by hannes

Resolution: fixed
Status: newclosed
Type: bugproposed feature
Note: See TracTickets for help on using tickets.