Skip to content

Add more reserved words#28

Merged
bogdandm merged 1 commit intomasterfrom
more-reserved-keywords
May 3, 2020
Merged

Add more reserved words#28
bogdandm merged 1 commit intomasterfrom
more-reserved-keywords

Conversation

@bogdandm
Copy link
Copy Markdown
Owner

@bogdandm bogdandm commented May 3, 2020

Add to reserved words:

  • all builtins
  • date, time, datetime

@bogdandm bogdandm force-pushed the more-reserved-keywords branch from 6c1f3fc to d125bd3 Compare May 3, 2020 11:40
@coveralls
Copy link
Copy Markdown

coveralls commented May 3, 2020

Coverage Status

Coverage decreased (-0.07%) to 98.424% when pulling d125bd3 on more-reserved-keywords into 330c8f3 on master.

@bogdandm bogdandm merged commit 3006eed into master May 3, 2020
@bogdandm bogdandm deleted the more-reserved-keywords branch May 3, 2020 11:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants