Code

Add type inference#108

Code

Open

mwaldrich wants to merge 122 commits intomastertupl-tufts/rdl:masterfrom infertupl-tufts/rdl:inferCopy head branch name to clipboard

+5,080-1,311

Commits

Commits on Sep 4, 2019

• inference work initial commit

  mckaz

  committed
  dd1b568

  Copy full SHA for dd1b568

Commits on Sep 16, 2019

• add support for blocks, comp types, other updates

  mckaz

  committed
  d5fd382

  Copy full SHA for d5fd382

Commits on Sep 30, 2019

• add support for heuristic inference rules. some bug fixes, refactoring.

  mckaz

  committed
  5902e7e

  Copy full SHA for 5902e7e

Commits on Oct 18, 2019

• refactoring and updates to constraint resolution/heuristics

  mckaz

  committed
  bd9f6fe

  Copy full SHA for bd9f6fe

Commits on Oct 26, 2019

• get rid of deletion of struct types in struct_to_nominal

  mckaz

  authored
  626e16b

  Copy full SHA for 626e16b

Commits on Dec 11, 2019

• many updates

  mckaz

  committed
  6ac3d3f

  Copy full SHA for 6ac3d3f

• Merge branch 'infer' of https://github.com/tupl-tufts/rdl

  mckaz

  committed
  757e1aa

  Copy full SHA for 757e1aa

Commits on Dec 12, 2019

• beginning of unionvar/possible types

  mckaz

  committed
  fea7876

  Copy full SHA for fea7876

• updates to choice types

  mckaz

  committed
  91ea750

  Copy full SHA for 91ea750

Commits on Jan 2, 2020

• updates, mostly to choice types

  mckaz

  committed
  b943a5e

  Copy full SHA for b943a5e

Commits on Jan 14, 2020

• updates for dynamic type collection

  mckaz

  committed
  5b98c1d

  Copy full SHA for 5b98c1d

Commits on Jan 28, 2020

• some clean up, and updates to class indexer

  mckaz

  committed
  704eb5b

  Copy full SHA for 704eb5b

Commits on Feb 13, 2020

• fixes for test failures

  mckaz

  committed
  7f66dd9

  Copy full SHA for 7f66dd9

Commits on Mar 4, 2020

• add code to treat empty array, has with type var

  jeffrey-s-foster

  committed
  da86622

  Copy full SHA for da86622

• start of infer tests

  jeffrey-s-foster

  committed
  9838b58

  Copy full SHA for 9838b58

• travis ruby versions

  jeffrey-s-foster

  committed
  c20fa7c

  Copy full SHA for c20fa7c

• fix some warnings

  jeffrey-s-foster

  committed
  3302573

  Copy full SHA for 3302573

• fix some warnings

  jeffrey-s-foster

  committed
  f1f5e72

  Copy full SHA for f1f5e72

• Don't call infer tests typecheck tests

  jeffrey-s-foster

  committed
  2471e2c

  Copy full SHA for 2471e2c

• Don't call infer tests typecheck tests

  jeffrey-s-foster

  committed
  1170fb1

  Copy full SHA for 1170fb1

• fix more warnings

  jeffrey-s-foster

  committed
  9f22b20

  Copy full SHA for 9f22b20

• get rid of @cur_meth, add klass/meth to scope

  mckaz

  committed
  12d36ee

  Copy full SHA for 12d36ee

• Merge branch 'infer' of https://github.com/tupl-tufts/rdl into infer

  mckaz

  committed
  240f0ef

  Copy full SHA for 240f0ef

• change naming of array/hash param VarTypes

  mckaz

  committed
  efc538a

  Copy full SHA for efc538a

• fix a couple of tests

  jeffrey-s-foster

  committed
  6b413dd

  Copy full SHA for 6b413dd

• bugfix

  jeffrey-s-foster

  committed
  05d9254

  Copy full SHA for 05d9254

• fix a 2.7.0 nit

  jeffrey-s-foster

  committed
  eaa01b1

  Copy full SHA for eaa01b1

Commits on Apr 7, 2020

• fix printing solution

  jeffrey-s-foster

  committed
  ddae8db

  Copy full SHA for ddae8db

• fix reset a bit

  jeffrey-s-foster

  committed
  9eb92de

  Copy full SHA for 9eb92de

Commits on Apr 8, 2020

• Add RDL.infer_added, which takes a block and marks all methods created in that block as being inferred.

  jeffrey-s-foster

  committed
  a2d8c99

  Copy full SHA for a2d8c99

