Code

Nix/nickel#1067

Code

Draft

francois-caddet wants to merge 73 commits intomastertweag/nickel:masterfrom nix/nickeltweag/nickel:nix/nickelCopy head branch name to clipboard

+879-6

Commits

Commits on Mar 8, 2023

• first draft of nix parser to nickel AST

  Show description for 8e38c4e
  

  francois-caddet

  authored and

  yannham

  committed
  8e38c4e

  Copy full SHA for 8e38c4e

• print output to pretty nickel

  

  francois-caddet

  authored and

  yannham

  committed
  5bb0474

  Copy full SHA for 5bb0474

• parse lists to arrays

  

  francois-caddet

  authored and

  yannham

  committed
  64bc9e8

  Copy full SHA for 64bc9e8

• add some BinOp translation.

  

  francois-caddet

  authored and

  yannham

  committed
  d6ede77

  Copy full SHA for d6ede77

• add string translate

  

  francois-caddet

  authored and

  yannham

  committed
  028fc24

  Copy full SHA for 028fc24

• use more typed rnix API

  

  francois-caddet

  authored and

  yannham

  committed
  04b32ec

  Copy full SHA for 04b32ec

• add string interpolation translation

  

  francois-caddet

  authored and

  yannham

  committed
  d2a5a7c

  Copy full SHA for d2a5a7c

• add simple function definition and application translation (no patterns)

  

  francois-caddet

  authored and

  yannham

  committed
  986114d

  Copy full SHA for 986114d

• add != operator

  

  francois-caddet

  authored and

  yannham

  committed
  bfd6e13

  Copy full SHA for bfd6e13

• add if then else translation

  

  francois-caddet

  authored and

  yannham

  committed
  b49f9c5

  Copy full SHA for b49f9c5

• translate both nix unary ops

  

  francois-caddet

  authored and

  yannham

  committed
  7ea4313

  Copy full SHA for 7ea4313

• Fix let bindings. Now they are mutualy recursives.

  Show description for 948d205
  

  francois-caddet

  authored and

  yannham

  committed
  948d205

  Copy full SHA for 948d205

• first draft of records translation.

  

  francois-caddet

  authored and

  yannham

  committed
  f40f987

  Copy full SHA for f40f987

• translate function with patterns. does not manage defaults values for

  Show description for 6beca6c
  

  francois-caddet

  authored and

  yannham

  committed
  6beca6c

  Copy full SHA for 6beca6c

• pass node by value to translate to avoid useless clones.

  

  francois-caddet

  authored and

  yannham

  committed
  7a9ccdb

  Copy full SHA for 7a9ccdb

• add implication operator translation

  

  francois-caddet

  authored and

  yannham

  committed
  7408cc3

  Copy full SHA for 7408cc3

• Use better typed rnix API.

  

  francois-caddet

  authored and

  yannham

  committed
  e54603a

  Copy full SHA for e54603a

• Parse Dynamics in translate function.

  Show description for 7466c0a
  

  francois-caddet

  authored and

  yannham

  committed
  7466c0a

  Copy full SHA for 7466c0a

• add record access translation

  

  francois-caddet

  authored and

  yannham

  committed
  a32df79

  Copy full SHA for a32df79

• add suport of default value for patterns.

  

  francois-caddet

  authored and

  yannham

  committed
  3b4ff2f

  Copy full SHA for 3b4ff2f

• translate true, false and null into the proper value/type

  

  francois-caddet

  authored and

  yannham

  committed
  f7beb97

  Copy full SHA for f7beb97

• Update src/nix.rs

  Show description for f3788b0
  

  francois-caddet

  and

  yannham

  committed
  f3788b0

  Copy full SHA for f3788b0

• Add a trait ToNickel

  Show description for 2a86aca
  

  francois-caddet

  authored and

  yannham

  committed
  2a86aca

  Copy full SHA for 2a86aca

• code cleaning

  

  francois-caddet

  authored and

  yannham

  committed
  a5d9473

  Copy full SHA for a5d9473

