¿Hay alguna manera, ya sea estándar, o un truco inteligente, para hacer que la invocación de GHC en un archivo solo ejecute el verificador de tipos? P.ej.¿Haces solo la verificación de tipo de GHC?
$ ghc --just-check-the-types x.hs
$
Sin archivos de salida, no .hi o .o, etc. No quiero/no puedo usar la API de GHC. Solo estoy hablando sobre el programa de línea de comandos, aquí.
¿Por qué no utilizar la API de GHC? Esto suena como el tipo de cosa para la que es. –
@ C.A.McCann Tenerlo como una dependencia aumenta mucho el tiempo de vinculación y el tamaño del ejecutable. Y he tenido muchos problemas con él, vea estos mensajes de error (que no aparecen cuando se llama al ejecutable) http://hpaste.org/74600 –