Commits on Apr 9, 2020

• skip methods marked no_infer_meth

  jeffrey-s-foster

  committed
  8133510

  Copy full SHA for 8133510

Commits on Apr 10, 2020

• Change misssing ast to warning for infer

  jeffrey-s-foster

  committed
  a4990fa

  Copy full SHA for a4990fa

Commits on Apr 12, 2020

• Fix typo in readme, fix note_type

  jeffrey-s-foster

  committed
  381aa49

  Copy full SHA for 381aa49

Commits on Apr 22, 2020

• [WIP] Infer unit tests (#95)

  Show description for 8794511
  

  Geoff Huston

  authored
  8794511

  Copy full SHA for 8794511

Commits on Apr 23, 2020

• Add gems for travis

  jeffrey-s-foster

  committed
  7666873

  Copy full SHA for 7666873

• Added a config reset option

  jeffrey-s-foster

  committed
  6f775f7

  Copy full SHA for 6f775f7

Commits on Apr 24, 2020

• suppress infer info messages unless RDL::config.instance.infer_verbose is set.

  jeffrey-s-foster

  committed
  a86a89b

  Copy full SHA for a86a89b

Commits on May 3, 2020

• [WIP] Infer unit tests pattern matcher (#96)

  Show description for a764305
  

  Geoff Huston

  authored
  a764305

  Copy full SHA for a764305

• fix reset (#97)

  Show description for ae136f6
  ngsankha

  authored
  ae136f6

  Copy full SHA for ae136f6

• record module includes/extends

  jeffrey-s-foster

  committed
  5318987

  Copy full SHA for 5318987

• merge

  jeffrey-s-foster

  committed
  aac984a

  Copy full SHA for aac984a

Commits on May 7, 2020

• Continue on Inference Errors (#98)

  Show description for b79be68
  

  Geoff Huston

  and

  mckaz

  authored
  b79be68

  Copy full SHA for b79be68

Commits on May 8, 2020

• support type checking with module mixins

  jeffrey-s-foster

  committed
  c0fec0b

  Copy full SHA for c0fec0b

• merge

  jeffrey-s-foster

  committed
  830802f

  Copy full SHA for 830802f

• better error message for unsupported expression kinds

  jeffrey-s-foster

  committed
  355e9b2

  Copy full SHA for 355e9b2

• Add test_match_with_lvasgn

  jeffrey-s-foster

  committed
  e2f306c

  Copy full SHA for e2f306c

• implement match_with_lvasgn

  jeffrey-s-foster

  committed
  93d3c99

  Copy full SHA for 93d3c99

Commits on May 9, 2020

• Allow constants in default args

  jeffrey-s-foster

  committed
  0846937

  Copy full SHA for 0846937

Commits on May 11, 2020

• add twin_network heuristic

  mckaz

  committed
  5391674

  Copy full SHA for 5391674

• remove effects across RDL

  mckaz

  committed
  e3f6aa1

  Copy full SHA for e3f6aa1

Commits on May 12, 2020

• remove effects across RDL (#100)

  mckaz

  authored
  d516022

  Copy full SHA for d516022

• Merge branch 'infer' of https://github.com/tupl-tufts/rdl into infer

  mckaz

  committed
  e4b986c

  Copy full SHA for e4b986c

• Merge branch 'infer' into ml_infer

  mckaz

  committed
  509f1c8

  Copy full SHA for 509f1c8

• * Add wrap log area

  Show description for f50f60f
  jeffrey-s-foster

  committed
  f50f60f

  Copy full SHA for f50f60f

• Allow A<x> <= B<y> if B is an ancestor of A and A and B have the same number of type params

  jeffrey-s-foster

  committed
  5011ae8

  Copy full SHA for 5011ae8

Commits on May 13, 2020

• Types for PrettyPrint

  jeffrey-s-foster

  committed
  2066e8e

  Copy full SHA for 2066e8e

• new test case for when with blocks

  jeffrey-s-foster

  committed
  85c9d86

  Copy full SHA for 85c9d86

Commits on May 19, 2020

• Add a to_s method to Env, clarify test_when_block

  jeffrey-s-foster

  committed
  2813f48

  Copy full SHA for 2813f48

Commits on May 21, 2020

• add logging of var name/types in an app, query twin network against all names in an app

  mckaz

  committed
  910806c

  Copy full SHA for 910806c

Commits on May 26, 2020

• added note_type test (#99)

  

  Geoff Huston

  authored
  a6784ee

  Copy full SHA for a6784ee

• Infer filtering (#101)

  Show description for 5587375
  

  Geoff Huston

  authored
  5587375

  Copy full SHA for 5587375

Commits on May 28, 2020

• * Add assumption that methods that take blocks with effects don't store them and call them later

  Show description for 8be9660
  jeffrey-s-foster

  committed
  8be9660

  Copy full SHA for 8be9660

• Merge branch 'infer' of github.com:tupl-tufts/rdl into infer

  jeffrey-s-foster

  committed
  39e86d2

  Copy full SHA for 39e86d2

• bug fix

  mckaz

  committed
  9d79b6b

  Copy full SHA for 9d79b6b

• fix error with block args being propagated to outer scope

  jeffrey-s-foster

  committed
  8f81cc2

  Copy full SHA for 8f81cc2

• * Remove Env#fix and replace with new force param to Env#bind

  Show description for 238d81f
  jeffrey-s-foster

  committed
  238d81f

  Copy full SHA for 238d81f

• Fix some PrettyPrint types

  jeffrey-s-foster

  committed
  3baf769

  Copy full SHA for 3baf769

• get_ast always returns nil if it can't find the source

  jeffrey-s-foster

  committed
  703bb7d

  Copy full SHA for 703bb7d

Commits on May 29, 2020

• fix handling of optional AnnotatedArgTypes when checking method subtyping

  mckaz

  committed
  ccefc99

  Copy full SHA for ccefc99

Commits on Jun 1, 2020

• Fix a couple of nil errors

  jeffrey-s-foster

  committed
  68dfcb7

  Copy full SHA for 68dfcb7

Commits on Jun 2, 2020

• Fix typos in Type#solution=

  jeffrey-s-foster

  committed
  b53bb8c

  Copy full SHA for b53bb8c

• Infer Output Sorbet Types (#102)

  Show description for 401926e
  

  Geoff Huston

  authored
  401926e

  Copy full SHA for 401926e

Commits on Jun 11, 2020

• fix for Array#+ type so it handles ActiveRecord::Relation when Rails is defined

  mckaz

  committed
  e721f94

  Copy full SHA for e721f94

• small type check bug fix

  mckaz

  committed
  d1d69c5

  Copy full SHA for d1d69c5

• small fix to rails comp type

  mckaz

  committed
  fb39926

  Copy full SHA for fb39926

• fix methods used in extraction report

  mckaz

  committed
  ec3b657

  Copy full SHA for ec3b657

• small fix in sorbet type reporting

  mckaz

  committed
  13eec83

  Copy full SHA for 13eec83

• fix env issue in tc_block

  mckaz

  committed
  1efc6da

  Copy full SHA for 1efc6da

Commits on Jun 12, 2020

• re-fix method reporting

  mckaz

  committed
  bba5179

  Copy full SHA for bba5179

• fix env handling for map case"

  mckaz

  committed
  062f3f7

  Copy full SHA for 062f3f7

• fix sorbet reporting of hash value optional types, and also of non-MethodType blocks

  mckaz

  committed
  86679da

  Copy full SHA for 86679da

Commits on Jun 13, 2020

• minor

  jeffrey-s-foster

  committed
  cbc0271

  Copy full SHA for cbc0271

• Merge branch 'infer' of github.com:tupl-tufts/rdl into infer

  jeffrey-s-foster

  committed
  916867d

  Copy full SHA for 916867d

Commits on Jun 18, 2020

• add nowrap to PrettyPrint

  mckaz

  committed
  6dcfe77

  Copy full SHA for 6dcfe77

• Merge branch 'infer' of github.com:tupl-tufts/rdl into infer

  jeffrey-s-foster

  committed
  d358646

  Copy full SHA for d358646

• additional type for Enumerable#all?

  mckaz

  committed
  ef638c9

  Copy full SHA for ef638c9

• Merge branch 'infer' of github.com:tupl-tufts/rdl into infer

  jeffrey-s-foster

  committed
  6e78549

  Copy full SHA for 6e78549

Commits on Jun 19, 2020

• fix ileft for structral type cases in leq, and add test case

  mckaz

  committed
  f9d5ee2

  Copy full SHA for f9d5ee2

• Merge branch 'infer' of https://github.com/tupl-tufts/rdl into infer

  mckaz

  committed
  4d7fb21

  Copy full SHA for 4d7fb21

Commits on Jun 22, 2020

• fix to Array#each type

  mckaz

  committed
  21062d0

  Copy full SHA for 21062d0

Commits on Jun 28, 2020

• small fix to matching_classes (#103)

  Dargones

  authored
  0c31eb5

  Copy full SHA for 0c31eb5

Commits on Jul 16, 2020

• fix ordering of union/intersection types by basing it on string name

  mckaz

  committed
  58f92d0

  Copy full SHA for 58f92d0

Commits on Jul 17, 2020

• merge

  mckaz

  committed
  9eb6f48

  Copy full SHA for 9eb6f48

Commits on Jul 30, 2020

• bug fixes for twin network queries

  mckaz

  committed
  abd88f7

  Copy full SHA for abd88f7

Commits on Aug 19, 2020

• fix printing of singleton classes in sorbet

  jeffrey-s-foster

  committed
  7b45dac

  Copy full SHA for 7b45dac

• Matching classes speed-up and more logging (#104)

  Show description for a03544f
  Dargones

  authored
  a03544f

  Copy full SHA for a03544f

Commits on Sep 21, 2020

• tweak Hash#merge to return Hash<x, y> for VarType cases

  mckaz

  committed
  4a9ca62

  Copy full SHA for 4a9ca62

Commits on Oct 16, 2020

• type prediction for args with codeBERT + cosine similarity

  mckaz

  committed
  1790dcc

  Copy full SHA for 1790dcc

Commits on Nov 6, 2020

• add BERT guesses for instance vars, rets, and add some caching and refactoring

  mckaz

  committed
  eb478e1

  Copy full SHA for eb478e1

Commits on Dec 22, 2020

• latest updates

  mckaz

  committed
  e90badc

  Copy full SHA for e90badc

Commits on Jan 22, 2021

• many updates, just before working on batch queries

  mckaz

  committed
  5234486

  Copy full SHA for 5234486

Commits on Apr 6, 2021

• latest updates

  mckaz

  committed
  1e9fe8f

  Copy full SHA for 1e9fe8f

Commits on Apr 9, 2021

• get rid of temp file

  mckaz

  committed
  ffa3003

  Copy full SHA for ffa3003

Commits on Apr 19, 2021

• latest progress

  mckaz

  committed
  f32d529

  Copy full SHA for f32d529

• switch to not using twin, for now

  mckaz

  committed
  aa11ed4

  Copy full SHA for aa11ed4

• fix for loading rails when using rake

  mckaz

  committed
  c378049

  Copy full SHA for c378049

• add pathname dependency

  mckaz

  committed
  335c283

  Copy full SHA for 335c283

• dont use twin

  mckaz

  committed
  9439801

  Copy full SHA for 9439801

• Merge branch 'ml_infer' of https://github.com/mckaz/rdl into ml_infer

  mckaz

  committed
  16f2c84

  Copy full SHA for 16f2c84

Commits on Jul 8, 2021

• updates for artifact

  mckaz

  committed
  305e93b

  Copy full SHA for 305e93b

• Merge branch 'ml_infer' of https://github.com/mckaz/rdl into ml_infer

  mckaz

  committed
  9f72be5

  Copy full SHA for 9f72be5

Commits on Jul 9, 2021

• minor updates

  mckaz

  committed
  20feaec

  Copy full SHA for 20feaec

• typo fix

  mckaz

  committed
  b54f076

  Copy full SHA for b54f076

• attempt fix for CDO schema loading issue

  mckaz

  committed
  a7d10bb

  Copy full SHA for a7d10bb

Commits on Jun 14, 2022

• initial merge

  mwaldrich

  committed
  27025f7

  Copy full SHA for 27025f7

Commits on Jun 15, 2022

• undid ML changes to heuristics

  mwaldrich

  committed
  792c40f

  Copy full SHA for 792c40f

• skipped test

  mwaldrich

  committed
  761da45

  Copy full SHA for 761da45

• Merge branch 'mckaz-ml_infer' into infer

  mwaldrich

  committed
  d18d6c7

  Copy full SHA for d18d6c7

Commits on Jun 17, 2022

• added render: json type

  mwaldrich

  committed
  117e735

  Copy full SHA for 117e735

• readded the simpler render type

  mwaldrich

  committed
  124d38e

  Copy full SHA for 124d38e

• log global type constraints

  mwaldrich

  committed
  93b0ab1

  Copy full SHA for 93b0ab1

• undo; didn't log the correct info

  mwaldrich

  committed
  061bb21

  Copy full SHA for 061bb21