fix Petrifsky let #341

CHANGELOG.md

@@ -69,6 +69,7 @@
 * fix escape ellipsis in syntax-rules [#334](https://github.com/jcubic/lips/issues/334)
 * fix parsing inexact complex without real part and `inexact->exact` procedure [#340](https://github.com/jcubic/lips/issues/340)
 * fix `equal?` on cycles [#302](https://github.com/jcubic/lips/issues/302)
+* fix Petrifsky let [#341](https://github.com/jcubic/lips/issues/341)
 
 ## 1.0.0-beta.18
 ### Breaking

README.md

@@ -7,7 +7,7 @@
 [![npm](https://img.shields.io/badge/npm-1.0.0%E2%80%93beta.18.1-blue.svg)](https://www.npmjs.com/package/@jcubic/lips)
 ![1.0.0 Complete](https://img.shields.io/github/milestones/progress-percent/jcubic/lips/1?label=1.0.0%20Complete)
 [![Build and test](https://github.com/jcubic/lips/actions/workflows/build.yaml/badge.svg?branch=devel&event=push)](https://github.com/jcubic/lips/actions/workflows/build.yaml)
-[![Coverage Status](https://coveralls.io/repos/github/jcubic/lips/badge.svg?branch=devel&8be72fb7b00619ee49e363fd919a2c7b)](https://coveralls.io/github/jcubic/lips?branch=devel)
+[![Coverage Status](https://coveralls.io/repos/github/jcubic/lips/badge.svg?branch=devel&9804e2dd94f41ac5863abe4d474d3cc2)](https://coveralls.io/github/jcubic/lips?branch=devel)
 [![Join Gitter Chat](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/jcubic/lips)
 ![NPM Download Count](https://img.shields.io/npm/dm/@jcubic/lips)
 ![JSDelivr Download count](https://img.shields.io/jsdelivr/npm/hm/@jcubic/lips)

src/lips.js

@@ -4826,12 +4826,15 @@ function let_macro(symbol) {
                 params = code.cdr.car.map(pair => pair.car);
                 args = code.cdr.car.map(pair => pair.cdr.car);
             }
+            const args_name = gensym('args');
             return Pair.fromArray([
-                LSymbol('letrec'),
-                [[code.car, Pair(
-                    LSymbol('lambda'),
-                    Pair(params, code.cdr.cdr))]],
-                Pair(code.car, args)
+                LSymbol('let'),
+                [[args_name, Pair(LSymbol('list'), args)]],
+                [LSymbol('letrec'),
+                 [[code.car, Pair(
+                     LSymbol('lambda'),
+                     Pair(params, code.cdr.cdr))]],
+                 [LSymbol('apply'), code.car, args_name]]
             ]);
         } else if (macro_expand) {
             // Macro.defmacro are special macros that should return lips code

tests/std.scm

@@ -243,7 +243,7 @@
         (t.is (atanh -2)
               -0.5493061443340548+1.5707963267948966i)))
 
-(test.failing "std: Petrofsky let"
+(test "std: Petrofsky let"
       (lambda (t)
         (t.is (let - ((n (- 1))) n) -1)))