differential-datalog icon indicating copy to clipboard operation
differential-datalog copied to clipboard

DDlog generates funky code when given paths

Open Kixiron opened this issue 3 years ago • 0 comments

If ddlog is run with an -i argument that's a relative path (e.g. ddlog -i .\simple.dl) it generates invalid code (mainly in the Cargo.toml but probably elsewhere)

Sample invalid code in Cargo.toml:

[package]
name = ".\simple.dl"

[lib]
name = ".\simple.dl"

I don't know if this is to do with Haskell's path handling or something else, but it makes code break

Kixiron avatar Jun 17 '21 19:06 Kixiron