Code

JuvixCore#1421

Code

Merged

jonaprieto merged 85 commits intomainanoma/juvix:mainfrom juvix-coreanoma/juvix:juvix-coreCopy head branch name to clipboardAug 30, 2022

+4,930-81

Commits

Commits on Aug 22, 2022

• JuvixCore started

  lukaszcz

  committed
  740347a

  Copy full SHA for 740347a

• new recursors

  lukaszcz

  committed
  eb9f8b8

  Copy full SHA for eb9f8b8

• recursors

  lukaszcz

  committed
  853ab2a

  Copy full SHA for 853ab2a

• BuiltinOp

  lukaszcz

  committed
  7d69674

  Copy full SHA for 7d69674

• context draft

  lukaszcz

  committed
  7360910

  Copy full SHA for 7360910

• recursors & context

  lukaszcz

  committed
  21baec6

  Copy full SHA for 21baec6

• evaluator draft

  lukaszcz

  committed
  9460d21

  Copy full SHA for 9460d21

• info draft

  lukaszcz

  committed
  9054530

  Copy full SHA for 9054530

• info based on Dynamic and TypeRep

  lukaszcz

  committed
  ee90563

  Copy full SHA for ee90563

• recursors redone

  lukaszcz

  committed
  64a7366

  Copy full SHA for 64a7366

• info types

  lukaszcz

  committed
  7003544

  Copy full SHA for 7003544

• comments

  lukaszcz

  committed
  8762780

  Copy full SHA for 8762780

• lazy if & default case branch

  lukaszcz

  committed
  06d7959

  Copy full SHA for 06d7959

• fix computeFreeVarsInfo & computeIdentInfo

  lukaszcz

  committed
  4ae7ef8

  Copy full SHA for 4ae7ef8

• comments

  lukaszcz

  committed
  24140d3

  Copy full SHA for 24140d3

• comments

  lukaszcz

  committed
  9d824c2

  Copy full SHA for 9d824c2

• refactor

  lukaszcz

  committed
  3297ee6

  Copy full SHA for 3297ee6

• refactor

  lukaszcz

  committed
  427b4a5

  Copy full SHA for 427b4a5

• fix ormolu & build errors

  lukaszcz

  committed
  0667b0c

  Copy full SHA for 0667b0c

• refactor

  lukaszcz

  committed
  c8ee435

  Copy full SHA for c8ee435

• evaluator

  lukaszcz

  committed
  d7221a4

  Copy full SHA for d7221a4

• bang patterns

  lukaszcz

  committed
  2297617

  Copy full SHA for 2297617

• make ormolu happy

  lukaszcz

  committed
  df78c57

  Copy full SHA for df78c57

• evaluator: more readable but slightly slower handling of application

  lukaszcz

  committed
  130df4b

  Copy full SHA for 130df4b

• refactor

  lukaszcz

  committed
  e929bef

  Copy full SHA for e929bef

• refactor

  lukaszcz

  committed
  f701084

  Copy full SHA for f701084

• refactor

  lukaszcz

  committed
  b644b21

  Copy full SHA for b644b21

• make ormolu happy

  lukaszcz

  committed
  17d794e

  Copy full SHA for 17d794e

• refactor

  lukaszcz

  committed
  45ba1ce

  Copy full SHA for 45ba1ce

• BinderList

  lukaszcz

  committed
  ac16483

  Copy full SHA for ac16483

• ArgsNumInfo

  lukaszcz

  committed
  54c3c01

  Copy full SHA for 54c3c01

• refactor InfoTable

  lukaszcz

  committed
  0dfc858

  Copy full SHA for 0dfc858

• remove stupid comment

  lukaszcz

  committed
  1326544

  Copy full SHA for 1326544

• refactor for PR #1420

  lukaszcz

  committed
  d0f3b39

  Copy full SHA for d0f3b39

• remove builtin boolean operations (can be implemeted with 'if')

  lukaszcz

  committed
  f3e7345

  Copy full SHA for f3e7345

• pretty printing

  lukaszcz

  committed
  89d71cf

  Copy full SHA for 89d71cf

• parser for Node

  lukaszcz

  committed
  f4354ca

  Copy full SHA for f4354ca

• minor changes

  lukaszcz

  committed
  7c5fc67

  Copy full SHA for 7c5fc67

• minor refactor

  lukaszcz

  committed
  0163e1f

  Copy full SHA for 0163e1f

• minor refactor

  lukaszcz

  committed
  97f3be2

  Copy full SHA for 97f3be2

• JuvixCore evaluator CLI

  lukaszcz

  committed
  1ae9664

  Copy full SHA for 1ae9664

• transformations

  lukaszcz

  committed
  f5c1c2e

  Copy full SHA for f5c1c2e

