home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / src / compiler / Infixst.sig < prev    next >
Encoding:
Text File  |  1997-08-18  |  376 b   |  20 lines  |  [TEXT/R*ch]
  1. local
  2.   open Fnlib Mixture Globals Location Asynt;
  3. in
  4.  
  5. exception WrongInfix and MixedAssociativity;
  6.  
  7. type 'Obj InfixStackStr = {
  8.     applyId : IdInfo -> 'Obj -> 'Obj,
  9.     applyObj : 'Obj -> 'Obj -> 'Obj,
  10.     asId : 'Obj -> IdInfo option,
  11.     pair : 'Obj -> 'Obj -> 'Obj
  12. };
  13.  
  14. val resolveInfix :
  15.   'Obj InfixStackStr -> (string -> InfixStatus) ->
  16.       'Obj list -> 'Obj
  17. ;
  18.  
  19. end;
  20.