Code

feat: gno type check#1426

Code

Merged

jaekwon merged 202 commits intognolang:mastergnolang/gno:masterfrom ltzmaxwell:ltzmaxwell/fix/interface_comparisonltzmaxwell/gno:ltzmaxwell/fix/interface_comparisonCopy head branch name to clipboardJun 19, 2024

+5,613-559

Commits

Commits on Nov 17, 2023

• outOfGas log clearly

  ltzmaxwell

  committed
  e22a43c

Commits on Nov 20, 2023

• patch up

  ltzmaxwell

  committed
  b9aa15e

Commits on Nov 21, 2023

• more test, cover more cases

  ltzmaxwell

  committed
  9f57ef7

• fix assign type check

  ltzmaxwell

  committed
  55e3af8

Commits on Nov 27, 2023

• fixup

  ltzmaxwell

  committed
  af75c9e

Commits on Nov 28, 2023

• more test

  ltzmaxwell

  committed
  2603f34

Commits on Nov 29, 2023

• fixup

  ltzmaxwell

  committed
  1275f9d

Commits on Nov 30, 2023

• make test work

  ltzmaxwell

  committed
  814354b

Commits on Dec 1, 2023

• fixup

  ltzmaxwell

  committed
  0f53121

Commits on Dec 3, 2023

• refactor

  ltzmaxwell

  committed
  ddd2c71

Commits on Dec 4, 2023

• fixup

  ltzmaxwell

  committed
  7acaec6

Commits on Dec 5, 2023

• comparable

  ltzmaxwell

  committed
  e291e56

• compare

  ltzmaxwell

  committed
  ad87127

• unary

  ltzmaxwell

  committed
  7d21ff8

Commits on Dec 6, 2023

• fixup

  ltzmaxwell

  committed
  9b0ace9

Commits on Dec 7, 2023

• optimize

  ltzmaxwell

  committed
  eed16b7

• inc,dec

  ltzmaxwell

  committed
  1c93d2c

• fixup

  ltzmaxwell

  committed
  5f0ac87

• fixup

  ltzmaxwell

  committed
  d6000c5

• fixup

  ltzmaxwell

  committed
  812e64d

• doc

  ltzmaxwell

  committed
  fe948bb

Commits on Dec 8, 2023

• more test

  ltzmaxwell

  committed
  52d8221

• readme

  ltzmaxwell

  committed
  ec6fd0e

• fixup

  ltzmaxwell

  committed
  cde9ed5

• fixup

  ltzmaxwell

  committed
  80508da

• restore unwanted

  ltzmaxwell

  committed
  7af6623

• restore

  ltzmaxwell

  committed
  55e6cc0

• Merge remote-tracking branch 'upstream/master' into ltzmaxwell/fix/interface_comparison

  ltzmaxwell

  committed
  6d56167

• restore

  ltzmaxwell

  committed
  fa7f8d4

• restore

  ltzmaxwell

  committed
  6a31cb8

• restore

  ltzmaxwell

  committed
  0b095c3

• restore

  ltzmaxwell

  committed
  34588a1

• restore

  ltzmaxwell

  committed
  edc8c5b

• restore

  ltzmaxwell

  committed
  1513d78

• sync

  ltzmaxwell

  committed
  5dbf7f4

• fix inc float

  ltzmaxwell

  committed
  9656056

• fixup

  ltzmaxwell

  committed
  fa3acd0

• fixup

  ltzmaxwell

  committed
  068e368

• fmt

  ltzmaxwell

  committed
  2f4136f

• lint

  ltzmaxwell

  committed
  1497c4a

• lint

  ltzmaxwell

  committed
  709e13a

• fix map comparable

  ltzmaxwell

  committed
  8fd16fc

Commits on Dec 10, 2023

• fixup

  ltzmaxwell

  committed
  8a63e0c

Commits on Dec 11, 2023

• fix slice type

  ltzmaxwell

  committed
  ad8768b

• fix comparable

  ltzmaxwell

  committed
  0f828f5

• fixup

  ltzmaxwell

  committed
  937723e

• fixup

  ltzmaxwell

  committed
  218c834

Commits on Dec 12, 2023

• fixup

  ltzmaxwell

  committed
  8c5ce24

• fixup

  ltzmaxwell

  committed
  abff073

• fixup

  ltzmaxwell

  committed
  af0de11

• fixup

  ltzmaxwell

  committed
  e673dac

• restore

  ltzmaxwell

  committed
  cfcbdda

• fix shift

  ltzmaxwell

  committed
  268e849

• fixup

  ltzmaxwell

  committed
  097244e

Commits on Dec 13, 2023

• fixup

  ltzmaxwell

  committed
  6858e80

• tidy

  ltzmaxwell

  committed
  db12d88

Commits on Dec 14, 2023

• fixup

  ltzmaxwell

  committed
  fe2cb7d

• fixup

  ltzmaxwell

  committed
  5f58979

Commits on Dec 18, 2023

• fix special case relate to nil type

  ltzmaxwell

  committed
  c936fea

Commits on Dec 19, 2023

• fixup

  ltzmaxwell

  committed
  ee408c2

Commits on Dec 20, 2023

• fixup

  ltzmaxwell

  committed
  2771649

Commits on Dec 22, 2023

• fixup

  ltzmaxwell

  committed
  005b370

• fixup

  ltzmaxwell

  committed
  c1f4dda

• add test

  ltzmaxwell

  committed
  f94e4fd

Commits on Dec 24, 2023

• fixup

  ltzmaxwell

  committed
  635decd

Commits on Jan 9, 2024

• add new test

  ltzmaxwell

  committed
  95214af

Commits on Jan 11, 2024

• fixup

  ltzmaxwell

  committed
  7464ac9

• clean

  ltzmaxwell

  committed
  4f370a2

• add comments

  ltzmaxwell

  committed
  54b255d

• add comment

  ltzmaxwell

  committed
  184f526

• add comments

  ltzmaxwell

  committed
  6aa1c04

• add test

  ltzmaxwell

  committed
  46ced47

• add test

  ltzmaxwell

  committed
  5e9c783

• fixup

  ltzmaxwell

  committed
  9e47ced

Commits on Jan 12, 2024

• update

  ltzmaxwell

  committed
  937a725

Commits on Jan 13, 2024

• update

  ltzmaxwell

  committed
  57bd724

• fixup

  ltzmaxwell

  committed
  e9a3a0a

• fixup

  ltzmaxwell

  committed
  ef21103

• improve name

  ltzmaxwell

  committed
  37f00df

Commits on Jan 14, 2024

• fixup

  ltzmaxwell

  committed
  1791a34

• fixup

  ltzmaxwell

  committed
  073bd48

Commits on Jan 15, 2024

• fixup

  ltzmaxwell

  committed
  df4d4c7

• fixup

  ltzmaxwell

  committed
  ef25c1f

• fixup

  ltzmaxwell

  committed
  6f59149

Commits on Jan 16, 2024

• fixup

  ltzmaxwell

  committed
  33ec34f

• sync and test

  ltzmaxwell

  committed
  836941d

Commits on Jan 17, 2024

• fixup

  ltzmaxwell

  committed
  8d3d855

• check nil

  ltzmaxwell

  committed
  e4e5e2a

• fixup

  ltzmaxwell

  committed
  8ee9724

Commits on Jan 18, 2024

• clear

  ltzmaxwell

  committed
  292b038

• fixup

  ltzmaxwell

  committed
  cd8caa9

• fixup

  ltzmaxwell

  committed
  87f3a8e

• fixup

  ltzmaxwell

  committed
  792a368

Commits on Jan 20, 2024

• add check

  ltzmaxwell

  committed
  7a9b8a4

Commits on Jan 31, 2024

• clean most debug log, can be revert here

  ltzmaxwell

  committed
  94262aa

Commits on Feb 8, 2024

• escape op on render side

  ltzmaxwell

  committed
  afde8b0

Commits on Mar 1, 2024

• migrate logic to type_check.go; move compatibility check as method of node, that make somes originally logic happens in ealier stages

  ltzmaxwell

  committed
  40ec493

• make test pass

  ltzmaxwell

  committed
  5f0cf8b

Commits on Mar 4, 2024

• done refactor to type_checker

  ltzmaxwell

  committed
  cbdc979

Commits on Mar 5, 2024

• clean

  ltzmaxwell

  committed
  118598d

• prepared for split

  ltzmaxwell

  committed
  33a3c9d

• mv some check logic to type_check

  ltzmaxwell

  committed
  6d6590a

Commits on Mar 7, 2024

• fix binary non-const native handling

  ltzmaxwell

  committed
  218fff0

• fix compatible check for assign in type_check

  ltzmaxwell

  committed
  a6838b6

Commits on Mar 8, 2024

• make rhs native type check in type_check

  ltzmaxwell

  committed
  4744d09

Commits on Mar 11, 2024

• try handle checking declared type against native interface, temp here, gotta move to other place

  ltzmaxwell

  committed
  5631d3a

Commits on Mar 13, 2024

• consolidate delay handling for untyped shift expr logic

  ltzmaxwell

  committed
  a2862ba

Commits on Mar 14, 2024

