search

bgamari / language-openscad

Simple Haskell parser for OpenSCAD
Other
7 stars 2 forks source link

Object roundtrip failure #18

Open BrechtSerckx opened 1 year ago

BrechtSerckx commented 1 year ago

See https://github.com/bgamari/language-openscad/actions/runs/4492769909/jobs/7903088403

       *** Failed! Falsified (after 84 tests and 92 shrinks):
      Module (Ident "\43514") [Argument (EVec [ENegate (EVar (Ident "$"))])] Nothing
      Use --quickcheck-replay=805697 to reproduce.
      Use -p '/roundtrip tests.object/' to rerun this test only.
BrechtSerckx commented 1 year ago

The issue seems to lie with Ident "\43514" ~which isn't a valid identifier: first character should be $, _ or a letter~. ~Not sure yet how this is generated, afaics both generate and shrink should ensure this.~

EDIT: not true, it is a unicode letter