search

PLTools / Lama

Teaching language LaMa for a compiler course
GNU General Public License v3.0
70 stars 37 forks source link

Printf cuts s-expressions sometime #18

Closed evjava closed 3 years ago

evjava commented 3 years ago

Code: printf("test: %s", GLOBAL ("x").string)

expected: test: GLOBAL ("x") actual: test: GLOBA ("x")

The same for failure and sprintf.

Environment description OS: Ubuntu 18.04.5 opam version: 2.0.7 Lama version: {commit: 66dc5c30, date: 24.11.20}

dboulytchev commented 3 years ago

Not a bug; an implementation restriction --- only the first 5 symbols of constructors are taken into account.