• cache better; clear unused logic

  ltzmaxwell

  committed
  7bd03e1

• #cherry-pick. rm logic of check declared type against native interface, for immature and not necessary(non-primitive native types is limited, namely, has a gno version.

  ltzmaxwell

  committed
  f9517eb

• #no cherry pick for shift_expr_typecheck branch! rm most logic for handling type of shift expr

  ltzmaxwell

  committed
  88f20ea

• cherry pick this. rm remained logic for check against native interface, and fix assertAssignable

  ltzmaxwell

  committed
  5da2910

• default cherry pick commit this branch if not marked as not. fixup

  ltzmaxwell

  committed
  723aa3b

Commits on Apr 4, 2024

• restore typecheck, rm redundant checkAssignableTo, leave it to checkOrConvertType

  ltzmaxwell

  committed
  c93111f

• clean

  ltzmaxwell

  committed
  64dc20d

• clean

  ltzmaxwell

  committed
  a65be41

• clean

  ltzmaxwell

  committed
  953765c

• split type_compare(wtf) and type(nil)

  ltzmaxwell

  committed
  6f22a56

• restore

  ltzmaxwell

  committed
  6908950

• split type def on pointer type & clean

  ltzmaxwell

  committed
  0c79c67

• rm no use file

  ltzmaxwell

  committed
  cc5c8c8

Commits on Apr 5, 2024

• clean

  ltzmaxwell

  committed
  5f9a362

Commits on Apr 7, 2024

• for binaryExpr, also check xt

  ltzmaxwell

  committed
  cb338ce

• split implicit type conversion feat

  ltzmaxwell

  committed
  d3af8c3

Commits on Apr 8, 2024

• add test

  ltzmaxwell

  committed
  5b83cdb

• add test

  ltzmaxwell

  committed
  3d148f6

• check bigdec, add comments

  ltzmaxwell

  committed
  7925202

Commits on Apr 10, 2024

• clean

  ltzmaxwell

  committed
  2f780d5

Commits on Apr 11, 2024

• type check for assignStmt

  ltzmaxwell

  committed
  a89aea3

• type check for assignStmt, fixup assertion

  ltzmaxwell

  committed
  cfe75b7

Commits on Apr 12, 2024

• fix render issure with %

  ltzmaxwell

  committed
  d427e79

Commits on Apr 13, 2024

• Update gnovm/pkg/gnolang/type_check.go

  Show description for 4fb88d8
  

  ltzmaxwell

  and

  thehowl

  authored
  4fb88d8

• Update gnovm/pkg/gnolang/type_check.go

  Show description for ac6d5cb
  

  ltzmaxwell

  and

  thehowl

  authored
  ac6d5cb

• Update gnovm/pkg/gnolang/type_check.go

  Show description for 83cacc6
  

  ltzmaxwell

  and

  thehowl

  authored
  83cacc6

Commits on Apr 15, 2024

• Update gnovm/Makefile

  Show description for 0cfe9b8
  

  ltzmaxwell

  and

  thehowl

  authored
  0cfe9b8

Commits on Apr 16, 2024

• clean

  ltzmaxwell

  committed
  bed7e3c

• Merge remote-tracking branch 'origin/ltzmaxwell/fix/interface_comparison' into ltzmaxwell/fix/interface_comparison

  ltzmaxwell

  committed
  3a827be

Commits on Apr 17, 2024

• update

  ltzmaxwell

  committed
  b7e6f5a

• fix assertComparable

  ltzmaxwell

  committed
  0d767a4

• simplify assertComparable logic

  ltzmaxwell

  committed
  7fe0504

Commits on Apr 18, 2024

• Update gnovm/pkg/gnolang/preprocess.go

  Show description for 681f285
  

  ltzmaxwell

  and

  thehowl

  authored
  681f285

• Update gnovm/pkg/gnolang/type_check.go

  Show description for 603c39a
  

  ltzmaxwell

  and

  thehowl

  authored
  603c39a

• Update gnovm/pkg/gnolang/type_check.go

  Show description for 1919aa3
  

  ltzmaxwell

  and

  thehowl

  authored
  1919aa3

• decouple checkOrConvertType

  ltzmaxwell

  committed
  7699ab0

• update

  ltzmaxwell

  committed
  8b7aaa3

• improve assertComparable, rm interface{}(nil) test file

  ltzmaxwell

  committed
  5f95c6c

• fix CI

  ltzmaxwell

  committed
  1caac46

• revert unuseful logic

  ltzmaxwell

  committed
  f4c9e66

Commits on Apr 19, 2024

• more check

  ltzmaxwell

  committed
  850e4e3

