• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for uhc-light-1.1.7.2 source tarball

uhc-light-1.1.7.2/

• LICENSE
• Setup.hs
• changelog.md
• uhc-light.cabal
• 103/
  • lib/
    • ag/
      • AnaDomain/
        • AbsSyn.ag
      • Cmm/
        • AbsSyn.ag
      • Core/
        • AbsSyn.ag
      • CoreRun/
        • AbsSyn.ag
      • EH/
        • AbsSyn.ag
      • Error/
        • AbsSyn.ag
      • Foreign/
        • AbsSyn.ag
      • GrinByteCode/
        • AbsSyn.ag
      • GrinCode/
        • AbsSyn.ag
      • HS/
        • AbsSyn.ag
      • JVMClass/
        • AbsSyn.ag
      • JavaScript/
        • AbsSyn.ag
      • LLVM/
        • AbsSyn.ag
      • Silly/
        • AbsSyn.ag
      • Ty/
        • AbsSyn.ag
      • TyCore/
        • AbsSyn.ag
    • pkg/
      • array-1.0.0.0/
        • 103/
          • cr/
            • plain/
              • installed-pkg-config
              • Data/
                • Array.cr
                • Array.hi
      • base-3.0.0.0/
        • 103/
          • cr/
            • plain/
              • CompileAll
              • Numeric.cr
              • Numeric.hi
              • Prelude.cr
              • Prelude.hi
              • installed-pkg-config
              • Control/
                • Applicative.cr
                • Applicative.hi
                • Arrow.cr
                • Arrow.hi
                • Category.cr
                • Category.hi
                • Monad/
                  • Fix.cr
                  • Fix.hi
                  • Instances.cr
                  • Instances.hi
                  • ST.cr
                  • ST.hi
                  • ST/
                    • Lazy.cr
                    • Lazy.hi
              • Data/
                • Bool.cr
                • Bool.hi
                • Complex.cr
                • Complex.hi
                • Dynamic.cr
                • Dynamic.hi
                • Eq.cr
                • Eq.hi
                • Foldable.cr
                • Foldable.hi
                • Function.cr
                • Function.hi
                • Ix.cr
                • Ix.hi
                • Monoid.cr
                • Monoid.hi
                • Ord.cr
                • Ord.hi
                • Ratio.cr
                • Ratio.hi
                • String.cr
                • String.hi
                • Traversable.cr
                • Traversable.hi
              • System/
                • Exit.cr
                • Exit.hi
                • Console/
                  • GetOpt.cr
                  • GetOpt.hi
              • Text/
                • Read.cr
                • Read.hi
                • Show.cr
                • Show.hi
                • ParserCombinators/
                  • ReadP.cr
                  • ReadP.hi
                  • ReadPrec.cr
                  • ReadPrec.hi
                • Read/
                  • Lex.cr
                  • Lex.hi
                • Show/
                  • Functions.cr
                  • Functions.hi
              • include/
                • consUtils.h
      • uhcbase-1.1.7.2/
        • 103/
          • cr/
            • plain/
              • installed-pkg-config
              • Control/
                • Monad.cr
                • Monad.hi
              • Data/
                • Bits.cr
                • Bits.hi
                • Char.cr
                • Char.hi
                • Either.cr
                • Either.hi
                • IORef.cr
                • IORef.hi
                • List.cr
                • List.hi
                • Maybe.cr
                • Maybe.hi
                • Typeable.cr
                • Typeable.hi
              • Debug/
                • Trace.cr
                • Trace.hi
              • Foreign/
                • Ptr.cr
                • Ptr.hi
                • StablePtr.cr
                • StablePtr.hi
              • System/
                • IO.cr
                • IO.hi
                • IO/
                  • Error.cr
                  • Error.hi
                  • Fix.cr
                  • Fix.hi
                  • Unsafe.cr
                  • Unsafe.hi
              • UHC/
                • Array.cr
                • Array.hi
                • Base.cr
                • Base.hi
                • Bits.cr
                • Bits.hi
                • Bounded.cr
                • Bounded.hi
                • BoxArray.cr
                • BoxArray.hi
                • Char.cr
                • Char.hi
                • Enum.cr
                • Enum.hi
                • Eq.cr
                • Eq.hi
                • Float.cr
                • Float.hi
                • GC.cr
                • GC.hi
                • Generics.cr
                • Generics.hi
                • Handle.cr
                • Handle.hi
                • IO.cr
                • IO.hi
                • IOBase.cr
                • IOBase.hi
                • Ix.cr
                • Ix.hi
                • LazyST.cr
                • LazyST.hi
                • MVar.cr
                • MVar.hi
                • MutVar.cr
                • MutVar.hi
                • OldException.cr
                • OldException.hi
                • Ord.cr
                • Ord.hi
                • Prims.cr
                • Prims.hi
                • Ptr.cr
                • Ptr.hi
                • Read.cr
                • Read.hi
                • Real.cr
                • Real.hi
                • Run.cr
                • Run.hi
                • ST.cr
                • ST.hi
                • STRef.cr
                • STRef.hi
                • Show.cr
                • Show.hi
                • StablePtr.cr
                • StablePtr.hi
                • StackTrace.cr
                • StackTrace.hi
                • Types.cr
                • Types.hi
                • Weak.cr
                • Weak.hi
                • WeakPtr.cr
                • WeakPtr.hi
                • Generics/
                  • Tuple.cr
                  • Tuple.hi
              • Unsafe/
                • Coerce.cr
                • Coerce.hi
              • include/
                • CTypes.h
                • HsBase.h
                • HsBaseConfig.h
                • IntLikeInstance.h
                • MachDeps.h
                • TupleInstance.h
                • Typeable.h
                • dirUtils.h
