Commit Graph

3 Commits

Author SHA1 Message Date
rhiannon morris d6985cad55 tweak the pretty printer stuff slightly 2023-11-03 18:05:54 +01:00
rhiannon morris d4cfbd4045 add @[fail] modifier to declarations
- `@[fail] def foo = ...` succeeds if `foo` has some error.
- `@[fail "scope"] def foo = ...` succeeds if `foo` has some error
  containing the word "scope" somewhere
- `@[fail] namespace foo { }` works too and the error must be anywhere
  in the namespace
2023-09-22 14:03:22 +02:00
rhiannon morris 7b93a913c7 rewrite pretty printer 2023-05-15 17:13:14 +02:00