camlp5r.opt - Online na nuvem

PROGRAMA:

NOME

camlp5 - Pre-Precessor-Pretty-Printer para ocaml
mkcamlp5 - Criar camlp5 personalizado
mkcamlp5.opt - Criar camlp5 personalizado (código nativo)
ocpp5 - pré-processador universal

SINOPSE

camlp5 [carregar opções] [-] [outras opções]
camlp5o [carregar opções] [-] [outras opções]
camlp5r [carregar opções] [-] [outras opções]
camlp5sch [carregar opções] [-] [outras opções]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 arquivo [opções de carregamento]

camlp5o.opt [--] [ outras opções ]
camlp5r.opt [--] [ outras opções ]

DESCRIÇÃO

camlp5 é uma Pre-Processor-Pretty-Printer para OCaml, analisando um arquivo de origem e imprimindo
algum resultado na saída padrão.

camlp5o, camlp5r e camlp5sch são versões de camlp5 com alguns arquivos já carregados (ver
avançar).

camlp5o.cma, camlp5r.cma e camlp5sch.cma são arquivos a serem carregados em nível superior ocaml para usar
a maquinaria camlp5

mkcamlp5 e mkcamlp5.opt cria executáveis ​​camlp5 com quase as mesmas opções que
ocamlmktop. Veja mais.

ocpp5 é um pré-processador universal, tratando qualquer tipo de arquivo fonte, gerando o mesmo
texto com as possíveis citações expandidas.

camlp5o.opt e camlp5r.opt são versões de camlp5o e camlp5r compiladas pelo nativo
ocamlopt do compilador de código. Eles são mais rápidos, mas não extensíveis. E eles não estão disponíveis em
todas as instalações do camlp5.

CARGA OPÇÕES

As opções de carregamento selecionam ações de análise e impressão gravadas em arquivos de objeto OCaml
(terminando com .cmo ou .cma). Vários usos dessas opções são autorizados. Eles devem
preceder as outras opções.

Um opcional -- pode encerrar as opções de carregamento.

-I anuário
Adicionar anuário no caminho de pesquisa para arquivos carregados. A menos que a opção -nolib seja
usado, o diretório da biblioteca camlp5 é anexado ao caminho. Aviso: não há
pesquisa automática no diretório atual: adicione "-I." por esta.

-Onde Imprime o nome do diretório da biblioteca camlp5 e sai.

-nolib Sem busca automática de arquivos de objetos no diretório da biblioteca camlp5.

arquivo-objeto
O arquivo é carregado no núcleo camlp5.

OUTROS OPÇÕES

As outras opções são:

lima Tratar lima como um arquivo de interface se terminar com .mli e como um arquivo de implementação
se terminar com .ml.

-intf lima
Tratar lima como um arquivo de interface, qualquer que seja sua extensão.

-implicar lima
Tratar lima como um arquivo de implementação, qualquer que seja sua extensão.

-inseguro
Gere acessos inseguros a arrays e strings.

-noassert
Não compile verificações de asserção.

-verboso
Mais verboso em erros de análise.

-QD lima
Despejar em lima em caso de erro de sintaxe no resultado de uma expansão de cotação.

-o arquivo de saída
Imprima o resultado no arquivo de saída em vez da saída padrão. O arquivo é aberto com
open_out_bin (consulte a biblioteca OCaml Pervasives).

-v Imprima o número da versão e saia.

-Socorro Imprima as opções disponíveis e saia. Esta impressão inclui as opções possivelmente
adicionado pelos arquivos de objeto carregados.

As outras opções podem ser estendidas por arquivos de objetos carregados. Os arquivos fornecidos adicionam o
seguintes opções:

-l comprimento da linha
Adicionado por pr_o.cmo e pr_r.cmo: define o comprimento da linha (padrão 78).

-setembro corda
Adicionado por pr_o.cmo e pr_r.cmo: imprime esta string entre frases em vez de
comentários.

-não_ss Adicionado por pr_o.cmo: não imprimir ponto-e-vírgula duplo

-D identificação
Adicionado por pa_macro.cmo: define o ident.

-U identificação
Adicionado por pa_macro.cmo: undefine the ident.

FORNECEU ARQUIVOS

