Luc Duponcheel

icon company retired mathematician and programmer, nowadays also cyclist and gardener icon location Programmer Mathematician Cyclist Gardener

Results 1 issues of Luc Duponcheel

RFC: new versus old code generator issue

16 comment

Since `nightly-2025-06-21` the file `CoreM.lean` changed line `670` to `defValue := true`. The new code generator does not want to generate code any more for the some of my code....

bug
P-low