ityonemo/mavis

Issues

• type macro isn't quite right about some things

  #149 opened 3 years ago by ityonemo
  0

• property test to make sure that inspected components in a union are in type order.

  #146 opened 4 years ago by ityonemo
  0

• make sure inspects of [] with generic types don't come out strange.

  #145 opened 4 years ago by ityonemo
  0

• make sure that Type.Messages can be inspect'ed to produce coherent error messages

  #80 opened 4 years ago by ityonemo
  0

• consider making Type.Messages somehow nestable so that dependent typing information can be communicated

  #81 opened 4 years ago by ityonemo
  0

• Subtraction types

  #131 opened 4 years ago by ityonemo
  0

• make a Function.Bundle type that isn't a union.

  #130 opened 4 years ago by ityonemo
  0

• message simplification

  #144 opened 4 years ago by ityonemo
  0

• composable message scheme

  #143 opened 4 years ago by ityonemo
  0

• double check that floats don't cause problems in range type operations

  #142 opened 4 years ago by ityonemo
  0

• use rangeresolve(a, b) for more logic in the range module

  #141 opened 4 years ago by ityonemo
  0

• consider adding ability for tuples to have a fixed value?

  #116 opened 4 years ago by ityonemo
  2

• remove inferred tag from functions

  #134 opened 4 years ago by ityonemo
  1

• make sure that types can be normalized on inspect

  #126 opened 4 years ago by ityonemo
  1

• make sure that top_arity functions can be inspected.

  #135 opened 4 years ago by ityonemo
  1

• create a type normalization function

  #127 opened 4 years ago by ityonemo
  1

• make sure that functions can merge their parameters if their return types match.

  #119 opened 4 years ago by ityonemo
  1

• fix: unions with empty string

  #124 opened 4 years ago by ityonemo
  1

• make functions() type, change Type.Inference.Api

  #117 opened 4 years ago by ityonemo
  1

• Create a builtin(:no_return) which is distinct from builtin(:none)

  #122 opened 4 years ago by ityonemo
  1

• is_returnable/1 guard that selects against builtin(:none) and builtin(:no_return)

  #123 opened 4 years ago by ityonemo
  1

• Type.union should switch to not treating builtin(:none) separately

  #121 opened 4 years ago by ityonemo
  1

• check that deviations from standard elixir can be turned off.

  #120 opened 4 years ago by ityonemo
  0

• refactor the way to do default types:

  #118 opened 4 years ago by ityonemo
  1

• is it the case that if you take two terms then the type of the two terms will obey order?

  #98 opened 4 years ago by ityonemo
  1

• clean up inspect representation for confusing types

  #97 opened 4 years ago by ityonemo
  2

• add in tuple with minimum arity type

  #96 opened 4 years ago by ityonemo
  1

• tuple with minimum arity

  #93 opened 4 years ago by ityonemo
  1

• function to dereference tuple type

  #94 opened 4 years ago by ityonemo
  1

• apply for functions

  #92 opened 4 years ago by ityonemo
  2

• reorder fields in maps to be syntatically correct.

  #107 opened 4 years ago by ityonemo
  1

• add spec for functions with arity

  #90 opened 4 years ago by ityonemo
  5

• correct rules for tuple merging in unions

  #106 opened 4 years ago by ityonemo
  5

• refactor to use list/1 instead of %Type.List

  #105 opened 4 years ago by ityonemo
  1

• refactor Map doctests to use Type.map/1

  #102 opened 4 years ago by ityonemo
  1

• deprecate Map.build in favor of Type.map/1 macro

  #101 opened 4 years ago by ityonemo
  1

• refactor Tuple doctests to use Type.tuple/1

  #103 opened 4 years ago by ityonemo
  1

• deprecate logic for non_neg_integer

  #95 opened 4 years ago by ityonemo
  2

• add in more builtins

  #91 opened 4 years ago by ityonemo
  1

• add is_singleton guard

  #89 opened 4 years ago by ityonemo
  1

• move this from mavis_inference and put it into Type.of(<lambda>)

  #88 opened 4 years ago by ityonemo
  0

• better documentation of type module

  #83 opened 4 years ago by ityonemo
  0

• "deviations from elixir" in type module

  #82 opened 4 years ago by ityonemo
  0

• make sure warnings for String.t are not confusing if one is fixed size.

  #84 opened 4 years ago by ityonemo
  0

• should the inference engine be a compile-time property or a runtime property?

  #79 opened 4 years ago by ityonemo
  1

• support for opaque types

  #74 opened 4 years ago by ityonemo
  1

• makes sure typep works

  #70 opened 4 years ago by ityonemo
  1

• figure out what is causing IO to infinite loop.

  #69 opened 4 years ago by ityonemo
  2

• make sure opaque types work.

  #68 opened 4 years ago by ityonemo
  1

• Make sure type variables in functions work

  #71 opened 4 years ago by ityonemo
  1