write a property test checking that supertypes are always greater than their subtype.

Métricas do repositório

Stars

110 estrelas (110 estrelas)

Métricas de merge de PR

Métricas PR pendentes (Métricas PR pendentes)

Description

Guia do colaborador

Direção de pesquisa

Entenda a hierarquia de tipos no mavis, especialmente o conceito de supertipos. Em seguida, implemente um teste baseado em propriedades que gere tipos aleatórios e verifique que o supertipo de um tipo (se houver) é sempre maior que o próprio tipo.

Pilha de tecnologia

elixir

Domain

backend

Tipo Issue

Teste

DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.

2

Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.

1-3 horas

Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.

Ativo

ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.

Claro

Prerequisites

Elixir

Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.

75