X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=src%2Flex.icl;h=cbeaf7690b002a62f357b4dc73677a0a5cadfe94;hb=39ec3b9396a095d914f703163ff02ea5028eea26;hp=99aa37cbc0dcbb4a7397efd32bdf9ac6e883013f;hpb=051a7614b88beaea2912dd9f76d04d9a90ec2f99;p=cc1516.git diff --git a/src/lex.icl b/src/lex.icl index 99aa37c..cbeaf76 100644 --- a/src/lex.icl +++ b/src/lex.icl @@ -77,47 +77,10 @@ lex t=:[x:xs] = case get x SingleCharTokens of | otherwise = err ("Unexpected character: " +++ toString x) +derive gEq TokenValue + (===) :: TokenValue Token -> Bool (===) (IdentToken _) (_, IdentToken _) = True (===) (NumberToken _) (_, NumberToken _) = True (===) (CharToken _) (_, CharToken _) = True -(===) (VarToken) (_, VarToken) = True -(===) (ReturnToken) (_, ReturnToken) = True -(===) (IfToken) (_, IfToken) = True -(===) (ElseToken) (_, ElseToken) = True -(===) (WhileToken) (_, WhileToken) = True -(===) (TrueToken) (_, TrueToken) = True -(===) (FalseToken) (_, FalseToken) = True -(===) (VoidToken) (_, VoidToken) = True -(===) (IntTypeToken) (_, IntTypeToken) = True -(===) (CharTypeToken) (_, CharTypeToken) = True -(===) (BoolTypeToken) (_, BoolTypeToken) = True -(===) (DoubleColonToken) (_, DoubleColonToken) = True -(===) (NotEqualToken) (_, NotEqualToken) = True -(===) (LesserEqToken) (_, LesserEqToken) = True -(===) (GreaterEqToken) (_, GreaterEqToken) = True -(===) (EqualsToken) (_, EqualsToken) = True -(===) (AmpersandsToken) (_, AmpersandsToken) = True -(===) (PipesToken) (_, PipesToken) = True -(===) (ArrowToken) (_, ArrowToken) = True -(===) (EmptyListToken) (_, EmptyListToken) = True -(===) (BraceOpenToken) (_, BraceOpenToken) = True -(===) (BraceCloseToken) (_, BraceCloseToken) = True -(===) (CBraceOpenToken) (_, CBraceOpenToken) = True -(===) (CBraceCloseToken) (_, CBraceCloseToken) = True -(===) (SquareOpenToken) (_, SquareOpenToken) = True -(===) (SquareCloseToken) (_, SquareCloseToken) = True -(===) (CommaToken) (_, CommaToken) = True -(===) (ColonToken) (_, ColonToken) = True -(===) (SColonToken) (_, SColonToken) = True -(===) (DotToken) (_, DotToken) = True -(===) (PlusToken) (_, PlusToken) = True -(===) (DashToken) (_, DashToken) = True -(===) (StarToken) (_, StarToken) = True -(===) (SlashToken) (_, SlashToken) = True -(===) (PercentToken) (_, PercentToken) = True -(===) (AssignmentToken) (_, AssignmentToken) = True -(===) (LesserToken) (_, LesserToken) = True -(===) (BiggerToken) (_, BiggerToken) = True -(===) (ExclamationToken) (_, ExclamationToken) = True -(===) _ _ = False +(===) x (_, y) = gEq {|*|} x y