• src/
  • EHC.hs
  • UHC/
    • Light/
      • Compiler/
        • API.hs
        • AbstractCore.hs
        • AnaDomain.hs
        • CHR.hs
        • Config.hs
        • ConfigCabal.hs
        • ConfigDefines.hs
        • ConfigInstall.hs
        • ConfigInternalVersions.hs
        • Core.hs
        • CoreRun.hs
        • Deriving.hs
        • EH.hs
        • Error.hs
        • FinalEnv.hs
        • Foreign.hs
        • Gam.hs
        • Generics.hs
        • HI.hs
        • HS.hs
        • LamInfo.hs
        • NameAspect.hs
        • Opts.hs
        • Pred.hs
        • SourceCodeSig.hs
        • Substitutable.hs
        • Ty.hs
        • VarLookup.hs
        • VarMp.hs
        • AbstractCore/
          • Utils.hs
        • AnaDomain/
          • Ftv.hs
          • Pretty.hs
          • Utils.hs
          • Trf/
            • Instantiate.hs
            • Subst.hs
        • Base/
          • API.hs
          • CfgPP.hs
          • Common.hs
          • Debug.hs
          • FileSearchLocation.hs
          • Fld.hs
          • HsName.hs
          • Optimize.hs
          • PackageDatabase.hs
          • ParseUtils.hs
          • Parser.hs
          • Parser2.hs
          • Pragma.hs
          • RLList.hs
          • Range.hs
          • Strictness.hs
          • Target.hs
          • TermLike.hs
          • TreeTrie.hs
          • UID.hs
          • HsName/
            • Builtin.hs
        • CHR/
          • Constraint.hs
          • Key.hs
          • Solve.hs
        • CodeGen/
          • BasicAnnot.hs
          • Bits.hs
          • BuiltinPrims.hs
          • BuiltinSizeInfo.hs
          • CVar.hs
          • Const.hs
          • ImportUsedModules.hs
          • ModuleImportExportImpl.hs
          • RefGenerator.hs
          • Tag.hs
          • TrfUtils.hs
          • ValAccess.hs
        • Core/
          • API.hs
          • BindExtract.hs
          • Check.hs
          • Coercion.hs
          • ExtractFFE.hs
          • FFI.hs
          • FvS.hs
          • Merge.hs
          • ModAsMap.hs
          • Parser.hs
          • Pretty.hs
          • Subst.hs
          • ToCoreRun.hs
          • ToGrin.hs
          • Trf.hs
          • UsedModNms.hs
          • Utils.hs
          • SysF/
            • AsTy.hs
          • Trf/
            • ANormal.hs
            • AnaRelevance.hs
            • AnnBasedSimplify.hs
            • CAFGlobalAsArg.hs
            • ConstProp.hs
            • ElimNonCodegenConstructs.hs
            • ElimTrivApp.hs
            • EraseExtractTysigCore.hs
            • EtaRed.hs
            • ExplicitStackTrace.hs
            • FixAfterParse.hs
            • FloatToGlobal.hs
            • InlineLetAlias.hs
            • LamGlobalAsArg.hs
            • LetDefBeforeUse.hs
            • LetFlattenStrict.hs
            • LetUnrec.hs
            • OptimizeStrictness.hs
            • RenUniq.hs
        • CoreRun/
          • Pretty.hs
          • Prim.hs
          • Run.hs
          • Run/
            • Val.hs
            • Val/
              • Prim.hs
              • RunExplStk.hs
              • RunImplStk.hs
        • EH/
          • MainAG.hs
          • MainAG_AGItf.hs
          • MainAG_CaseAlt.hs
          • MainAG_CaseAlts.hs
          • MainAG_DataConstr.hs
          • MainAG_DataConstrs.hs
          • MainAG_DataField.hs
          • MainAG_DataFieldExpr.hs
          • MainAG_DataFieldPatExpr.hs
          • MainAG_DataFields.hs
          • MainAG_Decl.hs
          • MainAG_Decls.hs
          • MainAG_Expr.hs
          • MainAG_ExprAnn.hs
          • MainAG_FuncDep.hs
          • MainAG_FuncDeps.hs
          • MainAG_KiExpr.hs
          • MainAG_KiExprAnn.hs
          • MainAG_MbTyExpr.hs
          • MainAG_PatExpr.hs
          • MainAG_PatExprAnn.hs
          • MainAG_PrExpr.hs
          • MainAG_PrExprs.hs
          • MainAG_RecExpr.hs
          • MainAG_RecPatExpr.hs
          • MainAG_RowTyExpr.hs
          • MainAG_TyExpr.hs
          • MainAG_TyExprAnn.hs
          • MainAG_TyExprs.hs
          • MainAG_TyVar.hs
          • MainAG_TyVars.hs
          • MainAG_common.hs
          • Parser.hs
        • EHC/
          • Common.hs
          • CompileGroup.hs
          • CompileRun.hs
          • CompileUnit.hs
          • Environment.hs
          • InitialSetup.hs
          • CompilePhase/
            • Cleanup.hs
            • Common.hs
            • CompileC.hs
            • FlowBetweenPhase.hs
            • Link.hs
            • Module.hs
            • Output.hs
            • Parsers.hs
            • Run.hs
            • Semantics.hs
            • TopLevelPhases.hs
            • Transformations.hs
            • Translations.hs
        • Error/
          • Pretty.hs
        • Foreign/
          • Boxing.hs
          • Extract.hs
          • Parser.hs
          • Pretty.hs
        • Gam/
          • AppSpineGam.hs
          • Base.hs
          • ClGam.hs
          • ClassDefaultGam.hs
          • DataGam.hs
          • FixityGam.hs
          • Full.hs
          • Instantiate.hs
          • KiGam.hs
          • PolGam.hs
          • Quantify.hs
          • TyGam.hs
          • TyKiGam.hs
          • Utils.hs
          • ValGam.hs
        • HS/
          • MainAG.hs
          • ModImpExp.hs
          • Parser.hs
        • Module/
          • ImportExport.hs
          • Merge.hs
        • Opts/
          • Base.hs
          • CommandLine.hs
        • Pred/
          • CHR.hs
          • CommonCHR.hs
          • Evidence.hs
          • EvidenceToCore.hs
          • Heuristics.hs
          • RedGraph.hs
          • ToCHR.hs
        • Scanner/
          • Common.hs
          • Machine.hs
          • Scanner.hs
          • Token.hs
          • TokenParser.hs
        • Ty/
          • AppSpineGam.hs
          • FIEnv.hs
          • FIEnv2.hs
          • FitsIn.hs
          • FitsInCommon.hs
          • FitsInCommon2.hs
          • Ftv.hs
          • Parser.hs
          • Pretty.hs
          • TreeTrieKey.hs
          • UsedNames.hs
          • Utils1.hs
          • Utils2.hs
          • Trf/
            • BetaReduce.hs
            • Canonic.hs
            • FreshVar.hs
            • Instantiate.hs
            • MergePreds.hs
            • Quantify.hs
            • Subst.hs
        • VarMp/
          • Utils.hs