Skip to content

Remove #pragma rational. - #193

Merged
dvander merged 1 commit into
masterfrom
rm-rational
Apr 12, 2018
Merged

Remove #pragma rational.#193
dvander merged 1 commit into
masterfrom
rm-rational

Conversation

@dvander

@dvander dvander commented Apr 12, 2018

Copy link
Copy Markdown
Member

There's a snowball's chance in hell that we're going to treat rational literals as fixed-point, so I think it's safe to remove #pragma rational.

@Fyren

Fyren commented Apr 12, 2018

Copy link
Copy Markdown
Contributor

This is irrational.

@dvander

dvander commented Apr 12, 2018

Copy link
Copy Markdown
Member Author

You’re grounded!

@dvander
dvander merged commit 80b58ef into master Apr 12, 2018
@dvander
dvander deleted the rm-rational branch April 23, 2018 01:51
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