Main.golden

GradingClient/Main.hs:(0,0)-(0,0): Splicing declarations
    singletons
      [d| lastName, firstName, yearName, gradeName, majorName :: [AChar]
          lastName = [CL, CA, CS, CT]
          firstName = [CF, CI, CR, CS, CT]
          yearName = [CY, CE, CA, CR]
          gradeName = [CG, CR, CA, CD, CE]
          majorName = [CM, CA, CJ, CO, CR]
          gradingSchema :: Schema
          gradingSchema
            = Sch
                [Attr lastName STRING, Attr firstName STRING, Attr yearName NAT,
                 Attr gradeName NAT, Attr majorName BOOL]
          names :: Schema
          names = Sch [Attr firstName STRING, Attr lastName STRING] |]
  ======>
    lastName :: [AChar]
    firstName :: [AChar]
    yearName :: [AChar]
    gradeName :: [AChar]
    majorName :: [AChar]
    lastName = [CL, CA, CS, CT]
    firstName = [CF, CI, CR, CS, CT]
    yearName = [CY, CE, CA, CR]
    gradeName = [CG, CR, CA, CD, CE]
    majorName = [CM, CA, CJ, CO, CR]
    gradingSchema :: Schema
    gradingSchema
      = Sch
          [Attr lastName STRING, Attr firstName STRING, Attr yearName NAT,
           Attr gradeName NAT, Attr majorName BOOL]
    names :: Schema
    names = Sch [Attr firstName STRING, Attr lastName STRING]
    type NamesSym0 :: Schema
    type family NamesSym0 :: Schema where
      NamesSym0 = Names
    type GradingSchemaSym0 :: Schema
    type family GradingSchemaSym0 :: Schema where
      GradingSchemaSym0 = GradingSchema
    type MajorNameSym0 :: [AChar]
    type family MajorNameSym0 :: [AChar] where
      MajorNameSym0 = MajorName
    type GradeNameSym0 :: [AChar]
    type family GradeNameSym0 :: [AChar] where
      GradeNameSym0 = GradeName
    type YearNameSym0 :: [AChar]
    type family YearNameSym0 :: [AChar] where
      YearNameSym0 = YearName
    type FirstNameSym0 :: [AChar]
    type family FirstNameSym0 :: [AChar] where
      FirstNameSym0 = FirstName
    type LastNameSym0 :: [AChar]
    type family LastNameSym0 :: [AChar] where
      LastNameSym0 = LastName
    type Names :: Schema
    type family Names :: Schema where
      Names = Apply SchSym0 (Apply (Apply (:@#@$) (Apply (Apply AttrSym0 FirstNameSym0) STRINGSym0)) (Apply (Apply (:@#@$) (Apply (Apply AttrSym0 LastNameSym0) STRINGSym0)) NilSym0))
    type GradingSchema :: Schema
    type family GradingSchema :: Schema where
      GradingSchema = Apply SchSym0 (Apply (Apply (:@#@$) (Apply (Apply AttrSym0 LastNameSym0) STRINGSym0)) (Apply (Apply (:@#@$) (Apply (Apply AttrSym0 FirstNameSym0) STRINGSym0)) (Apply (Apply (:@#@$) (Apply (Apply AttrSym0 YearNameSym0) NATSym0)) (Apply (Apply (:@#@$) (Apply (Apply AttrSym0 GradeNameSym0) NATSym0)) (Apply (Apply (:@#@$) (Apply (Apply AttrSym0 MajorNameSym0) BOOLSym0)) NilSym0)))))
    type MajorName :: [AChar]
    type family MajorName :: [AChar] where
      MajorName = Apply (Apply (:@#@$) CMSym0) (Apply (Apply (:@#@$) CASym0) (Apply (Apply (:@#@$) CJSym0) (Apply (Apply (:@#@$) COSym0) (Apply (Apply (:@#@$) CRSym0) NilSym0))))
    type GradeName :: [AChar]
    type family GradeName :: [AChar] where
      GradeName = Apply (Apply (:@#@$) CGSym0) (Apply (Apply (:@#@$) CRSym0) (Apply (Apply (:@#@$) CASym0) (Apply (Apply (:@#@$) CDSym0) (Apply (Apply (:@#@$) CESym0) NilSym0))))
    type YearName :: [AChar]
    type family YearName :: [AChar] where
      YearName = Apply (Apply (:@#@$) CYSym0) (Apply (Apply (:@#@$) CESym0) (Apply (Apply (:@#@$) CASym0) (Apply (Apply (:@#@$) CRSym0) NilSym0)))
    type FirstName :: [AChar]
    type family FirstName :: [AChar] where
      FirstName = Apply (Apply (:@#@$) CFSym0) (Apply (Apply (:@#@$) CISym0) (Apply (Apply (:@#@$) CRSym0) (Apply (Apply (:@#@$) CSSym0) (Apply (Apply (:@#@$) CTSym0) NilSym0))))
    type LastName :: [AChar]
    type family LastName :: [AChar] where
      LastName = Apply (Apply (:@#@$) CLSym0) (Apply (Apply (:@#@$) CASym0) (Apply (Apply (:@#@$) CSSym0) (Apply (Apply (:@#@$) CTSym0) NilSym0)))
    sNames :: (Sing (NamesSym0 :: Schema) :: Type)
    sGradingSchema :: (Sing (GradingSchemaSym0 :: Schema) :: Type)
    sMajorName :: (Sing (MajorNameSym0 :: [AChar]) :: Type)
    sGradeName :: (Sing (GradeNameSym0 :: [AChar]) :: Type)
    sYearName :: (Sing (YearNameSym0 :: [AChar]) :: Type)
    sFirstName :: (Sing (FirstNameSym0 :: [AChar]) :: Type)
    sLastName :: (Sing (LastNameSym0 :: [AChar]) :: Type)
    sNames
      = applySing
          (singFun1 @SchSym0 SSch)
          (applySing
             (applySing
                (singFun2 @(:@#@$) SCons)
                (applySing
                   (applySing (singFun2 @AttrSym0 SAttr) sFirstName) SSTRING))
             (applySing
                (applySing
                   (singFun2 @(:@#@$) SCons)
                   (applySing
                      (applySing (singFun2 @AttrSym0 SAttr) sLastName) SSTRING))
                SNil))
    sGradingSchema
      = applySing
          (singFun1 @SchSym0 SSch)
          (applySing
             (applySing
                (singFun2 @(:@#@$) SCons)
                (applySing
                   (applySing (singFun2 @AttrSym0 SAttr) sLastName) SSTRING))
             (applySing
                (applySing
                   (singFun2 @(:@#@$) SCons)
                   (applySing
                      (applySing (singFun2 @AttrSym0 SAttr) sFirstName) SSTRING))
                (applySing
                   (applySing
                      (singFun2 @(:@#@$) SCons)
                      (applySing (applySing (singFun2 @AttrSym0 SAttr) sYearName) SNAT))
                   (applySing
                      (applySing
                         (singFun2 @(:@#@$) SCons)
                         (applySing (applySing (singFun2 @AttrSym0 SAttr) sGradeName) SNAT))
                      (applySing
                         (applySing
                            (singFun2 @(:@#@$) SCons)
                            (applySing
                               (applySing (singFun2 @AttrSym0 SAttr) sMajorName) SBOOL))
                         SNil)))))
    sMajorName
      = applySing
          (applySing (singFun2 @(:@#@$) SCons) SCM)
          (applySing
             (applySing (singFun2 @(:@#@$) SCons) SCA)
             (applySing
                (applySing (singFun2 @(:@#@$) SCons) SCJ)
                (applySing
                   (applySing (singFun2 @(:@#@$) SCons) SCO)
                   (applySing (applySing (singFun2 @(:@#@$) SCons) SCR) SNil))))
    sGradeName
      = applySing
          (applySing (singFun2 @(:@#@$) SCons) SCG)
          (applySing
             (applySing (singFun2 @(:@#@$) SCons) SCR)
             (applySing
                (applySing (singFun2 @(:@#@$) SCons) SCA)
                (applySing
                   (applySing (singFun2 @(:@#@$) SCons) SCD)
                   (applySing (applySing (singFun2 @(:@#@$) SCons) SCE) SNil))))
    sYearName
      = applySing
          (applySing (singFun2 @(:@#@$) SCons) SCY)
          (applySing
             (applySing (singFun2 @(:@#@$) SCons) SCE)
             (applySing
                (applySing (singFun2 @(:@#@$) SCons) SCA)
                (applySing (applySing (singFun2 @(:@#@$) SCons) SCR) SNil)))
    sFirstName
      = applySing
          (applySing (singFun2 @(:@#@$) SCons) SCF)
          (applySing
             (applySing (singFun2 @(:@#@$) SCons) SCI)
             (applySing
                (applySing (singFun2 @(:@#@$) SCons) SCR)
                (applySing
                   (applySing (singFun2 @(:@#@$) SCons) SCS)
                   (applySing (applySing (singFun2 @(:@#@$) SCons) SCT) SNil))))
    sLastName
      = applySing
          (applySing (singFun2 @(:@#@$) SCons) SCL)
          (applySing
             (applySing (singFun2 @(:@#@$) SCons) SCA)
             (applySing
                (applySing (singFun2 @(:@#@$) SCons) SCS)
                (applySing (applySing (singFun2 @(:@#@$) SCons) SCT) SNil)))