Skip to content

Weird error messages if the precondition has a specific form #177

Description

@cbouilla

The program :

def f(x : str) -> bool:
    """Précondition: len(x) == 1 (pouet)
    Frobnicate x
    """
    return False


assert f("coucou") == False

yields the error :

Python 3.9.7 (default, Sep 10 2021, 14:59:43) 
[GCC 11.2.0] on linux
MrPython v.5.0.2-beta -- mode étudiant
=== Interprétation de : 'bug.py' ===

==> Toutes les fonctions sont testées (bien)
-----
Erreurs de convention (Python101) :
-----

Erreur: ligne 1
==> Non-Python101: cette construction n'est pas disponible en Python101 (Passez en mode expert si vous êtes expert Python)

Attention: ligne 2
==> Erreur de syntaxe: La précondition de la fonction 'f' contient une erreur.
==> Je n'ai trouvé qu'un seul test, il passe mais ce n'est sans doute pas suffisant
=====================================

The problem is the (pouet). Removing the parentheses suppresses the error.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions