Goose  Diff

Differences From Artifact [ef53c112a3]:

• File bs/eir/compare.cpp — part of check-in [7d2def7b75] at 2020-12-27 14:40:24 on branch trunk — Renamed "ir" to "eir" (expression intermediate representation) and "llr" to "cir" (code intermediate representation) for clarity. (user: achavasse size: 1110)

To Artifact [049c607c73]:

• File bs/eir/compare.cpp — part of check-in [176ee856a6] at 2021-02-12 23:57:22 on branch trunk — Added a "flavor" term to holes to be able to have specific rules for TVar holes and for forwarding holes. Refactored forwarding holes to use this, instead of being represented as compound expressions (which would probably have broken down horribly in some complex type checking scenarios) (user: achavasse size: 1417)

35
36
37
38
39
40
41












42

    }

    bool Vector::operator==( const Vector& rhs ) const
    {
        return m_repetitionTerm == rhs.m_repetitionTerm
            && m_terms == rhs.m_terms;
    }












}

>
>
>
>
>
>
>
>
>
>
>
>

35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

    }

    bool Vector::operator==( const Vector& rhs ) const
    {
        return m_repetitionTerm == rhs.m_repetitionTerm
            && m_terms == rhs.m_terms;
    }

    bool Hole::operator<( const Hole& rhs ) const
    {
        if( name() != rhs.name() )
            return name() < rhs.name();
        return flavor() < rhs.flavor();
    }

    bool Hole::operator==( const Hole& rhs ) const
    {
        return name() == rhs.name() && flavor() == rhs.flavor();
    }
}