• panic when redefining builtin value

  

  francois-caddet

  authored and

  yannham

  committed
  e2c1b6a

  Copy full SHA for e2c1b6a

• Comments updates and panic when using unsuported legacy let.

  

  francois-caddet

  authored and

  yannham

  committed
  6fac91c

  Copy full SHA for 6fac91c

• Translate Path value to its string repr

  

  francois-caddet

  authored and

  yannham

  committed
  39fd5f7

  Copy full SHA for 39fd5f7

• clean code for IfElse match arm

  

  francois-caddet

  authored and

  yannham

  committed
  6717c76

  Copy full SHA for 6717c76

• Apply suggestions from code review

  Show description for a950b7a
  

  francois-caddet

  and

  yannham

  committed
  a950b7a

  Copy full SHA for a950b7a

• update ToNickel trait to take a set of defined vars (env)

  

  francois-caddet

  authored and

  yannham

  committed
  bec4ff4

  Copy full SHA for bec4ff4

• pass State around convertion.

  

  francois-caddet

  authored and

  yannham

  committed
  465111a

  Copy full SHA for 465111a

• Apply suggestions from code review

  Show description for 9461cc9
  

  francois-caddet

  and

  yannham

  committed
  9461cc9

  Copy full SHA for 9461cc9

• fix "convertion" -> "conversion" typo

  

  francois-caddet

  authored and

  yannham

  committed
  e88f90f

  Copy full SHA for e88f90f

• Nix with parsed and transpiled with let shadowing:

  

  francois-caddet

  authored and

  yannham

  committed
  e064169

  Copy full SHA for e064169

• Update src/nix.rs

  Show description for ad5f72f
  

  francois-caddet

  and

  yannham

  committed
  ad5f72f

  Copy full SHA for ad5f72f

• Update src/nix.rs

  Show description for 10c6402
  

  francois-caddet

  and

  yannham

  committed
  10c6402

  Copy full SHA for 10c6402

• add rust modul helper for nix compatibility functions in

  Show description for 40260eb
  

  francois-caddet

  authored and

  yannham

  committed
  40260eb

  Copy full SHA for 40260eb

• Update stdlib/compat.ncl

  Show description for e3c2f03
  

  francois-caddet

  and

  yannham

  committed
  e3c2f03

  Copy full SHA for e3c2f03

• last optimizations as proposed by @yannham

  

  francois-caddet

  authored and

  yannham

  committed
  860bda6

  Copy full SHA for 860bda6

• add suport for ? operator of Nix

  Show description for 87c71e3
  

  francois-caddet

  authored and

  yannham

  committed
  87c71e3

  Copy full SHA for 87c71e3

• add simple test suite for nix compatibility

  

  francois-caddet

  authored and

  yannham

  committed
  4f9fcbd

  Copy full SHA for 4f9fcbd

• add some tests and discovered issues

  

  francois-caddet

  authored and

  yannham

  committed
  e0c88d0

  Copy full SHA for e0c88d0

• move Nix's tests to there own tests

  

  francois-caddet

  authored and

  yannham

  committed
  6a6dd03

  Copy full SHA for 6a6dd03

• fix string concat for Nix

  

  francois-caddet

  authored and

  yannham

  committed
  245c90b

  Copy full SHA for 245c90b

• Update stdlib/compat.ncl

  Show description for 0d197d8
  

  francois-caddet

  and

  yannham

  committed
  0d197d8

  Copy full SHA for 0d197d8

• Update stdlib/compat.ncl

  Show description for 0ab0760
  

  francois-caddet

  and

  yannham

  committed
  0ab0760

  Copy full SHA for 0ab0760

• update comment on compat.ncl add function as proposed by @yannham

  

  francois-caddet

  authored and

  yannham

  committed
  3736f10

  Copy full SHA for 3736f10

• ireenable simple string concat testing

  

  francois-caddet

  authored and

  yannham

  committed
  c1e99dc

  Copy full SHA for c1e99dc