• refactor for PR #1443

  lukaszcz

  committed
  0afabbb

  Copy full SHA for 0afabbb

• JuvixCore parsing bugfixes

  lukaszcz

  committed
  5098e6e

  Copy full SHA for 5098e6e

• JuvixCore pretty printing minor changes

  lukaszcz

  committed
  0cb52d7

  Copy full SHA for 0cb52d7

• String constants

  lukaszcz

  committed
  4d2603a

  Copy full SHA for 4d2603a

• builtin nil & cons

  lukaszcz

  committed
  68133a5

  Copy full SHA for 68133a5

• JuvixCore parsing improvements

  lukaszcz

  committed
  e7e63eb

  Copy full SHA for e7e63eb

• IO monad builtins

  lukaszcz

  committed
  ee68874

  Copy full SHA for ee68874

• comment

  lukaszcz

  committed
  4c23f2b

  Copy full SHA for 4c23f2b

• small changes

  lukaszcz

  committed
  e4839e4

  Copy full SHA for e4839e4

• IO sequence

  lukaszcz

  committed
  b2404dd

  Copy full SHA for b2404dd

• evalIO bugfix

  lukaszcz

  committed
  383acfa

  Copy full SHA for 383acfa

• polymorphic type variables

  lukaszcz

  committed
  e180a23

  Copy full SHA for e180a23

• case bugfixes

  lukaszcz

  committed
  95e9922

  Copy full SHA for 95e9922

• some tests

  lukaszcz

  committed
  0d8d091

  Copy full SHA for 0d8d091

• several tests

  lukaszcz

  committed
  493db70

  Copy full SHA for 493db70

• modulo

  lukaszcz

  committed
  c5f09da

  Copy full SHA for c5f09da

• make bind left-associative

  lukaszcz

  committed
  84415b6

  Copy full SHA for 84415b6

• more tests

  lukaszcz

  committed
  c15974a

  Copy full SHA for c15974a

• pretty printing improvements

  lukaszcz

  committed
  a0099a4

  Copy full SHA for a0099a4

• structural equality

  lukaszcz

  committed
  f912995

  Copy full SHA for f912995

• remove Axiom & Suspended (axioms can be represented by special data constructors)

  lukaszcz

  committed
  7355e15

  Copy full SHA for 7355e15

• :l and :r REPL commands

  lukaszcz

  committed
  e8e0926

  Copy full SHA for e8e0926

• :l bugfix

  lukaszcz

  committed
  c06cfb3

  Copy full SHA for c06cfb3

• --show-de-bruijn option for REPL

  lukaszcz

  committed
  3411903

  Copy full SHA for 3411903

• tests

  lukaszcz

  committed
  ae09332

  Copy full SHA for ae09332

• minor changes

  lukaszcz

  committed
  26e453f

  Copy full SHA for 26e453f

• Closure printing bugfix

  lukaszcz

  committed
  b74eb6a

  Copy full SHA for b74eb6a

• remove Data

  lukaszcz

  committed
  74a1c4f

  Copy full SHA for 74a1c4f

• Pi node

  lukaszcz

  committed
  ef50470

  Copy full SHA for ef50470

• minor

  lukaszcz

  committed
  259815b

  Copy full SHA for 259815b

• eta-expansion bugfix

  lukaszcz

  committed
  3272d03

  Copy full SHA for 3272d03

• Positive evaluator tests

  lukaszcz

  committed
  b146d0e

  Copy full SHA for b146d0e

• negative tests

  lukaszcz

  committed
  be8884b

  Copy full SHA for be8884b

• test036 reference

  lukaszcz

  committed
  9c60989

  Copy full SHA for 9c60989

• debugging builtins

  lukaszcz

  committed
  7e10c7c

  Copy full SHA for 7e10c7c

• make ormolu happy

  lukaszcz

  committed
  e78be96

  Copy full SHA for e78be96

Commits on Aug 26, 2022

• refactor Info

  lukaszcz

  committed
  25bc4ba

  Copy full SHA for 25bc4ba

Commits on Aug 29, 2022

• Info.lookup'

  lukaszcz

  committed
  fa06665

  Copy full SHA for fa06665

• remove 'nil' and 'cons' builtin constructors

  lukaszcz

  committed
  2133c22

  Copy full SHA for 2133c22

• remove if, use builtin constructors for true, false

  lukaszcz

  committed
  10ee3cf

  Copy full SHA for 10ee3cf

• refactor: use underscore in field names

  lukaszcz

  committed
  f7e8d1f

  Copy full SHA for f7e8d1f

• remove stupid comment

  lukaszcz

  committed
  0fd5d1f

  Copy full SHA for 0fd5d1f

• change foldl to foldl'

  lukaszcz

  committed
  d0a3c96

  Copy full SHA for d0a3c96