Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CLI Help: Opzione '-help' (anziché '-h') #7

Open
tajmone opened this issue Jan 15, 2018 · 1 comment
Open

CLI Help: Opzione '-help' (anziché '-h') #7

tajmone opened this issue Jan 15, 2018 · 1 comment
Labels

Comments

@tajmone
Copy link
Collaborator

tajmone commented Jan 15, 2018

In vista di un'eventuale nuova release ufficiale di Polygen v1.0.7, ti segnalo un errore nel testo dell'help da riga di comando: l'opzione -help dovrebbe essere -h.

C:\>polygen

Polygen (type 2) v1.0.6 built 20051011 - http://www.polygen.org
Manta/Spinning Kids alias Alvise Spano' anno MMII ac insequenti fecit.

usage: polygen [OPTION]... SOURCES...

 SOURCE     source file(s) providing grammar definition

 OPTION
  -eof STR  use string STR as end-of-file (default: STR = "\n")
  -help     display this help message
  -info     alias for '-S I'
  -l LABEL  add LABEL to initial active label environment
  -o DEST   output to DEST file
  -pedantic set warning level to maximum
  -pre      output preprocessed source grammar
  -seed N   pass unsigned integer N as random seed
  -S SYM    use SYM as starting non-terminal symbol (default: SYM = S)
  -t        check source grammar and output inferred global label groups
  -v        be verbose
  -X N      iterate generation for N times (default: N = 1)
  -W N      set warning pedantry at level N (default: N = 1)
  --help  Display this list of options

L'opzione --help funziona, ma -help no, probabilmente doveva essere -h

@tajmone tajmone added the bug label Jan 15, 2018
@alvisespano
Copy link
Owner

E' vero. Penso sia cambiata il modulo Args della stdlib di OCaml. Perché il flag help è gestito automaticamente dall'API, inclusi gli alias come --help, -h ecc. Si vede che -help non è più automaticamente gestito.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants