Faire une vérification de type GHC uniquement?

Question

Existe-t-il un moyen, standard ou astucieux, de faire invoquer GHC sur un fichier uniquement en exécutant le vérificateur de type? Par exemple

 $ ghc --just-check-the-types x.hs
$
 

Pas de fichiers de sortie, pas de .hi ou .o, etc. Je ne veux pas / ne peux pas utiliser l'API GHC. Je parle juste du programme en ligne de commande, ici.

Answer 1

Qu'en est-il de ghc -fno-code file.hs . Il ne générera aucun autre fichier et affichera des erreurs si vos fichiers ne vérifient pas.

Avertissement: cela ne fera pas d' analyse sur les correspondances de modèles non exhaustives, donc si vous voulez ces avertissements utiles supplémentaires, n'utilisez pas cette option seule.

Answer 2

Voici un hack:

 crabgrass:~/programming% ghc test.hs -e 'return 0'

test.hs:1:7:
    No instance for (Num (a0 -> t0))
      arising from the literal `3'
    Possible fix: add an instance declaration for (Num (a0 -> t0))
    In the expression: 3
    In the expression: 3 4
    In an equation for `foo': foo = 3 4
zsh: exit 1     ghc test.hs -e 'return 0'