PLaneT Package Repository : Home > chongkai > sml.plt

Home > chongkai > sml.plt > package version 1.0
hamlet/InitialInfixEnv-struct.ss
(module InitialInfixEnv-struct (planet chongkai/sml)
  (#%module-begin
   (Program:
    (STRDECTopDec:
     (STRUCTUREStrDec:
      (StrBind:
       (StrId: InitialInfixEnv-struct)
       (SEALStrExp:
        (STRUCTStrExp:
         (SEQStrDec:
          (DECStrDec: (TYPEDec: (TypBind: (TyVarseq:) (TyCon: InfEnv-type) (CONTy: (Tyseq:) (LongTyCon: Infix.InfEnv-type)))))
          (SEQStrDec:
           (DECStrDec:
            (VALDec:
             (TyVarseq:)
             (PLAINValBind:
              (ATPat: (IDAtPat: (LongVId: vidCons)))
              (ATExp: (PARAtExp: (APPExp: (ATExp: (IDAtExp: (LongVId: VId.fromString))) (SCONAtExp: (STRINGSCon: "::"))))))))
           (SEQStrDec:
            (DECStrDec:
             (VALDec:
              (TyVarseq:)
              (PLAINValBind:
               (ATPat: (IDAtPat: (LongVId: vidEqual)))
               (ATExp: (PARAtExp: (APPExp: (ATExp: (IDAtExp: (LongVId: VId.fromString))) (SCONAtExp: (STRINGSCon: "="))))))))
            (SEQStrDec:
             (DECStrDec:
              (VALDec:
               (TyVarseq:)
               (PLAINValBind:
                (ATPat: (IDAtPat: (LongVId: vidAssign)))
                (ATExp: (PARAtExp: (APPExp: (ATExp: (IDAtExp: (LongVId: VId.fromString))) (SCONAtExp: (STRINGSCon: ":="))))))))
             (SEQStrDec:
              (DECStrDec: (VALDec: (TyVarseq:) (PLAINValBind: (ATPat: (IDAtPat: (LongVId: RIGHT))) (ATExp: (IDAtExp: (LongVId: Infix.RIGHT))))))
              (SEQStrDec:
               (DECStrDec: (VALDec: (TyVarseq:) (PLAINValBind: (ATPat: (IDAtPat: (LongVId: LEFT))) (ATExp: (IDAtExp: (LongVId: Infix.LEFT))))))
               (DECStrDec:
                (VALDec:
                 (TyVarseq:)
                 (PLAINValBind:
                  (ATPat: (IDAtPat: (LongVId: J0)))
                  (ATExp:
                   (PARAtExp:
                    (APPExp:
                     (ATExp: (IDAtExp: (LongVId: VIdMap.fromList)))
                     (PARAtExp:
                      (APPExp:
                       (ATExp: (IDAtExp: (LongVId: ::)))
                       (RECORDAtExp:
                        (ExpRow:
                         (Lab: |1|)
                         (ATExp:
                          (RECORDAtExp:
                           (ExpRow:
                            (Lab: |1|)
                            (ATExp: (IDAtExp: (LongVId: vidCons)))
                            (ExpRow:
                             (Lab: |2|)
                             (ATExp:
                              (RECORDAtExp:
                               (ExpRow: (Lab: |1|) (ATExp: (IDAtExp: (LongVId: RIGHT))) (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 5)))))))))))
                         (ExpRow:
                          (Lab: |2|)
                          (APPExp:
                           (ATExp: (IDAtExp: (LongVId: ::)))
                           (RECORDAtExp:
                            (ExpRow:
                             (Lab: |1|)
                             (ATExp:
                              (RECORDAtExp:
                               (ExpRow:
                                (Lab: |1|)
                                (ATExp: (IDAtExp: (LongVId: vidEqual)))
                                (ExpRow:
                                 (Lab: |2|)
                                 (ATExp:
                                  (RECORDAtExp:
                                   (ExpRow: (Lab: |1|) (ATExp: (IDAtExp: (LongVId: LEFT))) (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 4)))))))))))
                             (ExpRow:
                              (Lab: |2|)
                              (APPExp:
                               (ATExp: (IDAtExp: (LongVId: ::)))
                               (RECORDAtExp:
                                (ExpRow:
                                 (Lab: |1|)
                                 (ATExp:
                                  (RECORDAtExp:
                                   (ExpRow:
                                    (Lab: |1|)
                                    (ATExp: (IDAtExp: (LongVId: vidAssign)))
                                    (ExpRow:
                                     (Lab: |2|)
                                     (ATExp:
                                      (RECORDAtExp:
                                       (ExpRow: (Lab: |1|) (ATExp: (IDAtExp: (LongVId: LEFT))) (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 3)))))))))))
                                 (ExpRow:
                                  (Lab: |2|)
                                  (APPExp:
                                   (ATExp: (IDAtExp: (LongVId: ::)))
                                   (RECORDAtExp:
                                    (ExpRow:
                                     (Lab: |1|)
                                     (ATExp:
                                      (RECORDAtExp:
                                       (ExpRow:
                                        (Lab: |1|)
                                        (ATExp: (PARAtExp: (APPExp: (ATExp: (IDAtExp: (LongVId: VId.fromString))) (SCONAtExp: (STRINGSCon: "*")))))
                                        (ExpRow:
                                         (Lab: |2|)
                                         (ATExp:
                                          (RECORDAtExp:
                                           (ExpRow:
                                            (Lab: |1|)
                                            (ATExp: (IDAtExp: (LongVId: LEFT)))
                                            (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 7)))))))))))
                                     (ExpRow:
                                      (Lab: |2|)
                                      (APPExp:
                                       (ATExp: (IDAtExp: (LongVId: ::)))
                                       (RECORDAtExp:
                                        (ExpRow:
                                         (Lab: |1|)
                                         (ATExp:
                                          (RECORDAtExp:
                                           (ExpRow:
                                            (Lab: |1|)
                                            (ATExp: (PARAtExp: (APPExp: (ATExp: (IDAtExp: (LongVId: VId.fromString))) (SCONAtExp: (STRINGSCon: "/")))))
                                            (ExpRow:
                                             (Lab: |2|)
                                             (ATExp:
                                              (RECORDAtExp:
                                               (ExpRow:
                                                (Lab: |1|)
                                                (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 7)))))))))))
                                         (ExpRow:
                                          (Lab: |2|)
                                          (APPExp:
                                           (ATExp: (IDAtExp: (LongVId: ::)))
                                           (RECORDAtExp:
                                            (ExpRow:
                                             (Lab: |1|)
                                             (ATExp:
                                              (RECORDAtExp:
                                               (ExpRow:
                                                (Lab: |1|)
                                                (ATExp: (PARAtExp: (APPExp: (ATExp: (IDAtExp: (LongVId: VId.fromString))) (SCONAtExp: (STRINGSCon: "div")))))
                                                (ExpRow:
                                                 (Lab: |2|)
                                                 (ATExp:
                                                  (RECORDAtExp:
                                                   (ExpRow:
                                                    (Lab: |1|)
                                                    (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                    (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 7)))))))))))
                                             (ExpRow:
                                              (Lab: |2|)
                                              (APPExp:
                                               (ATExp: (IDAtExp: (LongVId: ::)))
                                               (RECORDAtExp:
                                                (ExpRow:
                                                 (Lab: |1|)
                                                 (ATExp:
                                                  (RECORDAtExp:
                                                   (ExpRow:
                                                    (Lab: |1|)
                                                    (ATExp:
                                                     (PARAtExp: (APPExp: (ATExp: (IDAtExp: (LongVId: VId.fromString))) (SCONAtExp: (STRINGSCon: "mod")))))
                                                    (ExpRow:
                                                     (Lab: |2|)
                                                     (ATExp:
                                                      (RECORDAtExp:
                                                       (ExpRow:
                                                        (Lab: |1|)
                                                        (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                        (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 7)))))))))))
                                                 (ExpRow:
                                                  (Lab: |2|)
                                                  (APPExp:
                                                   (ATExp: (IDAtExp: (LongVId: ::)))
                                                   (RECORDAtExp:
                                                    (ExpRow:
                                                     (Lab: |1|)
                                                     (ATExp:
                                                      (RECORDAtExp:
                                                       (ExpRow:
                                                        (Lab: |1|)
                                                        (ATExp:
                                                         (PARAtExp: (APPExp: (ATExp: (IDAtExp: (LongVId: VId.fromString))) (SCONAtExp: (STRINGSCon: "+")))))
                                                        (ExpRow:
                                                         (Lab: |2|)
                                                         (ATExp:
                                                          (RECORDAtExp:
                                                           (ExpRow:
                                                            (Lab: |1|)
                                                            (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                            (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 6)))))))))))
                                                     (ExpRow:
                                                      (Lab: |2|)
                                                      (APPExp:
                                                       (ATExp: (IDAtExp: (LongVId: ::)))
                                                       (RECORDAtExp:
                                                        (ExpRow:
                                                         (Lab: |1|)
                                                         (ATExp:
                                                          (RECORDAtExp:
                                                           (ExpRow:
                                                            (Lab: |1|)
                                                            (ATExp:
                                                             (PARAtExp:
                                                              (APPExp: (ATExp: (IDAtExp: (LongVId: VId.fromString))) (SCONAtExp: (STRINGSCon: "-")))))
                                                            (ExpRow:
                                                             (Lab: |2|)
                                                             (ATExp:
                                                              (RECORDAtExp:
                                                               (ExpRow:
                                                                (Lab: |1|)
                                                                (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                                (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 6)))))))))))
                                                         (ExpRow:
                                                          (Lab: |2|)
                                                          (APPExp:
                                                           (ATExp: (IDAtExp: (LongVId: ::)))
                                                           (RECORDAtExp:
                                                            (ExpRow:
                                                             (Lab: |1|)
                                                             (ATExp:
                                                              (RECORDAtExp:
                                                               (ExpRow:
                                                                (Lab: |1|)
                                                                (ATExp:
                                                                 (PARAtExp:
                                                                  (APPExp: (ATExp: (IDAtExp: (LongVId: VId.fromString))) (SCONAtExp: (STRINGSCon: "^")))))
                                                                (ExpRow:
                                                                 (Lab: |2|)
                                                                 (ATExp:
                                                                  (RECORDAtExp:
                                                                   (ExpRow:
                                                                    (Lab: |1|)
                                                                    (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                                    (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 6)))))))))))
                                                             (ExpRow:
                                                              (Lab: |2|)
                                                              (APPExp:
                                                               (ATExp: (IDAtExp: (LongVId: ::)))
                                                               (RECORDAtExp:
                                                                (ExpRow:
                                                                 (Lab: |1|)
                                                                 (ATExp:
                                                                  (RECORDAtExp:
                                                                   (ExpRow:
                                                                    (Lab: |1|)
                                                                    (ATExp:
                                                                     (PARAtExp:
                                                                      (APPExp:
                                                                       (ATExp: (IDAtExp: (LongVId: VId.fromString)))
                                                                       (SCONAtExp: (STRINGSCon: "@")))))
                                                                    (ExpRow:
                                                                     (Lab: |2|)
                                                                     (ATExp:
                                                                      (RECORDAtExp:
                                                                       (ExpRow:
                                                                        (Lab: |1|)
                                                                        (ATExp: (IDAtExp: (LongVId: RIGHT)))
                                                                        (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 5)))))))))))
                                                                 (ExpRow:
                                                                  (Lab: |2|)
                                                                  (APPExp:
                                                                   (ATExp: (IDAtExp: (LongVId: ::)))
                                                                   (RECORDAtExp:
                                                                    (ExpRow:
                                                                     (Lab: |1|)
                                                                     (ATExp:
                                                                      (RECORDAtExp:
                                                                       (ExpRow:
                                                                        (Lab: |1|)
                                                                        (ATExp:
                                                                         (PARAtExp:
                                                                          (APPExp:
                                                                           (ATExp: (IDAtExp: (LongVId: VId.fromString)))
                                                                           (SCONAtExp: (STRINGSCon: "<>")))))
                                                                        (ExpRow:
                                                                         (Lab: |2|)
                                                                         (ATExp:
                                                                          (RECORDAtExp:
                                                                           (ExpRow:
                                                                            (Lab: |1|)
                                                                            (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                                            (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 4)))))))))))
                                                                     (ExpRow:
                                                                      (Lab: |2|)
                                                                      (APPExp:
                                                                       (ATExp: (IDAtExp: (LongVId: ::)))
                                                                       (RECORDAtExp:
                                                                        (ExpRow:
                                                                         (Lab: |1|)
                                                                         (ATExp:
                                                                          (RECORDAtExp:
                                                                           (ExpRow:
                                                                            (Lab: |1|)
                                                                            (ATExp:
                                                                             (PARAtExp:
                                                                              (APPExp:
                                                                               (ATExp: (IDAtExp: (LongVId: VId.fromString)))
                                                                               (SCONAtExp: (STRINGSCon: ">")))))
                                                                            (ExpRow:
                                                                             (Lab: |2|)
                                                                             (ATExp:
                                                                              (RECORDAtExp:
                                                                               (ExpRow:
                                                                                (Lab: |1|)
                                                                                (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                                                (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 4)))))))))))
                                                                         (ExpRow:
                                                                          (Lab: |2|)
                                                                          (APPExp:
                                                                           (ATExp: (IDAtExp: (LongVId: ::)))
                                                                           (RECORDAtExp:
                                                                            (ExpRow:
                                                                             (Lab: |1|)
                                                                             (ATExp:
                                                                              (RECORDAtExp:
                                                                               (ExpRow:
                                                                                (Lab: |1|)
                                                                                (ATExp:
                                                                                 (PARAtExp:
                                                                                  (APPExp:
                                                                                   (ATExp: (IDAtExp: (LongVId: VId.fromString)))
                                                                                   (SCONAtExp: (STRINGSCon: ">=")))))
                                                                                (ExpRow:
                                                                                 (Lab: |2|)
                                                                                 (ATExp:
                                                                                  (RECORDAtExp:
                                                                                   (ExpRow:
                                                                                    (Lab: |1|)
                                                                                    (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                                                    (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 4)))))))))))
                                                                             (ExpRow:
                                                                              (Lab: |2|)
                                                                              (APPExp:
                                                                               (ATExp: (IDAtExp: (LongVId: ::)))
                                                                               (RECORDAtExp:
                                                                                (ExpRow:
                                                                                 (Lab: |1|)
                                                                                 (ATExp:
                                                                                  (RECORDAtExp:
                                                                                   (ExpRow:
                                                                                    (Lab: |1|)
                                                                                    (ATExp:
                                                                                     (PARAtExp:
                                                                                      (APPExp:
                                                                                       (ATExp: (IDAtExp: (LongVId: VId.fromString)))
                                                                                       (SCONAtExp: (STRINGSCon: "<")))))
                                                                                    (ExpRow:
                                                                                     (Lab: |2|)
                                                                                     (ATExp:
                                                                                      (RECORDAtExp:
                                                                                       (ExpRow:
                                                                                        (Lab: |1|)
                                                                                        (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                                                        (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 4)))))))))))
                                                                                 (ExpRow:
                                                                                  (Lab: |2|)
                                                                                  (APPExp:
                                                                                   (ATExp: (IDAtExp: (LongVId: ::)))
                                                                                   (RECORDAtExp:
                                                                                    (ExpRow:
                                                                                     (Lab: |1|)
                                                                                     (ATExp:
                                                                                      (RECORDAtExp:
                                                                                       (ExpRow:
                                                                                        (Lab: |1|)
                                                                                        (ATExp:
                                                                                         (PARAtExp:
                                                                                          (APPExp:
                                                                                           (ATExp: (IDAtExp: (LongVId: VId.fromString)))
                                                                                           (SCONAtExp: (STRINGSCon: "<=")))))
                                                                                        (ExpRow:
                                                                                         (Lab: |2|)
                                                                                         (ATExp:
                                                                                          (RECORDAtExp:
                                                                                           (ExpRow:
                                                                                            (Lab: |1|)
                                                                                            (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                                                            (ExpRow: (Lab: |2|) (ATExp: (SCONAtExp: (INTSCon: 4)))))))))))
                                                                                     (ExpRow:
                                                                                      (Lab: |2|)
                                                                                      (APPExp:
                                                                                       (ATExp: (IDAtExp: (LongVId: ::)))
                                                                                       (RECORDAtExp:
                                                                                        (ExpRow:
                                                                                         (Lab: |1|)
                                                                                         (ATExp:
                                                                                          (RECORDAtExp:
                                                                                           (ExpRow:
                                                                                            (Lab: |1|)
                                                                                            (ATExp:
                                                                                             (PARAtExp:
                                                                                              (APPExp:
                                                                                               (ATExp: (IDAtExp: (LongVId: VId.fromString)))
                                                                                               (SCONAtExp: (STRINGSCon: "o")))))
                                                                                            (ExpRow:
                                                                                             (Lab: |2|)
                                                                                             (ATExp:
                                                                                              (RECORDAtExp:
                                                                                               (ExpRow:
                                                                                                (Lab: |1|)
                                                                                                (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                                                                (ExpRow:
                                                                                                 (Lab: |2|)
                                                                                                 (ATExp: (SCONAtExp: (INTSCon: 3)))))))))))
                                                                                         (ExpRow:
                                                                                          (Lab: |2|)
                                                                                          (APPExp:
                                                                                           (ATExp: (IDAtExp: (LongVId: ::)))
                                                                                           (RECORDAtExp:
                                                                                            (ExpRow:
                                                                                             (Lab: |1|)
                                                                                             (ATExp:
                                                                                              (RECORDAtExp:
                                                                                               (ExpRow:
                                                                                                (Lab: |1|)
                                                                                                (ATExp:
                                                                                                 (PARAtExp:
                                                                                                  (APPExp:
                                                                                                   (ATExp: (IDAtExp: (LongVId: VId.fromString)))
                                                                                                   (SCONAtExp: (STRINGSCon: "before")))))
                                                                                                (ExpRow:
                                                                                                 (Lab: |2|)
                                                                                                 (ATExp:
                                                                                                  (RECORDAtExp:
                                                                                                   (ExpRow:
                                                                                                    (Lab: |1|)
                                                                                                    (ATExp: (IDAtExp: (LongVId: LEFT)))
                                                                                                    (ExpRow:
                                                                                                     (Lab: |2|)
                                                                                                     (ATExp: (SCONAtExp: (INTSCon: 3)))))))))))
                                                                                             (ExpRow:
                                                                                              (Lab: |2|)
                                                                                              (ATExp:
                                                                                               (IDAtExp:
                                                                                                (LongVId:
                                                                                                 nil)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
        (IDSigExp: (SigId: INITIAL_INFIX_ENV-sig)))))))))