Esses arquivos são instalados no diretório / usr / lib / ocaml / camlp5.

Analisando arquivos:
pa_r.cmo: sintaxe revisada
pa_rp.cmo: streams e analisadores
pa_lexer.cmo: lexers
pa_o.cmo: sintaxe normal
pa_op.cmo: streams e analisadores
pa_oop.cmo: streams e analisadores (sem otimização de código)
pa_scheme.cmo: sintaxe de esquema
pa_extend.cmo: extensão de sintaxe para gramáticas
pa_extfold.cmo: extensão de pa_extend com FOLD0 e FOLD1
pa_extfun.cmo: extensão de sintaxe para funções extensíveis
pa_extprint.cmo: extensões de sintaxe para impressoras extensíveis
pa_pprintf.cmo: extensão de sintaxe para instrução pprintf
pa_fstream.cmo: extensão de sintaxe para fluxos funcionais
pa_macro.cmo: adicionar macros (ifdef, definir) como em C
pa_lefteval.cmo: avaliação da esquerda para a direita dos parâmetros
pa_pragma.cmo: diretiva #pragma

Impressão de arquivos:
pr_r.cmo: sintaxe revisada sem objetos e rótulos
pr_ro.cmo: sintaxe revisada para objetos e rótulos
pr_rp.cmo: tente reconstruir streams e sintaxe de analisadores
pr_o.cmo: sintaxe normal
pr_op.cmo: tente reconstruir streams e sintaxe de analisadores
pr_scheme.cmo: Sintaxe do esquema
pr_schemep.cmo: tente reconstruir streams e sintaxe de analisadores
pr_extend.cmo: tente reconstruir instruções EXTEND
pr_extfun.cmo: tente reconstruir as instruções extfun
pr_extprint.cmo: tente reconstruir instruções EXTEND_PRINTER
pr_dump.cmo: árvore de sintaxe de despejo para compilador ocaml
pr_depend.cmo: dependências de arquivo
pr_null.cmo: sem saída

Expansores de cotação:
q_MLast.cmo: nós da árvore de sintaxe (na sintaxe revisada)
q_ast.cmo: nós da árvore de sintaxe na sintaxe completa do usuário
q_phony.cmo: mantendo cotações para impressão bonita

O comando camlp5o é um atalho para:
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo

O comando camlp5r é um atalho para:
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo

O comando camlp5sch é um atalho para:
camlp5 pa_scheme.cmo pr_dump.cmo

O arquivo camlp5o.cma pode ser carregado no nível superior para iniciar o camlp5 com a sintaxe OCaml.

O arquivo camlp5r.cma pode ser carregado no nível superior para iniciar o camlp5 com a sintaxe revisada.

O arquivo camlp5sch.cma pode ser carregado no nível superior para iniciar camlp5 com a sintaxe Scheme.

MKCAMLP5

mkcamlp5 e mkcamlp5.opt cria executáveis ​​camlp5 com quase as mesmas opções que
ocamlmktop. A versão mkcamlp5.opt pode criar executáveis ​​de código nativo, mais rápido, mas não
extensível.

Para mkcamlp5, as interfaces para serem visíveis devem ser explicitamente adicionadas na linha de comando como
Arquivos ".cmi". Por exemplo, como adicionar o módulo OCaml "str":
mkcamlp5 -custom str.cmi str.cma -cclib -lstr -o camlp5str

MEIO AMBIENTE VARIÁVEL

A seguinte variável de ambiente também é consultada:

CAMLP5 PARAM
Defina os parâmetros do algoritmo de análise gramatical. Esta variável deve ser uma sequência de
especificações de parâmetros. Uma especificação de parâmetro é uma carta opcionalmente
seguido por um = e um valor. Existem quatro parâmetros possíveis:

b (retroceder)
Defina o algoritmo de retrocesso como padrão.

t (vestígio)
Símbolos de rastreamento (terminais e não terminais) durante a análise com retrocesso.

y (travamento do rastreamento)
No retrocesso, rastreie o avanço no fluxo de entrada (número de tokens não congelados)
e a possível paralisação (número de testes de tokens).

l (estagnação máxima)
Defina o valor máximo de parada.

Use camlp5r.opt online usando serviços onworks.net