dibrinsofor

>> mypy --show-traceback tests/str_int.py
final def (a: builtins.str) -> builtins.int
final <class 'mypy.nodes.FuncDef'>
final def (a: builtins.str) -> builtins.int
final <class 'mypy.nodes.FuncDef'>
tests/str_int.py:2: error: Incompatible return value type (got "int", expected "str")  [return-value]

dibrinsofor

import pathlib
import click
import io, os
from enum import Enum
from typing import Optional, Union

import mypy.nodes
from mypy.parse import parse
from mypy.options import Options
from mypy.errors import CompileError, Errors

dibrinsofor

(* table *)
type 'a header = (string * 'a) list
type 'a header = string list

class ['a] table (header : 'b header)  = object
  val mutable header : 'b header = header
  val mutable columns : 'a list = []
  method columns : 'a list = columns
  
  (* add rows, can't enforce the header *)