File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -42,7 +42,7 @@ class L {
42
42
this . body = body ;
43
43
}
44
44
free ( ) {
45
- const r = this . body . free ?. ( ) || new Set ;
45
+ const r = this . body ? .free ?. ( ) || new Set ;
46
46
r . delete ( this . name ) ;
47
47
return r ;
48
48
}
@@ -58,7 +58,7 @@ class A {
58
58
this . left = left ;
59
59
this . right = right ;
60
60
}
61
- free ( ) { return union ( this . left . free ?. ( ) || [ ] , this . right . free ?. ( ) || [ ] ) ; }
61
+ free ( ) { return union ( this . left ? .free ?. ( ) || [ ] , this . right ? .free ?. ( ) || [ ] ) ; }
62
62
toString ( ) {
63
63
const left = this . left instanceof L ? `(${ this . left } )` : this . left ;
64
64
const right = this . right instanceof V ? this . right : `(${ this . right } )` ;
@@ -169,7 +169,7 @@ export function toInt(term) {
169
169
function parse ( code ) {
170
170
function parseTerm ( env , code ) {
171
171
function wrap ( name , term ) {
172
- const FV = term . free ?. ( ) || new Set ; FV . delete ( "()" ) ;
172
+ const FV = term ? .free ?. ( ) || new Set ; FV . delete ( "()" ) ;
173
173
if ( config . purity === "Let" )
174
174
return Array . from ( FV ) . reduce ( ( tm , nm ) => {
175
175
if ( env . has ( nm ) ) {
You can’t perform that action at this time.
0 commit comments