File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -1932,7 +1932,12 @@ var typeToJME = Numbas.jme.display.typeToJME = {
19321932 names = '(' + names + ')' ;
19331933 }
19341934 var expr = this . render ( tok . expr ) ;
1935- return '(' + names + ' -> ' + expr + ')' ;
1935+ var fn = '(' + names + ' -> ' + expr + ')' ;
1936+ if ( bits ) {
1937+ return fn + '(' + bits . join ( ',' ) + ')' ;
1938+ } else {
1939+ return fn ;
1940+ }
19361941 } ,
19371942}
19381943
@@ -2474,6 +2479,9 @@ var tree_diagram = Numbas.jme.display.tree_diagram = function(tree) {
24742479 case 'function' :
24752480 var args = tree . args . map ( function ( arg ) { return tree_diagram ( arg ) ; } ) ;
24762481 return align_text_blocks ( tree . tok . name , args ) ;
2482+ case 'lambda' :
2483+ var args = tree . args . map ( function ( arg ) { return tree_diagram ( arg ) ; } ) ;
2484+ return align_text_blocks ( treeToJME ( { tok :tree . tok } ) , args ) ;
24772485 default :
24782486 return treeToJME ( tree ) ;
24792487 }
You can’t perform that action at this time.
0 commit comments