src/Pure/Syntax/syntax.ML
changeset 35130 0991c84e8dcf
parent 35111 18cd034922ba
child 35263 9927471cca35
     1.1 --- a/src/Pure/Syntax/syntax.ML	Mon Feb 15 17:17:51 2010 +0100
     1.2 +++ b/src/Pure/Syntax/syntax.ML	Mon Feb 15 18:03:42 2010 +0100
     1.3 @@ -450,9 +450,9 @@
     1.4  fun guess_infix (Syntax ({gram, ...}, _)) c =
     1.5    (case Parser.guess_infix_lr gram c of
     1.6      SOME (s, l, r, j) => SOME
     1.7 -     (if l then Mixfix.InfixlName (s, j)
     1.8 -      else if r then Mixfix.InfixrName (s, j)
     1.9 -      else Mixfix.InfixName (s, j))
    1.10 +     (if l then Mixfix.Infixl (s, j)
    1.11 +      else if r then Mixfix.Infixr (s, j)
    1.12 +      else Mixfix.Infix (s, j))
    1.13    | NONE => NONE);
    1.14  
    1.15  
    1.16 @@ -914,8 +914,8 @@
    1.17  
    1.18  end;
    1.19  
    1.20 -structure BasicSyntax: BASIC_SYNTAX = Syntax;
    1.21 -open BasicSyntax;
    1.22 +structure Basic_Syntax: BASIC_SYNTAX = Syntax;
    1.23 +open Basic_Syntax;
    1.24  
    1.25  forget_structure "Ast";
    1.26  forget_structure "SynExt";