Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / josefs/Gradualizer issues and pull requests

#122 - Bounded quantification

Issue - State: open - Opened by zuiderkwast almost 6 years ago - 8 comments

#100 - Fix forgotten variable bindings in case scrutinees

Pull Request - State: closed - Opened by UlfNorell almost 6 years ago - 2 comments

#99 - Dont crash on cyclic deps

Pull Request - State: closed - Opened by UlfNorell almost 6 years ago - 1 comment

#98 - Utility macros for types

Issue - State: closed - Opened by gomoripeti almost 6 years ago - 7 comments

#97 - Intersection types in the type language

Issue - State: open - Opened by UlfNorell almost 6 years ago - 3 comments

#96 - Unfold when-clauses for `fun M:F/A` and `fun F/A` expressions

Pull Request - State: closed - Opened by UlfNorell almost 6 years ago - 5 comments

#95 - More precise typing rule for shortcut operators (andalso and orelse)

Pull Request - State: closed - Opened by UlfNorell almost 6 years ago - 1 comment

#93 - Unfold bounded type variables in type specs

Pull Request - State: closed - Opened by UlfNorell almost 6 years ago - 15 comments

#92 - Compute sizes of bit expressions and patterns

Pull Request - State: closed - Opened by zuiderkwast almost 6 years ago - 1 comment

#91 - Basic type refinement

Issue - State: closed - Opened by erszcz almost 6 years ago - 5 comments

#90 - Add binary_literal_pattern.erl to tests which should pass

Pull Request - State: closed - Opened by erszcz about 6 years ago - 2 comments

#89 - Unexpected "pattern <<"ok">> doesn't have the type undefined | <<_:_*8>>" error

Issue - State: closed - Opened by erszcz about 6 years ago - 2 comments

#88 - CLI flag to define/override specs

Issue - State: closed - Opened by erszcz about 6 years ago - 5 comments

#87 - Imported functions are reported as undefined

Issue - State: closed - Opened by erszcz about 6 years ago - 1 comment

#86 - Fix loading file from within escript

Pull Request - State: closed - Opened by zuiderkwast about 6 years ago - 1 comment

#85 - Type assertion operator

Issue - State: closed - Opened by Zalastax about 6 years ago - 13 comments

#84 - Crash on type variable

Issue - State: closed - Opened by UlfNorell about 6 years ago
Labels: bug

#83 - Issue 72

Pull Request - State: closed - Opened by UlfNorell about 6 years ago - 8 comments

#82 - Use source code escript instead of escript archive

Pull Request - State: closed - Opened by zuiderkwast about 6 years ago - 7 comments

#81 - Bit string comprehension

Pull Request - State: closed - Opened by zuiderkwast about 6 years ago - 1 comment

#80 - Handle user-def types expanding to fun types in calls and fun refs

Pull Request - State: closed - Opened by zuiderkwast about 6 years ago - 1 comment

#79 - Known problem: not yet supported union of maps == map of unions

Pull Request - State: closed - Opened by gomoripeti about 6 years ago - 2 comments

#78 - Add known problems

Pull Request - State: closed - Opened by Zalastax about 6 years ago - 2 comments

#77 - Public API and module names

Issue - State: open - Opened by Zalastax about 6 years ago - 1 comment
Labels: discussion

#76 - Adding more input consumers

Issue - State: closed - Opened by OvermindDL1 about 6 years ago - 10 comments

#75 - typechecker:handle_type_error({type_error,bin,0,...

Issue - State: closed - Opened by OvermindDL1 about 6 years ago - 3 comments
Labels: bug

#74 - Error loading otp_spec_fix.erl from escript

Issue - State: closed - Opened by gomoripeti about 6 years ago - 4 comments
Labels: bug

#73 - Elixir support

Issue - State: closed - Opened by lpil about 6 years ago - 6 comments

#72 - Types are pushed into operators incorrectly

Issue - State: closed - Opened by UlfNorell about 6 years ago - 6 comments
Labels: bug

#71 - Fix #70: check types of literal patterns

Pull Request - State: closed - Opened by UlfNorell about 6 years ago - 1 comment

#70 - Literal patterns are not checked

Issue - State: closed - Opened by UlfNorell about 6 years ago

