Code

New compilation pipeline#1832

Code

Merged

jonaprieto merged 141 commits intomainanoma/juvix:mainfrom compilation-pipelineanoma/juvix:compilation-pipelineCopy head branch name to clipboardMar 14, 2023

+2,078-1,609

Commits

Commits on Mar 13, 2023

• enable the JuvixCore match test

  lukaszcz

  committed
  9ba4152

  Copy full SHA for 9ba4152

• default transformations in REPL

  lukaszcz

  committed
  ec64fd1

  Copy full SHA for ec64fd1

• Make 'juvix compile' use the new pipeline & fix intToNat typing bug

  lukaszcz

  committed
  26506ac

  Copy full SHA for 26506ac

• make ormolu happy

  lukaszcz

  committed
  dee162b

  Copy full SHA for dee162b

• convert Nat type to integer

  lukaszcz

  committed
  e992c39

  Copy full SHA for e992c39

• 'core' and 'asm' targets

  lukaszcz

  committed
  0e68124

  Copy full SHA for 0e68124

• make EtaExpandApps a separate transformation

  lukaszcz

  committed
  1385f2d

  Copy full SHA for 1385f2d

• remove BackendC tests

  lukaszcz

  committed
  ee19918

  Copy full SHA for ee19918

• fix inductive type registration bug in the Internal-to-Core translation

  lukaszcz

  committed
  be8f8a8

  Copy full SHA for be8f8a8

• fix function type translation in Core-to-Core.Stripped

  lukaszcz

  committed
  787d4fe

  Copy full SHA for 787d4fe

• fix mkPi' in Internal-to-Core

  lukaszcz

  committed
  93d928b

  Copy full SHA for 93d928b

• fix builtin inductives

  lukaszcz

  committed
  4caab1c

  Copy full SHA for 4caab1c

• make ormolu happy

  lukaszcz

  committed
  62b12ad

  Copy full SHA for 62b12ad

• add RemoveBuiltins transformation

  lukaszcz

  committed
  260aa50

  Copy full SHA for 260aa50

• don't print IO type in JuvixAsm pretty printer

  lukaszcz

  committed
  ed98b37

  Copy full SHA for ed98b37

• relax unreachable code rules

  lukaszcz

  committed
  13a1134

  Copy full SHA for 13a1134

• fix executable output file path

  lukaszcz

  committed
  fd33f59

  Copy full SHA for fd33f59

• move RemoveBuiltins to the Core-to-Core.Stripped translation

  lukaszcz

  committed
  ad751b0

  Copy full SHA for ad751b0

• make ormolu happy

  lukaszcz

  committed
  472079c

  Copy full SHA for 472079c

• move 'if' translation into the Core-to-Core.Stripped translation

  lukaszcz

  committed
  063c775

  Copy full SHA for 063c775

• fix Core transformation order

  lukaszcz

  committed
  7281cd2

  Copy full SHA for 7281cd2

• add binder types (wip)

  lukaszcz

  committed
  5744b15

  Copy full SHA for 5744b15

• make ormolu happy

  lukaszcz

  committed
  23f6b24

  Copy full SHA for 23f6b24

• preserve binder types in EtaExpandApps

  lukaszcz

  committed
  515d4ee

  Copy full SHA for 515d4ee

• preserve types for lambda expressions

  lukaszcz

  committed
  2b74a82

  Copy full SHA for 2b74a82

• run the whole pipeline on compilation tests

  lukaszcz

  committed
  86c4cfa

  Copy full SHA for 86c4cfa

• make ormolu happy

  lukaszcz

  committed
  7357d77

  Copy full SHA for 7357d77

• remove lets with Type values in RemoveTypeArgs

  lukaszcz

  committed
  7c7b027

  Copy full SHA for 7c7b027

• fix goFunction de Bruijn indices in Internal-to-Core

  lukaszcz

  committed
  478386a

  Copy full SHA for 478386a

• Use normalized type when translating function types to Core

  Show description for 27274ce
  

  paulcadman

  authored and

  lukaszcz

  committed
  27274ce

  Copy full SHA for 27274ce

