DeCarabas/oden
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

[fine] More tests and also comparisons

Browse source
This commit is contained in:
John Doty 2024-01-15 09:43:56 -08:00
parent 55749af917
commit 7fb88ef199
5 changed files with 101 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
fine/src/semantics.rs
View file

@ -723,6 +723,11 @@ impl<'a> Semantics<'a> {
(TokenKind::And | TokenKind::Or, Type::Bool, Type::Bool) => Some(Type::Bool),
(TokenKind::EqualEqual, Type::F64, Type::F64) => Some(Type::Bool),
(TokenKind::EqualEqual, Type::String, Type::String) => Some(Type::Bool),
(TokenKind::EqualEqual, Type::Bool, Type::Bool) => Some(Type::Bool),
(TokenKind::EqualEqual, Type::Nothing, Type::Nothing) => Some(Type::Bool),
// This is dumb and should be punished, probably.
(_, _, Type::Unreachable) => {
self.report_error(