Issues

• Does not support & capture

  gyson/ex_type#53 · Filter by author turion opened on Mar 24, 2023

• Union types and case constructions don't interact correctly

  gyson/ex_type#47 · Filter by author turion opened on Feb 14, 2022

• Debug mode

  gyson/ex_type#45 · Filter by author turion opened on Feb 24, 2021

• Make ExTypeTest test suite fail when typechecking finds an error

  gyson/ex_type#43 · Filter by author turion opened on Feb 24, 2021

• Recursive types cause endless loop

  gyson/ex_type#40 · Filter by author turion opened on Dec 10, 2020
  4

• Local parametrised types are broken

  gyson/ex_type#39 · Filter by author turion opened on Dec 10, 2020
  2

• Put existing typechecking projects on CI

  gyson/ex_type#38 · Filter by author turion opened on Dec 10, 2020

• do...rescue causes crash

  gyson/ex_type#34 · Filter by author turion opened on Dec 9, 2020
  2

• Struct update causes crash

  gyson/ex_type#32 · Filter by author turion opened on Dec 9, 2020

• unsupported match_typespec for structs

  gyson/ex_type#31 · Filter by author turion opened on Dec 9, 2020
  1

• Map update syntax causes error

  gyson/ex_type#29 · Filter by author turion opened on Dec 9, 2020
  4

• Alias %__MODULE__ breaks submodules

  gyson/ex_type#27 · Filter by author turion opened on Dec 9, 2020
  1

• Support inline modules

  gyson/ex_type#23 · Filter by author turion opened on Dec 8, 2020
  1

• Deprecation warning with elixir 1.10

  gyson/ex_type#21 · Filter by author turion opened on Dec 8, 2020

• Create tests for failing type checks

  gyson/ex_type#19 · Filter by author turion opened on Dec 8, 2020

• Support umbrella project

  gyson/ex_type#16 · Filter by author gyson opened on Oct 15, 2019

• Support "or in guard" and "if ... else... "

  gyson/ex_type#14 · Filter by author gyson opened on Oct 14, 2019

• Support Elixir Behaviour

  gyson/ex_type#13 · Filter by author gyson opened on Oct 14, 2019

• Advanced support for union type + pattern match

  gyson/ex_type#12 · Filter by author gyson opened on Oct 14, 2019

• Not sure what it's called?

  gyson/ex_type#10 · Filter by author erlandsona opened on Oct 14, 2019

• Please explain what ex_type_runtime might be good for :)

  gyson/ex_type#3 · Filter by author PragTob opened on Apr 29, 2019
  1

• Maybe support inline type hint

  maybe
  gyson/ex_type#2 · Filter by author gyson opened on Apr 27, 2019

• Support custom typespec

  todo
  gyson/ex_type#1 · Filter by author gyson opened on Apr 25, 2019