ollef/sixten

Expected error tests

Open

#111 aberto em 14 de jun. de 2018

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (24 forks)batch import
Beginner-friendlyHelp wantedType: Feature

Métricas do repositório

Stars
 (631 stars)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

Description

We currently have the setup to test that some error occurred during compilation, but we don't test that it's the correct error (other than syntax vs type error) or that it occurs on the correct line.

It'd be nice to be able to annotate source files for testing with expected errors in comments, something like:

x = addInt 1 True -- $expect: Type error: Type mismatch

and then have the setup to verify that that error really occurs there.

Guia do colaborador

Direção de pesquisa
Projete um sistema de anotação baseado em comentários para erros esperados e, em seguida, implemente um executor de testes que analise essas anotações e verifique se o compilador emite o erro especificado na linha anotada.
Pilha de tecnologia
haskell
Domain
compilerstesting
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Principalmente claro
Prerequisites
Haskelltesting
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
50