• fix a few warnings and remove a poluting line which came from the last

  Show description for 921007d
  

  francois-caddet

  authored and

  yannham

  committed
  921007d

  Copy full SHA for 921007d

• fix checkPhase on nix tests.

  Show description for b441062
  

  francois-caddet

  authored and

  yannham

  committed
  b441062

  Copy full SHA for b441062

• fix a test to pass also with official Nix interpreter.

  Show description for adec631
  

  francois-caddet

  authored and

  yannham

  committed
  adec631

  Copy full SHA for adec631

• Update rnix to 0.11.

  Show description for acb6d13
  

  francois-caddet

  authored and

  yannham

  committed
  acb6d13

  Copy full SHA for acb6d13

• Update src/nix.rs

  Show description for d3cf2bf
  

  francois-caddet

  and

  yannham

  committed
  d3cf2bf

  Copy full SHA for d3cf2bf

• Update src/nix.rs

  Show description for 5823f86
  

  francois-caddet

  and

  yannham

  committed
  5823f86

  Copy full SHA for 5823f86

• clippy pass

  

  francois-caddet

  authored and

  yannham

  committed
  3dd0695

  Copy full SHA for 3dd0695

• Add a trait ToNickel

  Show description for 3a555ae
  

  francois-caddet

  authored and

  yannham

  committed
  3a555ae

  Copy full SHA for 3a555ae

• pass State around convertion.

  

  francois-caddet

  authored and

  yannham

  committed
  a338e9d

  Copy full SHA for a338e9d

• add has_field operator compatibility

  Show description for af9e0ea
  

  francois-caddet

  authored and

  yannham

  committed
  af9e0ea

  Copy full SHA for af9e0ea

• add tests on records syntax

  

  francois-caddet

  authored and

  yannham

  committed
  8c05372

  Copy full SHA for 8c05372

• fix evaluation of fieldpaths.

  Show description for f46365b
  

  francois-caddet

  authored and

  yannham

  committed
  f46365b

  Copy full SHA for f46365b

• Nix evaluator is now an optional compilation feature

  

  francois-caddet

  authored and

  yannham

  committed
  dda02d8

  Copy full SHA for dda02d8

• clippy fixes

  

  francois-caddet

  authored and

  yannham

  committed
  164f24f

  Copy full SHA for 164f24f

• first test for with keyword

  

  francois-caddet

  authored and

  yannham

  committed
  fe664c6

  Copy full SHA for fe664c6

• more tests for Nix with

  Show description for ab8a8d1
  

  francois-caddet

  authored and

  yannham

  committed
  ab8a8d1

  Copy full SHA for ab8a8d1

• tests for Nix with inside a function body.

  

  francois-caddet

  authored and

  yannham

  committed
  26346bc

  Copy full SHA for 26346bc

• Small code improvments, comments and documentation for nix/nickel

  

  francois-caddet

  authored and

  yannham

  committed
  eb88acf

  Copy full SHA for eb88acf

• add some tests for let blocks of Nix

  

  francois-caddet

  authored and

  yannham

  committed
  58c24df

  Copy full SHA for 58c24df

• add the or <default> form for a field access in Nix

  

  francois-caddet

  authored and

  yannham

  committed
  eb4a959

  Copy full SHA for eb4a959

• Implementation of the update operator for nix/nickel

  

  francois-caddet

  authored and

  yannham

  committed
  cf22ab7

  Copy full SHA for cf22ab7

• function renaming in stdlib/compat Nickel lib

  

  francois-caddet

  authored and

  yannham

  committed
  6902241

  Copy full SHA for 6902241

• Fix clippy warnings, formatting

  yannham

  committed
  ddeff4c

  Copy full SHA for ddeff4c

Commits on Mar 9, 2023

• Fix compilation and clippy warnings; tests still fail

  yannham

  committed
  cad83f0

  Copy full SHA for cad83f0

• Update compat.ncl, fix tests after rebase

  yannham

  committed
  8a8ef4a

  Copy full SHA for 8a8ef4a