Skip to content

Allow #ParsedHashDirectives to have argument types other than strings #17240

Description

@KevinRansom

ParsedHashDirectives can currently only have string arguments.

This means that the syntax for HashDirectives is constrained to having quoted string arguments.

This makes some of the Hash directive syntax a little clunky.

#time "on"
(* Do lots of stuff here *)
#time "off"

probably would be nicer and perhaps easier to get right first time like this

#time on
(* Do lots of stuff here *)
#time off

Similarly no warn requires numeric error numbers to be integers:

#nowarn "1234" "1235" "99"

Is probably better expressed as:

#nowarn 1234 1235 99

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Type

No type

Projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions