gyson/ex_type issues and pull requests

#53 - Does not support & capture

Issue - State: open - Opened by turion over 1 year ago

#52 - Dev improve test setup

Pull Request - State: closed - Opened by turion over 2 years ago

#51 - Functions returning map literals erroneously typecheck

Issue - State: closed - Opened by turion over 2 years ago - 1 comment

#50 - Dev ci

Pull Request - State: closed - Opened by turion almost 3 years ago - 1 comment

#49 - Fix 43

Pull Request - State: open - Opened by turion almost 3 years ago

#48 - Avert deprecation warning

Pull Request - State: open - Opened by turion almost 3 years ago

#47 - Union types and `case` constructions don't interact correctly

Issue - State: open - Opened by turion almost 3 years ago

#46 - Don't leak IO in tests

Pull Request - State: open - Opened by turion almost 3 years ago

#45 - Debug mode

Issue - State: open - Opened by turion over 3 years ago

#44 - Infer type for struct update syntax. Fixes #32.

Pull Request - State: open - Opened by turion over 3 years ago - 1 comment

#43 - Make ExTypeTest test suite fail when typechecking finds an error

Issue - State: open - Opened by turion over 3 years ago

#42 - Fix 39

Pull Request - State: open - Opened by turion over 3 years ago - 1 comment

#41 - Upgrade versions and add format check

Pull Request - State: closed - Opened by gyson almost 4 years ago

#40 - Recursive types cause endless loop

Issue - State: open - Opened by turion almost 4 years ago - 4 comments

#39 - Local parametrised types are broken

Issue - State: open - Opened by turion almost 4 years ago - 2 comments

#38 - Put existing typechecking projects on CI

Issue - State: open - Opened by turion almost 4 years ago

#37 - Support do ... rescue ... end blocks. Fixes #34.

Pull Request - State: open - Opened by turion almost 4 years ago - 1 comment

#36 - Fix 35

Pull Request - State: open - Opened by turion almost 4 years ago

#35 - Function with no arguments erroneously typechecks

Issue - State: closed - Opened by turion almost 4 years ago - 2 comments

#34 - do...rescue causes crash

Issue - State: open - Opened by turion almost 4 years ago - 2 comments

#33 - Infer type for struct update syntax

Pull Request - State: closed - Opened by turion almost 4 years ago - 2 comments

#32 - Struct update causes crash

Issue - State: open - Opened by turion almost 4 years ago

#31 - unsupported match_typespec for structs

Issue - State: open - Opened by turion almost 4 years ago

#30 - WIP

Pull Request - State: open - Opened by turion almost 4 years ago

#29 - Map update syntax causes error

Issue - State: open - Opened by turion almost 4 years ago - 4 comments

#28 - Fix 27

Pull Request - State: closed - Opened by turion almost 4 years ago - 1 comment

#27 - Alias %MODULE breaks submodules

Issue - State: open - Opened by turion almost 4 years ago - 1 comment

#26 - Fix 25

Pull Request - State: closed - Opened by turion almost 4 years ago

#25 - Cannot use var as type variable

Issue - State: closed - Opened by turion almost 4 years ago - 1 comment

#24 - Fix 23

Pull Request - State: open - Opened by turion almost 4 years ago

#23 - Support inline modules

Issue - State: open - Opened by turion almost 4 years ago - 1 comment

#22 - Fix #20

Pull Request - State: closed - Opened by turion almost 4 years ago - 1 comment

#21 - Deprecation warning with elixir 1.10

Issue - State: open - Opened by turion almost 4 years ago

#20 - Crashes on new project

Issue - State: closed - Opened by turion almost 4 years ago - 3 comments

#19 - Create tests for failing type checks

Issue - State: open - Opened by turion almost 4 years ago

#18 - Crashes with unhelpful error message when using `send`

Issue - State: closed - Opened by turion almost 4 years ago - 2 comments

#17 - Fix small typos in README & add link

Pull Request - State: closed - Opened by turion almost 4 years ago

#16 - Support umbrella project

Issue - State: open - Opened by gyson about 5 years ago

#15 - Bump to 0.5.0

Pull Request - State: closed - Opened by gyson about 5 years ago

#14 - Support "or in guard" and "if ... else... "

Issue - State: open - Opened by gyson about 5 years ago

#13 - Support Elixir Behaviour

Issue - State: open - Opened by gyson about 5 years ago

#12 - Advanced support for union type + pattern match

Issue - State: open - Opened by gyson about 5 years ago

#11 - Add basic union type support for multi clauses fns

Pull Request - State: closed - Opened by gyson about 5 years ago

#10 - Not sure what it's called?

Issue - State: open - Opened by erlandsona about 5 years ago

#9 - Exhaustiveness Checking

Issue - State: closed - Opened by erlandsona about 5 years ago - 1 comment

#8 - Update union type checking

Pull Request - State: closed - Opened by gyson about 5 years ago

#7 - Support "def name do" syntax

Issue - State: closed - Opened by gyson about 5 years ago - 1 comment

#6 - Refactor: remove ExType.Helper.using/1

Pull Request - State: closed - Opened by gyson about 5 years ago

#5 - Type error for number arithmetic function

Issue - State: closed - Opened by MainShayne233 about 5 years ago - 1 comment

#4 - Add CI

Pull Request - State: closed - Opened by gyson about 5 years ago

#3 - Please explain what ex_type_runtime might be good for :)

Issue - State: open - Opened by PragTob over 5 years ago - 1 comment

#2 - Maybe support inline type hint

Issue - State: open - Opened by gyson over 5 years ago
Labels: maybe

#1 - Support custom typespec

Issue - State: open - Opened by gyson over 5 years ago
Labels: todo

GitHub / gyson/ex_type issues and pull requests