• comments

  lukaszcz

  committed
  74c7f92

  Copy full SHA for 74c7f92

• Normalise types for let, lambda, function types, axioms

  

  paulcadman

  authored and

  lukaszcz

  committed
  b6224e5

  Copy full SHA for b6224e5

• Ormolu fixes

  

  paulcadman

  authored and

  lukaszcz

  committed
  9bb026e

  Copy full SHA for 9bb026e

• don't generate matches on non-inductive types (wip)

  lukaszcz

  committed
  25b2877

  Copy full SHA for 25b2877

• internal to core: don't generate matches on non-inductive types

  lukaszcz

  committed
  5e35630

  Copy full SHA for 5e35630

• JuvixAsm: fix validation of zero-argument functions

  lukaszcz

  committed
  fc96b14

  Copy full SHA for fc96b14

• apply EtaExpandApps to all nodes (including types in the InfoTable)

  lukaszcz

  committed
  e5dbc1b

  Copy full SHA for e5dbc1b

• make ormolu happy

  lukaszcz

  committed
  b34f484

  Copy full SHA for b34f484

• JuvixAsm: relax subtype validation

  lukaszcz

  committed
  9017db6

  Copy full SHA for 9017db6

• change the Core match test to use arithmetic modulo, avoiding big integers which don't fit into 31 bits

  lukaszcz

  committed
  c500894

  Copy full SHA for c500894

• squash apps in types

  lukaszcz

  committed
  b30aaca

  Copy full SHA for b30aaca

• fix de Bruijn indices in internal-to-core match translation

  lukaszcz

  committed
  69b6696

  Copy full SHA for 69b6696

• encode C strings as UTF8

  lukaszcz

  committed
  8fafa32

  Copy full SHA for 8fafa32

• quote reserved symbols in JuvixAsm pretty printing

  lukaszcz

  committed
  20ebf1a

  Copy full SHA for 20ebf1a

• don't filter out functions by default in 'juvix dev from-concrete'

  lukaszcz

  committed
  8e3363b

  Copy full SHA for 8e3363b

• 'juvix eval' command

  lukaszcz

  committed
  91500e0

  Copy full SHA for 91500e0

• make ormolu happy

  lukaszcz

  committed
  c5bc18d

  Copy full SHA for c5bc18d

• remove constructor parameters in RemoveTypeArgs based on the parameter info in the inductive type

  lukaszcz

  committed
  e9c7542

  Copy full SHA for e9c7542

• fix RemoveTypeArgs

  lukaszcz

  committed
  8ad6fde

  Copy full SHA for 8ad6fde

• use a hack to avoid adjusting de Bruijn indices in binder types in MatchToCase

  lukaszcz

  committed
  90d0878

  Copy full SHA for 90d0878

• add a test revealing a bug in lambda-lifting

  lukaszcz

  committed
  3adc2de

  Copy full SHA for 3adc2de

• make ormolu happy

  lukaszcz

  committed
  33c4dda

  Copy full SHA for 33c4dda

• fix tests with big integers

  lukaszcz

  committed
  9243ed8

  Copy full SHA for 9243ed8

• error when clauses have different number of patterns

  lukaszcz

  committed
  aae24d5

  Copy full SHA for aae24d5

• update juvix-stdlib

  lukaszcz

  committed
  410c493

  Copy full SHA for 410c493

• fix Internal/positive/Inductive.juvix test

  lukaszcz

  committed
  f31048b

  Copy full SHA for f31048b

• add test isolating a bug in the RemoveTypeArgs transformation

  lukaszcz

  committed
  376f234

  Copy full SHA for 376f234

• minor style changes and comments

  lukaszcz

  committed
  7eb4833

  Copy full SHA for 7eb4833

• add type information to JuvixCore Match

  lukaszcz

  committed
  6d26daf

  Copy full SHA for 6d26daf

• internal-to-core: fix wildcard types

  lukaszcz

  committed
  6e9f860

  Copy full SHA for 6e9f860