#69 - Fix #68: crash on float patterns of type any()

Pull Request - State: closed - Opened by UlfNorell about 6 years ago - 2 comments

#68 - Crash on float pattern with any() spec

Issue - State: closed - Opened by UlfNorell about 6 years ago

#67 - Override incorrect or inexact OTP specs

Pull Request - State: closed - Opened by zuiderkwast about 6 years ago - 9 comments

#66 - Replace erlang.mk with rebar3

Pull Request - State: closed - Opened by Zalastax about 6 years ago

#65 - Infer fun types from fun expressions

Pull Request - State: closed - Opened by zuiderkwast about 6 years ago - 1 comment

#64 - Improve testing

Pull Request - State: closed - Opened by Zalastax about 6 years ago - 1 comment

#63 - Fix typo

Pull Request - State: closed - Opened by Zalastax about 6 years ago - 1 comment

#62 - Normalization of unary plus

Issue - State: closed - Opened by Zalastax about 6 years ago - 1 comment

#61 - Pimp README.me

Pull Request - State: closed - Opened by Zalastax about 6 years ago

#60 - Run dialyzer in CI

Issue - State: closed - Opened by Zalastax about 6 years ago - 2 comments

#59 - Unify error terms

Pull Request - State: closed - Opened by Zalastax about 6 years ago - 32 comments

#58 - Address some self-check issues

Pull Request - State: closed - Opened by gomoripeti about 6 years ago - 6 comments

#57 - Fix infering type of bool/numeric negation

Pull Request - State: closed - Opened by gomoripeti about 6 years ago - 11 comments

#56 - Testing strategy

Issue - State: closed - Opened by Zalastax about 6 years ago - 2 comments

#55 - Add gradualizer.sh to normalise line number position

Pull Request - State: closed - Opened by erszcz about 6 years ago - 3 comments

#54 - Optionally infer types of literals and other constructs

Pull Request - State: closed - Opened by zuiderkwast about 6 years ago - 9 comments

#53 - Integrate with Travis CI and Codecov

Pull Request - State: closed - Opened by Zalastax about 6 years ago - 2 comments

#52 - Crash during Gradualizer run with `... type_error,map, ...` unhandled

Issue - State: closed - Opened by OvermindDL1 about 6 years ago - 1 comment

#51 - Gradualizer issues with Gradualizer

Issue - State: open - Opened by OvermindDL1 about 6 years ago - 7 comments

#50 - erlang.mk bug

Issue - State: closed - Opened by OvermindDL1 about 6 years ago - 14 comments

#49 - Unified error terms and text

Issue - State: open - Opened by gomoripeti about 6 years ago - 4 comments

#48 - Vim integration through Neomake

Issue - State: closed - Opened by erszcz about 6 years ago - 5 comments

#47 - Pretty print M:F/A instead of printing abstract forms

Pull Request - State: closed - Opened by erszcz about 6 years ago

#46 - Error: function_clause on {not_exported, remote_type, ...}

Issue - State: closed - Opened by erszcz about 6 years ago - 4 comments

#45 - Support normalizing fun type with any args

Pull Request - State: closed - Opened by gomoripeti about 6 years ago

#44 - More fixes to fun_ty_union

Pull Request - State: closed - Opened by gomoripeti about 6 years ago - 1 comment

#43 - Beta release

Issue - State: open - Opened by josefs about 6 years ago - 10 comments
Labels: discussion

#42 - Support for binary patterns

Issue - State: closed - Opened by josefs about 6 years ago - 1 comment

#41 - Add CI support

Issue - State: closed - Opened by josefs about 6 years ago - 5 comments
Labels: help wanted

#40 - Provide a built-in type for record_info

Issue - State: closed - Opened by josefs about 6 years ago - 2 comments
Labels: help wanted

#39 - Improve some OTP type specs

Issue - State: closed - Opened by josefs about 6 years ago - 11 comments
Labels: help wanted

#38 - Improve test suite

Issue - State: open - Opened by josefs about 6 years ago - 6 comments
Labels: help wanted, good first issue

#37 - Fix dialyzer warnings

Pull Request - State: closed - Opened by gomoripeti about 6 years ago - 1 comment

#36 - Create a rebar3 plugin

