Code

Type inference rules for addresses#778

Code

Merged

jjcnn merged 17 commits intoremote_state_readsZilliqa/scilla:remote_state_readsfrom remote_state_reads_type_rulesZilliqa/scilla:remote_state_reads_type_rulesCopy head branch name to clipboardFeb 17, 2020

+438-269

Commits

Commits on Feb 6, 2020

• assert_type_assignable

  jjcnn

  committed
  4d6da2a

  Copy full SHA for 4d6da2a

Commits on Feb 7, 2020

• Use assert_type_assignable in TypeUtil.

  jjcnn

  committed
  30f658f

  Copy full SHA for 30f658f

Commits on Feb 10, 2020

• Type inference rules for address types

  jjcnn

  committed
  6f5c0a0

  Copy full SHA for 6f5c0a0

Commits on Feb 11, 2020

• Fix type_assignable and tests of same, introduce legal_procedure_parameter_type, and fix parser bug

  jjcnn

  committed
  5c4aa64

  Copy full SHA for 5c4aa64

• Fix parser bug and typechecker issue

  jjcnn

  committed
  5a865fb

  Copy full SHA for 5a865fb

Commits on Feb 12, 2020

• Refactor type equivalence tests

  jjcnn

  committed
  eee61b1

  Copy full SHA for eee61b1

• Assignable tests

  jjcnn

  committed
  4b202e6

  Copy full SHA for 4b202e6

• Duplicate field check for address types

  jjcnn

  committed
  84fcf8f

  Copy full SHA for 84fcf8f

• Remove fixed TODO

  jjcnn

  committed
  762fae0

  Copy full SHA for 762fae0

Commits on Feb 13, 2020

• Move duplicate field check to Recursion.ml

  jjcnn

  committed
  36f7591

  Copy full SHA for 36f7591

• Remove blank line

  jjcnn

  committed
  4e84d15

  Copy full SHA for 4e84d15

• Reintroduce is_ground_type

  jjcnn

  committed
  3d6573f

  Copy full SHA for 3d6573f

• Cosmetic change to pp_typ in case the address contains no fields

  jjcnn

  committed
  f94e5d5

  Copy full SHA for f94e5d5

Commits on Feb 14, 2020

• Addresses from JSONs should be read as ByStr20s

  jjcnn

  committed
  e54f093

  Copy full SHA for e54f093

• Reorder arguments to for_all2_exn in builtin argument traversal

  jjcnn

  committed
  cde31c4

  Copy full SHA for cde31c4

• Do not use type_assignable when comparing types derived from literal values

  jjcnn

  committed
  fca9ea3

  Copy full SHA for fca9ea3

Commits on Feb 17, 2020

• Use type_equiv in Schnorr calculations, and rename json_to_lit to json_to_lit_exn

  jjcnn

  committed
  68029eb

  Copy full SHA for 68029eb