• Remove ifOrd

  lukaszcz

  committed
  4cf3f4a

  Copy full SHA for 4cf3f4a

• internal-to-core: preserve the return type of case expressions

  lukaszcz

  committed
  3afc688

  Copy full SHA for 3afc688

• parsing of type annotations in JuvixCore matches

  lukaszcz

  committed
  c2e9d31

  Copy full SHA for c2e9d31

• add test for type annotations in patterns

  lukaszcz

  committed
  2e3b9ce

  Copy full SHA for 2e3b9ce

• Jan compilation pipeline (#1864)

  Show description for bc8ec4d
  

  janmasrovira

  and

  lukaszcz

  committed
  bc8ec4d

  Copy full SHA for bc8ec4d

• type annotations in test052.jvc

  lukaszcz

  committed
  91ed619

  Copy full SHA for 91ed619

• Add k offset when computing binder offset when capturing free variables (#1866)

  Show description for 60c07ff
  

  janmasrovira

  authored and

  lukaszcz

  committed
  60c07ff

  Copy full SHA for 60c07ff

• Add transformation group synonyms in core read -t (#1868)

  Show description for 9d4b6ce
  

  janmasrovira

  authored and

  lukaszcz

  committed
  9d4b6ce

  Copy full SHA for 9d4b6ce

• Add default empty value for the transformations options -t (#1869)

  

  janmasrovira

  authored and

  lukaszcz

  committed
  981d433

  Copy full SHA for 981d433

• use constructor type information to filter type patterns in branches

  lukaszcz

  committed
  4889512

  Copy full SHA for 4889512

• Fix recursor bug

  lukaszcz

  committed
  43a3ac4

  Copy full SHA for 43a3ac4

• proper parsing of binders in match patterns

  lukaszcz

  committed
  17f8b7f

  Copy full SHA for 17f8b7f

• fix test054.jvc

  lukaszcz

  committed
  e3fcc08

  Copy full SHA for e3fcc08

• Fix tests due to change in Core pretty printer

  

  paulcadman

  authored and

  lukaszcz

  committed
  26387e0

  Copy full SHA for 26387e0

• Add type to Core PatternConstr

  Show description for b553cf1
  

  paulcadman

  authored and

  lukaszcz

  committed
  b553cf1

  Copy full SHA for b553cf1

• Shift binder type indicies in lets wrapping branch body

  Show description for bc716cf
  

  paulcadman

  authored and

  lukaszcz

  committed
  bc716cf

  Copy full SHA for bc716cf

• Document mkShiftedLets

  

  paulcadman

  authored and

  lukaszcz

  committed
  f94258c

  Copy full SHA for f94258c

• Use local instead of runReader when resetting state

  

  paulcadman

  authored and

  lukaszcz

  committed
  fc973b1

  Copy full SHA for fc973b1

• Factor shiftBinder

  

  paulcadman

  authored and

  lukaszcz

  committed
  fa4c3b2

  Copy full SHA for fa4c3b2

• Add types to binders (currently with incorrect indices)

  

  paulcadman

  authored and

  lukaszcz

  committed
  86ec137

  Copy full SHA for 86ec137

• Shift match types by 1

  Show description for 9a0945d
  

  paulcadman

  authored and

  lukaszcz

  committed
  9a0945d

  Copy full SHA for 9a0945d

• Shift the type in each let associated with a branch

  

  paulcadman

  authored and

  lukaszcz

  committed
  18d74d4

  Copy full SHA for 18d74d4

• Fix the indicies in the type arguments passed to the match constructor

  

  paulcadman

  authored and

  lukaszcz

  committed
  fdfd227

  Copy full SHA for fdfd227

• Add comment explaining the shifting of type arguments

  

  paulcadman

  authored and

  lukaszcz

  committed
  5739b6e

  Copy full SHA for 5739b6e

• Shift types in failNode construction

  

  paulcadman

  authored and

  lukaszcz

  committed
  04d1a12

  Copy full SHA for 04d1a12

• Shift wrapping binders by total number of binders

  Show description for 232e929
  

  paulcadman

  authored and

  lukaszcz

  committed
  232e929

  Copy full SHA for 232e929

• Temporarily set the types of case binders to dynamic

  

  paulcadman

  authored and

  lukaszcz

  committed
  546b299

  Copy full SHA for 546b299

• Shift pattern binders by number of binders above

  

  paulcadman

  authored and

  lukaszcz

  committed
  8a61445

  Copy full SHA for 8a61445

• Shift compiled pattern binder types

  

  paulcadman

  authored and

  lukaszcz

  committed
  71fcda8

  Copy full SHA for 71fcda8

• Use base index 0 when shifting binder types in fail node

  Show description for bff532b
  

  paulcadman

  authored and

  lukaszcz

  committed
  bff532b

  Copy full SHA for bff532b

• proper parsing of binders in match patterns

  lukaszcz

  committed
  08b07ae

  Copy full SHA for 08b07ae

• fix test054.jvc

  lukaszcz

  committed
  eabefda

  Copy full SHA for eabefda

• Apply hlint suggestion

  

  paulcadman

  authored and

  lukaszcz

  committed
  a27de80

  Copy full SHA for a27de80

• Shift pattern binders by the number of constructor arguments

  

  paulcadman

  authored and

  lukaszcz

  committed
  07d8226

  Copy full SHA for 07d8226

• add test055.jvc

  lukaszcz

  committed
  278eab3

  Copy full SHA for 278eab3

• fix EtaExpandApps

  lukaszcz

  committed
  f5a498d

  Copy full SHA for f5a498d

• parse & print type annotations in letrec

  lukaszcz

  committed
  0a4dbb4

  Copy full SHA for 0a4dbb4

• print the main node in 'dev core strip'

  lukaszcz

  committed
  635f654

  Copy full SHA for 635f654

• Add test for letrec with type annotations

  lukaszcz

  committed
  afc2a51

  Copy full SHA for afc2a51

• fix indices in letrec

  lukaszcz

  committed
  5a65e19

  Copy full SHA for 5a65e19

• complicate test056.jvc

  lukaszcz

  committed
  7384acd

  Copy full SHA for 7384acd

• fix type synonyms in Core

  lukaszcz

  committed
  e56b985

  Copy full SHA for e56b985

• test057.jvc

  lukaszcz

  committed
  77efcc2

  Copy full SHA for 77efcc2

• Increment the varsNum when translating the arguments of a constructor

  Show description for 5b1f39f
  

  paulcadman

  authored and

  lukaszcz

  committed
  5b1f39f

  Copy full SHA for 5b1f39f

• Print ASM code generation error in test failure

  

  paulcadman

  authored and

  lukaszcz

  committed
  d6fab97

  Copy full SHA for d6fab97

• Fix comment

  

  paulcadman

  authored and

  lukaszcz

  committed
  478f259

  Copy full SHA for 478f259

• Correctly shift the case branch types

  

  paulcadman

  authored and

  lukaszcz

  committed
  691b244

  Copy full SHA for 691b244

• Use "?" for placeholder binder name in case binders

  

  paulcadman

  authored and

  lukaszcz

  committed
  a48f6e6

  Copy full SHA for a48f6e6

• add type to PatternConstructorApp

  

  janmasrovira

  authored and

  lukaszcz

  committed
  f4e4107

  Copy full SHA for f4e4107

• Add types for nested patterns

  

  paulcadman

  authored and

  lukaszcz

  committed
  1010e23

  Copy full SHA for 1010e23

• Use type from constructor pattern

  

  paulcadman

  authored and

  lukaszcz

  committed
  4fd6211

  Copy full SHA for 4fd6211

• Get pattern type from constructors instead of info

  

  paulcadman

  authored and

  lukaszcz

  committed
  14869f7

  Copy full SHA for 14869f7

• relax JuvixAsm validation

  lukaszcz

  committed
  ae3d77b

  Copy full SHA for ae3d77b

• fix tests/Asm/negative/vtest010.jva

  lukaszcz

  committed
  5b00d36

  Copy full SHA for 5b00d36

• force printing of JuvixAsm in tests

  lukaszcz

  committed
  f0c2a57

  Copy full SHA for f0c2a57

• Parse constructor pattern types in Core parser

  

  paulcadman

  authored and

  lukaszcz

  committed
  af18b19

  Copy full SHA for af18b19

• Recurse into pattern constructor types

  

  paulcadman

  authored and

  lukaszcz

  committed
  997d616

  Copy full SHA for 997d616

• Type constructors can appear in type annotations of patterns

  

  paulcadman

  authored and

  lukaszcz

  committed
  beb90be

  Copy full SHA for beb90be

• Use shifted lambdas when making branch lambdas

  

  paulcadman

  authored and

  lukaszcz

  committed
  3db2a24

  Copy full SHA for 3db2a24

• Rename makeshifted lets

  

  paulcadman

  authored and

  lukaszcz

  committed
  8cf605b

  Copy full SHA for 8cf605b

• Revert "Type constructors can appear in type annotations of patterns"

  Show description for 0b36177
  

  paulcadman

  authored and

  lukaszcz

  committed
  0b36177

  Copy full SHA for 0b36177

• Fix pattern type indices in lambdas wrapping a branch

  

  paulcadman

  authored and

  lukaszcz

  committed
  1bb7306

  Copy full SHA for 1bb7306

• Shift pattern binder type by auxiliary binders added so far

  

  paulcadman

  authored and

  lukaszcz

  committed
  4076020

  Copy full SHA for 4076020

• Remove incorrect comment

  

  paulcadman

  authored and

  lukaszcz

  committed
  de5c5c2

  Copy full SHA for de5c5c2

• Use other binders in letrect when processing binder list

  

  paulcadman

  authored and

  lukaszcz

  committed
  f114c58

  Copy full SHA for f114c58

• Use the full binder list when lifting defs

  

  paulcadman

  authored and

  lukaszcz

  committed
  c683036

  Copy full SHA for c683036

• values in a letrec are not in scope of the values binders

  

  janmasrovira

  authored and

  lukaszcz

  committed
  4f31466

  Copy full SHA for 4f31466

• Revert change to liftedDefs

  

  paulcadman

  authored and

  lukaszcz

  committed
  ee09cee

  Copy full SHA for ee09cee

• Fix formatting

  

  paulcadman

  authored and

  lukaszcz

  committed
  f005c4a

  Copy full SHA for f005c4a

• don't filter out IO type in Core-to-Core.Stripped

  lukaszcz

  committed
  1c107ca

  Copy full SHA for 1c107ca

• remove commented code

  lukaszcz

  committed
  f167fba

  Copy full SHA for f167fba

• Use FunctionsTable with State effect

  Show description for b87a70e
  paulcadman

  committed
  b87a70e

  Copy full SHA for b87a70e

• remove minic smoke test

  lukaszcz

  committed
  368de12

  Copy full SHA for 368de12

• fix REPL evaluation

  lukaszcz

  committed
  9b38787

  Copy full SHA for 9b38787

Commits on Mar 14, 2023

• fix path name autocompletion

  lukaszcz

  committed
  c765223

  Copy full SHA for c765223

• change smoke link

  lukaszcz

  committed
  0dde22f

  Copy full SHA for 0dde22f

• remove unused field

  janmasrovira

  committed
  fc9ca5f

  Copy full SHA for fc9ca5f

• changes for review

  lukaszcz

  committed
  3be6d02

  Copy full SHA for 3be6d02

• Fail -> False

  lukaszcz

  committed
  576ab23

  Copy full SHA for 576ab23

• fix compilation

  lukaszcz

  committed
  b946b27

  Copy full SHA for b946b27

• refactor type annotation parsing in Core.fromSource

  lukaszcz

  committed
  586a13f

  Copy full SHA for 586a13f