• clean

  ltzmaxwell

  committed
  7467a2d

Commits on Apr 20, 2024

• not check on define in assignment

  ltzmaxwell

  committed
  4b13980

Commits on Apr 21, 2024

• rm similar test file with multi operators

  ltzmaxwell

  committed
  63fd8cc

• clean

  ltzmaxwell

  committed
  abc1677

Commits on Apr 22, 2024

• simplify binary type check

  ltzmaxwell

  committed
  3c3d939

• clear

  ltzmaxwell

  committed
  f6764d9

• fixup

  ltzmaxwell

  committed
  986d8ec

• fixup

  ltzmaxwell

  committed
  97f46cd

• assert valie left value

  ltzmaxwell

  committed
  1819db7

Commits on Apr 25, 2024

• merge master and resolve conflicts

  ltzmaxwell

  committed
  d00e506

• fix linter

  ltzmaxwell

  committed
  a167478

• fixup

  ltzmaxwell

  committed
  ff437b4

Commits on May 2, 2024

• resolve comments

  ltzmaxwell

  committed
  500f984

• simplify cmpSpecificity

  ltzmaxwell

  committed
  1eabcce

• fix range assign

  ltzmaxwell

  committed
  1e72c38

Commits on May 13, 2024

• revert

  ltzmaxwell

  committed
  ff57c36

• merge master

  ltzmaxwell

  committed
  77f933e

Commits on May 24, 2024

• fixup

  ltzmaxwell

  committed
  9137217

• fixup, revert recursive check

  ltzmaxwell

  committed
  9a96287

• fixup

  ltzmaxwell

  committed
  1d65b4c

• optimize

  ltzmaxwell

  committed
  26efc94

Commits on May 27, 2024

• improve readibility for recursive call

  ltzmaxwell

  committed
  9a2acb9

Commits on Jun 2, 2024

• fix lint

  ltzmaxwell

  committed
  07d52f9

Commits on Jun 3, 2024

• fixup

  ltzmaxwell

  committed
  9af1aa7

• merger master

  ltzmaxwell

  committed
  bf202eb

• fix

  ltzmaxwell

  committed
  627ef95

• Revert "merger master"

  Show description for 329ddb8
  ltzmaxwell

  committed
  329ddb8

• merge master

  ltzmaxwell

  committed
  168ea29

• make test pass

  ltzmaxwell

  committed
  641cd7f

Commits on Jun 12, 2024

• rename test files

  ltzmaxwell

  committed
  65a7ca3

• clear log

  ltzmaxwell

  committed
  c0a76c2

• rename

  ltzmaxwell

  committed
  01648dd

• del

  ltzmaxwell

  committed
  9bd5c2f

• Merge remote-tracking branch 'upstream/master' into ltzmaxwell/fix/interface_comparison

  ltzmaxwell

  committed
  815c8d5

• better msg

  ltzmaxwell

  committed
  649d65d

• bypass

  ltzmaxwell

  committed
  950801a

• fix import

  ltzmaxwell

  committed
  0530f41

• fixup tests zrealm12

  ltzmaxwell

  committed
  2512070

• print

  ltzmaxwell

  committed
  33357f9

• Merge branch 'fix/maxwell/zrealm12' into ltzmaxwell/fix/interface_comparison

  ltzmaxwell

  committed
  646743e

Commits on Jun 13, 2024

• fixup

  ltzmaxwell

  committed
  c1162db

• fix linter

  ltzmaxwell

  committed
  fbe31dc

• fixup

  ltzmaxwell

  committed
  b0850b2

Commits on Jun 18, 2024

• ...

  jaekwon

  committed
  4292a3f

• ...

  jaekwon

  committed
  2f5b613

• switch test mode

  jaekwon

  committed
  0891153

Commits on Jun 19, 2024

• fix check on both typed, no conversion

  

  ltzmaxwell

  authored and

  jaekwon

  committed
  c1abcf7

• unified/correct check logic for both typed

  

  ltzmaxwell

  authored and

  jaekwon

  committed
  98ad2b2

• fixup checkOrConvertType

  

  ltzmaxwell

  authored and

  jaekwon

  committed
  8c2a3cf

• more comment

  

  ltzmaxwell

  authored and

  jaekwon

  committed
  d92c4eb

• ...

  jaekwon

  committed
  bb20640

• Revert "fix: default untyped to uint when necessary (gnolang#2024)"

  Show description for ea969b3
  jaekwon

  committed
  ea969b3

• Merge branch 'ltzmaxwell/fix/interface_comparison'

  jaekwon

  committed
  a1278f6

• ...

  jaekwon

  committed
  0ced1b7