Este es el comando ocaml que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
ocaml: el nivel superior interactivo de OCaml
SINOPSIS
ocaml [ opciones ] [ archivos-objeto ] [ archivo de comandos ]
DESCRIPCIÓN
La pestaña ocaml(1) comando es el sistema de nivel superior para OCaml, que permite el uso interactivo del
Sistema OCaml a través de un ciclo de lectura-evaluación-impresión. En este modo, el sistema lee repetidamente
OCaml frases de la entrada, luego las verifica, compila y evalúa, luego imprime
el tipo inferido y el valor del resultado, si lo hay. El sistema imprime un indicador # (nítido) antes
leyendo cada frase.
Una frase de nivel superior puede abarcar varias líneas. Termina con ;; (un punto y coma doble). los
la sintaxis de las frases de nivel superior es la siguiente.
El sistema de nivel superior se inicia con el comando ocaml(1). Las frases se leen en estándar
entrada, los resultados se imprimen en la salida estándar, los errores en el error estándar. Fin de archivo el
termina la entrada estándar ocaml(1).
Si uno o más archivos-objeto (terminando en .cmo o .cma) se dan, se cargan silenciosamente
antes de comenzar el nivel superior.
Si archivo de comandos se da, las frases se leen silenciosamente desde el archivo, los errores se imprimen en
Error estándar. ocaml(1) sale después de la ejecución de la última frase.
OPCIONES
Las siguientes opciones de la línea de comandos son reconocidas por ocaml(1).
-nombreabs
Muestra nombres de archivo absolutos en mensajes de error.
-I directorio
Agregue el directorio dado a la lista de directorios buscados por fuente y compilados
archivos. De forma predeterminada, primero se busca en el directorio actual y luego en el estándar.
directorio de la biblioteca. Directorios agregados con -I se buscan después de la corriente
directorio, en el orden en que fueron dados en la línea de comando, pero antes
el directorio de bibliotecas estándar.
Si el directorio dado comienza con +, se toma en relación con la biblioteca estándar
directorio. Por ejemplo, -I + compilador-libs agrega el subdirectorio compilador-libs of
la biblioteca estándar a la ruta de búsqueda.
También se pueden agregar directorios a la ruta de búsqueda una vez que el nivel superior se esté ejecutando con
la #directorio Directiva.
-en eso presentar
Cargue el archivo dado en lugar del archivo de inicialización predeterminado. El archivo predeterminado
is .ocamlinit en el directorio actual si existe, de lo contrario .ocamlinit en la sección de
directorio de inicio del usuario.
-etiquetas
Las etiquetas no se ignoran en tipos, las etiquetas pueden usarse en aplicaciones y etiquetarse
los parámetros se pueden dar en cualquier orden. Este es el predeterminado.
-no-funcion-de-aplicación
Desactiva el comportamiento aplicativo de los functores. Con esta opción, cada functor
la aplicación genera nuevos tipos en su resultado y aplica el mismo functor dos veces
al mismo argumento se obtienen dos estructuras incompatibles.
-noafirmar
No compile comprobaciones de afirmaciones. Tenga en cuenta que la forma especial afirmar false es siempre
compilado porque está escrito especialmente.
-noetiquetas
Ignore las etiquetas no opcionales en los tipos. Las etiquetas no se pueden utilizar en aplicaciones y
el orden de los parámetros se vuelve estricto.
-sin aviso
No muestre ningún mensaje mientras espera una entrada.
-sinpromptcont
No muestre el indicador secundario cuando espere las líneas de continuación en múltiples
entradas de línea. Esto debe usarse, por ejemplo, al ejecutar ocaml(1) en un emacs(1) ventana.
-nostdlib
No incluya el directorio de la biblioteca estándar en la lista de directorios buscados
para archivos fuente y compilados.
-abierto módulo
Abre el módulo dado antes de comenzar el nivel superior. Si varios -abierto las opciones son
dado, se procesan en orden, ¡como si las declaraciones se abrieran! módulo 1;; ...
¡abierto! móduloN ;; fueron de entrada.
-ppx comando
Después de analizar, canalice el árbol de sintaxis abstracta a través del preprocesador comando.
módulo ast_mapper(3) implementa la interfaz externa de un preprocesador.
-director de escuela
Verifique la ruta de información durante la verificación de tipos para asegurarse de que todos los tipos estén
derivado de una manera principal. Cuando se utilizan argumentos etiquetados y / o polimórficos
métodos, este indicador es necesario para garantizar que las versiones futuras del compilador
capaz de inferir tipos correctamente, incluso si cambian los algoritmos internos. Todos los programas
aceptado en -director de escuela El modo también se aceptan en el modo predeterminado con equivalente
tipos, pero diferentes firmas binarias, y esto puede ralentizar la verificación de tipos; todavía
Es una buena idea usarlo una vez antes de publicar el código fuente.
-rectipos
Permitir tipos recursivos arbitrarios durante la verificación de tipos. Por defecto, solo recursivo
Se admiten los tipos en los que la recursividad pasa por un tipo de objeto.
-seguro-cadena
Hacer cumplir la separación entre tipos cadena y bytes, haciendo así lecturas de cadenas
solamente. Este se convertirá en el predeterminado en una versión futura de OCaml.
-caminos-cortos
Cuando un tipo es visible en varias rutas de módulo, utilice la más corta cuando
imprimir el nombre del tipo en interfaces inferidas y mensajes de error y advertencia.
-stdin Lea la entrada estándar como un archivo de secuencia de comandos en lugar de iniciar una
de preguntas y respuestas.
-secuencia-estricta
Obliga a que la parte izquierda de cada secuencia tenga unidad de tipo.
-inseguro
Desactive la comprobación de encuadernación en los accesos a matrices y cadenas (el v. (i) y si]
constructos). Programas compilados con -inseguro son, por tanto, un poco más rápidos, pero
inseguro: cualquier cosa puede suceder si el programa accede a una matriz o cadena fuera de
sus límites.
-cadena-insegura
Identificar los tipos cadena y bytes, lo que hace que las cadenas se puedan escribir. Por razones
de compatibilidad con versiones anteriores, esta es la configuración predeterminada por el momento, pero esta
cambiará en una versión futura de OCaml.
-versión
Imprime la cadena de la versión y sal.
-vnum Imprima el número de versión corto y salga.
-w lista de advertencias
Habilite o deshabilite las advertencias según el argumento lista de advertencias. Vea ocamlc(1)
para la sintaxis del lista de advertencias argumento.
-advertir-error lista de advertencias
Marcar como fatales las advertencias descritas por el argumento lista de advertencias. Tenga en cuenta que un
La advertencia no se activa (y no activa un error) si está deshabilitada por el
-w opción. Ver ocamlc(1) para la sintaxis del lista de advertencias argumento.
-advertir-ayuda
Muestra la descripción de todos los números de advertencia disponibles.
- presentar Use presentar como un nombre de archivo de secuencia de comandos, incluso cuando comienza con un guión (-).
-ayuda or --ayuda
Muestre un breve resumen de uso y salga.
MEDIO AMBIENTE VARIABLES
LC_CTYPE
Si se establece en iso_8859_1, los caracteres acentuados (del conjunto de caracteres ISO Latin-1) en
los literales de cadena y carácter se imprimen tal cual; de lo contrario, se imprimen como
secuencias de escape decimales.
PLAZO Al imprimir mensajes de error, el sistema de nivel superior intenta subrayar visualmente
la ubicación del error. Consulta la variable TERM para determinar el tipo de
terminal de salida y busque sus capacidades en la base de datos del terminal.
Use ocaml en línea usando los servicios de onworks.net
