diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2019-03-14 17:57:55 -0700 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2019-03-14 17:58:22 -0700 |
| commit | a09b66d72509111e57fb19368d2188a8b71d678e (patch) | |
| tree | 54aff9f560f54f96f76bdd00e472a2c09919e1de /syntax_tree.lua | |
| parent | c2397620a92c0d73cdedeff1912cbd9f13ff090a (diff) | |
No longer using stubs for non-actions.
Diffstat (limited to 'syntax_tree.lua')
| -rw-r--r-- | syntax_tree.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/syntax_tree.lua b/syntax_tree.lua index 067018c..70a2daa 100644 --- a/syntax_tree.lua +++ b/syntax_tree.lua @@ -254,7 +254,10 @@ do [patt:as_var()] = self } end - if patt:get_stub() ~= self:get_stub() then + if patt.type ~= self.type then + return nil + end + if patt.type == "Action" and patt:get_stub() ~= self:get_stub() then return nil end if #self ~= #patt then |