% SYNTAX.ML %

let OldMLState = ();
% For the time being this file should be loaded after a build of the
  system to inform the Parser of infix and prefix operators.  Any operators
  declared prior to or during the build should be re-declared here. %

% (From LIB.ML) %
syntax prefix Do 0;
syntax infix 1400 o 1400; 
syntax infix 400 & 400;  % Surely this shouldn't be same prec as "Or" %
syntax infix 400 # 400;  % Surely this shouldn't be same prec as "Or" %
syntax prefix Not 600;
syntax infix 500 And 500;
syntax infix 400 Or  400;
syntax prefix ~ 1100;
syntax infix 900 * 900;
syntax infix 900 / 900;
syntax infix 900 div 900;
syntax infix 900 mod 900;
syntax infix 800 + 800;
syntax infix 800 - 800;
syntax infix 700 > 700;
syntax infix 700 < 700;
syntax infix 700 >= 700;
syntax infix 700 <= 700;
syntax infix 700 #<= 700;
syntax infix 700 #< 700;
syntax infix 700 #>= 700;
syntax infix 700 #> 700;
syntax infix 300 #@ 300;  % This should be right associative %
syntax infix 300 @ 300;  % This should be right associative %
syntax prefix ! 1100;
syntax infix 50 := 50;
syntax infix 50 sub 50;  % Surely this isn't the correct prec! %

% (From MLPFL.ML) %
syntax infix 171 ++ 170;
syntax infix 181 ||| 180;

