Skip to content

Issues: ityonemo/mavis

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

21 Open 82 Closed
21 Open 82 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

type macro isn't quite right about some things
#149 opened Nov 30, 2021 by ityonemo
property test to make sure that inspected components in a union are in type order. testing EAT YOUR GREENS
#146 opened Feb 6, 2021 by ityonemo
make sure inspects of [] with generic types don't come out strange. bug Something isn't working
#145 opened Feb 2, 2021 by ityonemo 0.0.7
message simplification
#144 opened Jan 25, 2021 by ityonemo 0.0.7
composable message scheme
#143 opened Jan 25, 2021 by ityonemo 0.0.7
double check that floats don't cause problems in range type operations
#142 opened Jan 2, 2021 by ityonemo 0.0.7
use rangeresolve(a, b) for more logic in the range module
#141 opened Jan 2, 2021 by ityonemo 0.0.7
Subtraction types
#131 opened Nov 22, 2020 by ityonemo 0.0.7
make a Function.Bundle type that isn't a union.
#130 opened Nov 22, 2020 by ityonemo 0.0.7
check that deviations from standard elixir can be turned off.
#120 opened Nov 16, 2020 by ityonemo 0.1.0
make sure warnings for String.t are not confusing if one is fixed size.
#84 opened Oct 26, 2020 by ityonemo 0.1.0
consider making Type.Messages somehow nestable so that dependent typing information can be communicated
#81 opened Oct 20, 2020 by ityonemo 0.0.7
make sure that Type.Messages can be inspect'ed to produce coherent error messages
#80 opened Oct 20, 2020 by ityonemo 0.0.7
identify deficiencies in the documentation documentation Improvements or additions to documentation good first issue Good for newcomers
#43 opened Oct 4, 2020 by ityonemo
property tests generators for the type system good first issue Good for newcomers testing EAT YOUR GREENS
#37 opened Oct 4, 2020 by ityonemo
Create Type.Api
#32 opened Oct 4, 2020 by ityonemo 0.1.0
write a property test checking that supertypes are always greater than their subtype. good first issue Good for newcomers testing EAT YOUR GREENS
#18 opened Sep 25, 2020 by ityonemo
1
open questions about Erlang Types
#15 opened Sep 24, 2020 by ityonemo
5
add nestable information for List maybes and errors
#6 opened Sep 22, 2020 by ityonemo 0.1.0
add nestable meta-information for type.function matching.
#5 opened Sep 22, 2020 by ityonemo 0.0.7
2
should one generally put optional(any) => any into maps? deviations from erlang/elixir
#4 opened Sep 22, 2020 by ityonemo
2
ProTip! no:milestone will show everything without a milestone.