Goose  Diff

Differences From Artifact [55d8652be4]:

• File bs/sema/uni-context.h — part of check-in [bd77ee55b1] at 2018-11-25 20:52:53 on branch trunk — Implemented basic unification rules. (user: achavasse size: 781)

To Artifact [92b8dee736]:

• File bs/sema/uni-context.h — part of check-in [acc4df2877] at 2018-11-25 21:41:11 on branch trunk — sema: added a class for named holes and its conversion from/to an ir expression. (user: achavasse size: 777)

15
16
17
18
19
20
21
22
23
24
25
26
27
28

            {}

            const auto& rules() const { return m_rules; }

        private:
            ptr< UnificationRuleSet >                   m_rules;
            immer::vector< Term >                       m_values;
            ptr< unordered_map< StringId, size_t > >    m_variables;

            size_t                                      m_dependencyUpdateCount = 1024;
    };
}

#endif

|

15
16
17
18
19
20
21
22
23
24
25
26
27
28

            {}

            const auto& rules() const { return m_rules; }

        private:
            ptr< UnificationRuleSet >                   m_rules;
            immer::vector< Term >                       m_values;
            ptr< unordered_map< Hole::Name, size_t > >  m_holes;

            size_t                                      m_dependencyUpdateCount = 1024;
    };
}

#endif