Code

Runtime check of ascribed types#6790

Code

Merged

JaroslavTulach merged 36 commits intodevelopenso-org/enso:developfrom wip/jtulach/AscribedTypes_6682enso-org/enso:wip/jtulach/AscribedTypes_6682Copy head branch name to clipboardMay 30, 2023

+527-181

Commits

Commits on May 15, 2023

• Use ascribed types in ReadArgumentNode

  JaroslavTulach

  committed
  18abc60

  Copy full SHA for 18abc60

Commits on May 22, 2023

• Merge remote-tracking branch 'origin/develop' into wip/jtulach/AscribedTypes_6682

  JaroslavTulach

  committed
  b90cd6e

  Copy full SHA for b90cd6e

• Bound type is available directly in the Interval module

  JaroslavTulach

  committed
  81295da

  Copy full SHA for 81295da

• Context is directly imported

  JaroslavTulach

  committed
  4ebea38

  Copy full SHA for 4ebea38

• Accept type parameters in ascribed signatures

  JaroslavTulach

  committed
  3358d6b

  Copy full SHA for 3358d6b

• It's Utf_16_Span

  JaroslavTulach

  committed
  947a58f

  Copy full SHA for 947a58f

• Type_Error.Error when wrong type is send to ascribed constructor

  JaroslavTulach

  committed
  d472f18

  Copy full SHA for d472f18

Commits on May 23, 2023

• Everything that hasHashEntries is of type Map

  JaroslavTulach

  committed
  b5125a3

  Copy full SHA for b5125a3

• Unignore method that was crashing the old parser

  JaroslavTulach

  committed
  927b42f

  Copy full SHA for 927b42f

• Formatting

  JaroslavTulach

  committed
  26168fd

  Copy full SHA for 26168fd

• Caching ValuesGenerator speeds the test from 80s to 20s

  JaroslavTulach

  committed
  2134148

  Copy full SHA for 2134148

• Merge remote-tracking branch 'origin/develop' into wip/jtulach/AscribedTypes_6682

  JaroslavTulach

  committed
  f144268

  Copy full SHA for f144268

• Running the MetaIsATest also with JavaScript enabled

  JaroslavTulach

  committed
  e2c7ed5

  Copy full SHA for e2c7ed5

• Special isDate and isTime checks

  JaroslavTulach

  committed
  17fe010

  Copy full SHA for 17fe010

Commits on May 24, 2023

• Merge remote-tracking branch 'origin/develop' into wip/jtulach/AscribedTypes_6682

  JaroslavTulach

  committed
  2796679

  Copy full SHA for 2796679

• Everything that hasHashEntries is a Map

  JaroslavTulach

  committed
  8d345b9

  Copy full SHA for 8d345b9

Commits on May 25, 2023

• Merge remote-tracking branch 'origin/develop' into wip/jtulach/AscribedTypes_6682

  JaroslavTulach

  committed
  e72620f

  Copy full SHA for e72620f

• Renaming and typo fixing

  JaroslavTulach

  committed
  e17f619

  Copy full SHA for e17f619

• Applying scala formatting/coding suggestions

  Show description for b5c19f6
  

  3 peoplecommitted
  b5c19f6

  Copy full SHA for b5c19f6

• Less of currly braces

  Show description for 34e0a2c
  

  JaroslavTulach

  and

  hubertp

  committed
  34e0a2c

  Copy full SHA for 34e0a2c

• Support for ascribed union types

  JaroslavTulach

  committed
  fe89655

  Copy full SHA for fe89655

• Better error messages

  JaroslavTulach

  committed
  52c0357

  Copy full SHA for 52c0357

Commits on May 26, 2023

• Support for nested union and parameterized types

  JaroslavTulach

  committed
  ccf7ef0

  Copy full SHA for ccf7ef0

• Errors get in without any type checks

  JaroslavTulach

  committed
  9528617

  Copy full SHA for 9528617

• Produces Type_Error instead of Unsupported_Argument_Types now

  JaroslavTulach

  committed
  9ad5d54

  Copy full SHA for 9ad5d54

• Allowing Column to make test/Benchmarks pass the runtime argument types check

  JaroslavTulach

  committed
  eb60cad

  Copy full SHA for eb60cad

Commits on May 28, 2023

• line_endings can be Infer-ed

  JaroslavTulach

  committed
  31dff3c

  Copy full SHA for 31dff3c

Commits on May 29, 2023

• Store location of atom constructors

  JaroslavTulach

  committed
  fe0edb0

  Copy full SHA for fe0edb0

Commits on May 30, 2023

• Opt-out of type checks to make test/Visualization_Tests pass

  JaroslavTulach

  committed
  19f753f

  Copy full SHA for 19f753f

• Skip type check of lazy arguments

  JaroslavTulach

  committed
  35f86a4

  Copy full SHA for 35f86a4

• test/Table_Tests are passing now

  JaroslavTulach

  committed
  5ca27c6

  Copy full SHA for 5ca27c6

• Report union types using Enso syntax

  JaroslavTulach

  committed
  f5c365b

  Copy full SHA for f5c365b

• Make sure error messages contain name of variables

  JaroslavTulach

  committed
  89a5150

  Copy full SHA for 89a5150

• Revering back 9ad5d54 until opt-out | Any is removed from Filter_Condition

  JaroslavTulach

  committed
  d4f55bc

  Copy full SHA for d4f55bc

• Not in change log

  JaroslavTulach

  committed
  d568ab3

  Copy full SHA for d568ab3

• Merge remote-tracking branch 'origin/develop' into wip/jtulach/AscribedTypes_6682

  JaroslavTulach

  committed
  2dbcd7a

  Copy full SHA for 2dbcd7a