Code

Basic Geb integration#1748

Code

Merged

jonaprieto merged 20 commits intomainanoma/juvix:mainfrom geb-integrationanoma/juvix:geb-integrationCopy head branch name to clipboardFeb 1, 2023

+1,129-39

Commits

Commits on Feb 1, 2023

• Geb data structures and S-expression output

  lukaszcz

  committed
  61df63d

  Copy full SHA for 61df63d

• make ormolu happy

  lukaszcz

  committed
  a56f6d2

  Copy full SHA for a56f6d2

• Adjustments after conversation with Terence

  lukaszcz

  committed
  01a1530

  Copy full SHA for 01a1530

• stubs

  lukaszcz

  committed
  059a383

  Copy full SHA for 059a383

• make ormolu happy

  lukaszcz

  committed
  19c74a3

  Copy full SHA for 19c74a3

• transformations

  lukaszcz

  committed
  7cd34da

  Copy full SHA for 7cd34da

• basic translation to GEB

  lukaszcz

  committed
  1b2445e

  Copy full SHA for 1b2445e

• translate identifiers

  lukaszcz

  committed
  e935705

  Copy full SHA for e935705

• compute simple types in Core

  lukaszcz

  committed
  ebf5b43

  Copy full SHA for ebf5b43

• CLI & bugfixes

  lukaszcz

  committed
  1c857cd

  Copy full SHA for 1c857cd

• remove debug trace

  lukaszcz

  committed
  9fd2f25

  Copy full SHA for 9fd2f25

• make ormolu happy

  lukaszcz

  committed
  059831c

  Copy full SHA for 059831c

• tests & bugfixes

  lukaszcz

  committed
  8f38847

  Copy full SHA for 8f38847

• make ormolu happy

  lukaszcz

  committed
  bb45b25

  Copy full SHA for bb45b25

• Adjust comment

  lukaszcz

  committed
  7c5f2b2

  Copy full SHA for 7c5f2b2

• update cntlines.sh

  lukaszcz

  committed
  a657695

  Copy full SHA for a657695

• address review comments

  lukaszcz

  committed
  8008d5a

  Copy full SHA for 8008d5a

• make ormolu happy

  lukaszcz

  committed
  cc595b6

  Copy full SHA for cc595b6

• address review comments

  lukaszcz

  committed
  1a549f6

  Copy full SHA for 1a549f6

• fix ComputeTypeInfo

  lukaszcz

  committed
  56bcde2

  Copy full SHA for 56bcde2