Pull Request - State: closed - Opened by Zalastax about 6 years ago - 12 comments

#35 - Issue around expect tuple union

Issue - State: closed - Opened by gomoripeti about 6 years ago - 2 comments
Labels: bug

#34 - Flag to enable type checking per file in a project

Issue - State: closed - Opened by Zalastax about 6 years ago - 6 comments

#33 - [Knowledge sharing] unions of any()

Issue - State: closed - Opened by Zalastax about 6 years ago - 4 comments

#32 - Handling aliases correctly

Issue - State: closed - Opened by TheGeorge about 6 years ago - 4 comments

#31 - Add a command line interface

Pull Request - State: closed - Opened by Zalastax about 6 years ago - 6 comments

#30 - Improve type checking if/case/try expressions

Pull Request - State: closed - Opened by gomoripeti about 6 years ago - 1 comment

#29 - Making it a real Erlang application

Issue - State: closed - Opened by Zalastax about 6 years ago - 8 comments

#27 - Only infer tuple type if it has a subexpr typed by the user

Pull Request - State: closed - Opened by gomoripeti over 6 years ago

#26 - Role of `type_check_expr`

Issue - State: open - Opened by gomoripeti over 6 years ago - 12 comments
Labels: discussion

#25 - Type refinement in conditional expressions

Issue - State: open - Opened by gomoripeti over 6 years ago - 5 comments
Labels: discussion

#24 - Refactor type_check_logic_op[_in]

Pull Request - State: closed - Opened by gomoripeti over 6 years ago - 9 comments

#23 - Handling short-circuit operators

Issue - State: open - Opened by gomoripeti over 6 years ago - 40 comments
Labels: discussion

#22 - map-based types support

Issue - State: closed - Opened by timCF over 6 years ago - 6 comments

#21 - Questions about Gradualizer

Issue - State: closed - Opened by josevalim over 6 years ago - 11 comments

#20 - BEAM files support for gradualizer_db

Pull Request - State: closed - Opened by tim2CF over 6 years ago - 3 comments

#19 - Call to undefined function

Issue - State: closed - Opened by tim2CF over 6 years ago - 3 comments

#18 - Improve handling remote and user types

Pull Request - State: closed - Opened by gomoripeti over 6 years ago - 6 comments

#17 - Fix normalizing local user types

Pull Request - State: closed - Opened by gomoripeti over 6 years ago - 1 comment

#16 - Binary patterns and Elixir.String.t

Issue - State: closed - Opened by mbuhot over 6 years ago - 7 comments

#15 - "... has type type() but is expected to have type type()"

Issue - State: closed - Opened by zuiderkwast over 6 years ago - 1 comment

#14 - Extend API

Pull Request - State: closed - Opened by gomoripeti over 6 years ago - 3 comments

#13 - Small fixes

Pull Request - State: closed - Opened by gomoripeti over 6 years ago - 2 comments

#12 - mix compatibility

Pull Request - State: closed - Opened by tim2CF over 6 years ago - 6 comments

#11 - Type refinement for extended numeric types

Issue - State: closed - Opened by tim2CF over 6 years ago - 11 comments

#10 - OTP application file structure

Pull Request - State: closed - Opened by gomoripeti over 6 years ago - 5 comments

#9 - Handle top-level bounded functions

Pull Request - State: closed - Opened by gomoripeti over 6 years ago - 1 comment

#8 - Various small fixes

Pull Request - State: closed - Opened by gomoripeti over 6 years ago - 1 comment

#7 - Implement proper support for polymorphism

Issue - State: closed - Opened by tim2CF over 6 years ago - 7 comments

#6 - Add support for annotated types in specs

Pull Request - State: closed - Opened by gomoripeti over 6 years ago - 4 comments

#5 - Fix var bindings unioning

Pull Request - State: closed - Opened by gomoripeti over 6 years ago - 2 comments

#4 - can't run Gradualizer

Issue - State: closed - Opened by tim2CF over 6 years ago - 3 comments

#3 - Maps of unknown and maps with mandatory fields

Pull Request - State: closed - Opened by zuiderkwast over 6 years ago

#2 - Check remote calls and load remote module types on demand

Pull Request - State: closed - Opened by zuiderkwast over 6 years ago - 4 comments