type checking and pretty printing is broken in this version

1 job for hashcons in 1 minute and 15 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
failed #4403
build

00:01:15

 
Name Stage Failure
failed
build Test

Failed to fail:
Failed successfully:
test/fail/enc.api

Some tests failed:
test/ok/fresh.api
test/ok/nsl.api
ERROR: Job failed: exit status 1