Feat(analyser): verificar chamadas de função (aridade, tipos e callable)

[HugoFreitass]

feat(analyser): verificar chamadas de função (aridade, tipos e callable)

Resumo

Implementa verificações semânticas para chamadas de função e toda a infraestrutura relacionada solicitada na issue: registro de assinaturas de funções, validação de chamadas (existência, se é uma função, aridade correta e compatibilidade dos tipos dos argumentos), além da adição de novos tipos de erro e testes.

O que foi alterado

Analisador semântico

• Percorre a AST (Program → Decl → Stmt → Expr)

• Registra funções com os tipos de seus parâmetros

• Implementa verificações para Expr::Call:

  • função indefinida
  • chamada em algo que não é função
  • incompatibilidade de aridade
  • verificação de tipos argumento por argumento

• Propaga corretamente o tipo de retorno das chamadas

Tabela de símbolos

• Adicionado params: Option<Vec<QualifierType>> em Symbol para armazenar os tipos dos parâmetros de funções

Erros semânticos

• Adicionados ArityMismatch e CallNonFunction em SemanticErrorKind
• Implementadas mensagens de erro renderizáveis para ambos

Testes

Adicionados testes para:

• chamada correta de função
• incompatibilidade de aridade
• incompatibilidade de tipos dos argumentos
• chamada de variável que não é função

Também foram atualizados helpers e construções de testes para incluir o novo campo params quando necessário.

Motivação

Essas alterações resolvem a issue ao garantir a correção das chamadas de função durante a análise semântica e melhorar os diagnósticos para erros comuns relacionados a chamadas.

Testes executados

• Adicionados testes unitários e executada toda a suíte:

  • cargo test → todos os testes passaram (169 passed)

• Formatação verificada com:

  • cargo fmt --check

Migração / Observações para revisores

• Symbol agora contém params: Option<Vec<QualifierType>>

• Qualquer construção direta de Symbol deve incluir params

• Novos erros semânticos podem ser emitidos:

  • CallNonFunction
  • ArityMismatch

• Ferramentas que fazem correspondência em SemanticErrorKind podem precisar de atualização

Pendências / Próximos passos

• Expressão de índice:

  • implementar desreferenciamento adequado de arrays/pointers para Expr::Index (TODO)

• Expressão ternária:

  • implementar verificações completas de compatibilidade para Expr::Ternary (TODO)

Checklist

• Registrar assinaturas de funções antes da análise dos corpos
• Verificar se o alvo da chamada existe e é chamável
• Verificar aridade e tipos dos argumentos
• Adicionar variantes de erro e mensagens para o usuário
• Adicionar testes unitários e executar cargo test / cargo fmt --check