File tree Expand file tree Collapse file tree 1 file changed +7
-9
lines changed Expand file tree Collapse file tree 1 file changed +7
-9
lines changed Original file line number Diff line number Diff line change @@ -529,7 +529,7 @@ func (p *Parser) term0(maxPriority Integer) (Term, error) {
529
529
return p .dict ()
530
530
}
531
531
p .backup ()
532
- return p .variable (t .val )
532
+ return p .variable (t .val ), nil
533
533
case tokenOpenList :
534
534
if t , _ := p .next (); t .kind == tokenCloseList {
535
535
p .backup ()
@@ -612,20 +612,20 @@ func (p *Parser) term0Atom(maxPriority Integer) (Term, error) {
612
612
return t , nil
613
613
}
614
614
615
- func (p * Parser ) variable (s string ) ( Term , error ) {
615
+ func (p * Parser ) variable (s string ) Term {
616
616
if s == "_" {
617
- return NewVariable (), nil
617
+ return NewVariable ()
618
618
}
619
619
n := NewAtom (s )
620
620
for i , pv := range p .Vars {
621
621
if pv .Name == n {
622
622
p .Vars [i ].Count ++
623
- return pv .Variable , nil
623
+ return pv .Variable
624
624
}
625
625
}
626
626
v := NewVariable ()
627
627
p .Vars = append (p .Vars , ParsedVariable {Name : n , Variable : v , Count : 1 })
628
- return v , nil
628
+ return v
629
629
}
630
630
631
631
func (p * Parser ) openClose () (Term , error ) {
@@ -827,10 +827,8 @@ func (p *Parser) dict() (Term, error) {
827
827
}
828
828
switch t .kind {
829
829
case tokenVariable :
830
- tag , err = p .variable (t .val )
831
- if err != nil {
832
- return nil , err
833
- }
830
+ tag = p .variable (t .val )
831
+
834
832
default :
835
833
return nil , errExpectation
836
834
}
You can’t perform that action at this time.
0 commit comments