Name: uhc-light Version: 1.1.9.4 License: BSD3 Copyright: Utrecht University, Department of Information and Computing Sciences, Software Technology group Build-Type: Simple license-file: LICENSE Author: Atze Dijkstra Maintainer: uhc-developers@lists.science.uu.nl Homepage: https://github.com/UU-ComputerScience/uhc Bug-Reports: https://github.com/UU-ComputerScience/uhc/issues Category: Development Synopsis: Part of UHC packaged as cabal/hackage installable library Description: A 'light' variant of UHC including only an API and executables for compiling to Core representation (uhcl) and running CoreRun (uhcr). This version is just to test the infrastructure. Later versions will provide a fleshing out of the API and completion of the now rudimentary platform independent (Haskell) interpreted running etc.. Cabal-Version: >= 1.8 data-files: 103/lib/ag/AnaDomain/AbsSyn.ag,103/lib/ag/Cmm/AbsSyn.ag,103/lib/ag/Core/AbsSyn.ag,103/lib/ag/CoreRun/AbsSyn.ag,103/lib/ag/EH/AbsSyn.ag,103/lib/ag/Error/AbsSyn.ag,103/lib/ag/Foreign/AbsSyn.ag,103/lib/ag/GrinByteCode/AbsSyn.ag,103/lib/ag/GrinCode/AbsSyn.ag,103/lib/ag/HS/AbsSyn.ag,103/lib/ag/JavaScript/AbsSyn.ag,103/lib/ag/JVMClass/AbsSyn.ag,103/lib/ag/LLVM/AbsSyn.ag,103/lib/ag/Ty/AbsSyn.ag,103/lib/pkg/array-1.0.0.0/103/cr/plain/Data/Array.bcrr,103/lib/pkg/array-1.0.0.0/103/cr/plain/Data/Array.cr,103/lib/pkg/array-1.0.0.0/103/cr/plain/Data/Array.hi,103/lib/pkg/array-1.0.0.0/103/cr/plain/installed-pkg-config,103/lib/pkg/base-3.0.0.0/103/cr/plain/CompileAll,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Applicative.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Applicative.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Applicative.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Arrow.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Arrow.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Arrow.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Category.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Category.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Category.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Monad/Fix.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Monad/Fix.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Monad/Fix.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Monad/Instances.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Monad/Instances.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Monad/Instances.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Monad/ST/Lazy.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Monad/ST/Lazy.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Monad/ST/Lazy.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Monad/ST.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Monad/ST.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Control/Monad/ST.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Bool.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Bool.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Bool.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Complex.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Complex.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Complex.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Dynamic.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Dynamic.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Dynamic.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Eq.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Eq.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Eq.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Foldable.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Foldable.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Foldable.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Function.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Function.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Function.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Ix.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Ix.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Ix.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Monoid.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Monoid.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Monoid.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Ord.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Ord.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Ord.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Ratio.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Ratio.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Ratio.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/String.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/String.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/String.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Traversable.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Traversable.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Data/Traversable.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/include/consUtils.h,103/lib/pkg/base-3.0.0.0/103/cr/plain/installed-pkg-config,103/lib/pkg/base-3.0.0.0/103/cr/plain/Numeric.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Numeric.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Numeric.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Prelude.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Prelude.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Prelude.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/System/Console/GetOpt.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/System/Console/GetOpt.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/System/Console/GetOpt.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/System/Exit.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/System/Exit.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/System/Exit.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/ParserCombinators/ReadP.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/ParserCombinators/ReadP.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/ParserCombinators/ReadP.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/ParserCombinators/ReadPrec.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/ParserCombinators/ReadPrec.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/ParserCombinators/ReadPrec.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/Read/Lex.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/Read/Lex.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/Read/Lex.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/Read.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/Read.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/Read.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/Show/Functions.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/Show/Functions.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/Show/Functions.hi,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/Show.bcrr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/Show.cr,103/lib/pkg/base-3.0.0.0/103/cr/plain/Text/Show.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Control/Monad.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Control/Monad.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Control/Monad.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Bits.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Bits.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Bits.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Char.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Char.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Char.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Either.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Either.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Either.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/IORef.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/IORef.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/IORef.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/List.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/List.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/List.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Maybe.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Maybe.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Maybe.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Typeable.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Typeable.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Data/Typeable.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Debug/Trace.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Debug/Trace.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Debug/Trace.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Foreign/Ptr.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Foreign/Ptr.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Foreign/Ptr.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Foreign/StablePtr.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Foreign/StablePtr.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Foreign/StablePtr.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/include/CTypes.h,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/include/dirUtils.h,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/include/HsBase.h,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/include/HsBaseConfig.h,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/include/IntLikeInstance.h,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/include/MachDeps.h,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/include/TupleInstance.h,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/include/Typeable.h,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/installed-pkg-config,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/System/IO/Error.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/System/IO/Error.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/System/IO/Error.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/System/IO/Fix.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/System/IO/Fix.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/System/IO/Fix.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/System/IO/Unsafe.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/System/IO/Unsafe.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/System/IO/Unsafe.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/System/IO.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/System/IO.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/System/IO.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Array.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Array.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Array.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Base.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Base.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Base.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Bits.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Bits.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Bits.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Bounded.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Bounded.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Bounded.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/BoxArray.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/BoxArray.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/BoxArray.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Char.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Char.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Char.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Enum.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Enum.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Enum.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Eq.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Eq.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Eq.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Float.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Float.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Float.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/GC.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/GC.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/GC.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Generics/Tuple.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Generics/Tuple.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Generics/Tuple.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Generics.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Generics.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Generics.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Handle.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Handle.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Handle.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/IO.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/IO.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/IO.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/IOBase.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/IOBase.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/IOBase.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Ix.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Ix.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Ix.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/LazyST.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/LazyST.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/LazyST.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/MutVar.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/MutVar.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/MutVar.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/MVar.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/MVar.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/MVar.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/OldException.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/OldException.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/OldException.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Ord.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Ord.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Ord.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Prims.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Prims.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Prims.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Ptr.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Ptr.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Ptr.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Read.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Read.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Read.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Real.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Real.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Real.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Run.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Run.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Run.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Show.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Show.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Show.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/ST.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/ST.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/ST.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/StablePtr.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/StablePtr.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/StablePtr.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/StackTrace.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/StackTrace.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/StackTrace.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/STRef.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/STRef.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/STRef.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Types.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Types.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Types.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Weak.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Weak.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/Weak.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/WeakPtr.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/WeakPtr.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/UHC/WeakPtr.hi,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Unsafe/Coerce.bcrr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Unsafe/Coerce.cr,103/lib/pkg/uhcbase-1.1.9.4/103/cr/plain/Unsafe/Coerce.hi extra-source-files: changelog.md Library Hs-Source-Dirs: src Build-Depends: fgl,uulib>=0.9.19,hashable>=1.2.4&&<1.3,uhc-util>=0.1.6.6&&<0.1.7,base>=4.7&&<5,vector,network,binary,mtl,transformers,directory,containers,array,process,filepath,primitive,binary,syb,bytestring,uulib>=0.9.12,old-locale Extensions: RankNTypes,MultiParamTypeClasses,FunctionalDependencies,UndecidableInstances,DeriveDataTypeable,LiberalTypeSynonyms,StandaloneDeriving,DeriveGeneric,FlexibleContexts,FlexibleInstances,TypeSynonymInstances,ScopedTypeVariables,TypeFamilies Exposed-Modules: UHC.Light.Compiler.API,UHC.Light.Compiler.Base.API,UHC.Light.Compiler.Core.API,UHC.Light.Compiler.CoreRun.API,UHC.Light.Compiler.CoreRun.API.Internal,UHC.Light.Compiler.EH.Main,UHC.Light.Compiler.EHC.Main,UHC.Light.Compiler.EHC.Main.Compile,UHC.Light.Compiler.EHC.Main.Utils Other-Modules: Paths_uhc_light,UHC.Light.Compiler.AbstractCore,UHC.Light.Compiler.AbstractCore.Utils,UHC.Light.Compiler.Base.CfgPP,UHC.Light.Compiler.Base.Common,UHC.Light.Compiler.Base.Debug,UHC.Light.Compiler.Base.FileSearchLocation,UHC.Light.Compiler.Base.Fld,UHC.Light.Compiler.Base.HsName,UHC.Light.Compiler.Base.HsName.Builtin,UHC.Light.Compiler.Base.Optimize,UHC.Light.Compiler.Base.PackageDatabase,UHC.Light.Compiler.Base.ParseUtils,UHC.Light.Compiler.Base.Parser,UHC.Light.Compiler.Base.Parser2,UHC.Light.Compiler.Base.Pragma,UHC.Light.Compiler.Base.Range,UHC.Light.Compiler.Base.Strictness,UHC.Light.Compiler.Base.Target,UHC.Light.Compiler.Base.TermLike,UHC.Light.Compiler.Base.Trace,UHC.Light.Compiler.Base.UID,UHC.Light.Compiler.Base.UnderDev,UHC.Light.Compiler.CHR.CtxtRedOnly.Constraint,UHC.Light.Compiler.CHR.CtxtRedOnly.Guard,UHC.Light.Compiler.CHR.CtxtRedOnly.Instances,UHC.Light.Compiler.CHR.CtxtRedOnly.Key,UHC.Light.Compiler.CHR.CtxtRedOnly.Solve,UHC.Light.Compiler.CodeGen.BasicAnnot,UHC.Light.Compiler.CodeGen.Bits,UHC.Light.Compiler.CodeGen.BuiltinPrims,UHC.Light.Compiler.CodeGen.BuiltinSizeInfo,UHC.Light.Compiler.CodeGen.CEnv,UHC.Light.Compiler.CodeGen.CVar,UHC.Light.Compiler.CodeGen.Const,UHC.Light.Compiler.CodeGen.ImportUsedModules,UHC.Light.Compiler.CodeGen.ModuleImportExportImpl,UHC.Light.Compiler.CodeGen.RefGenerator,UHC.Light.Compiler.CodeGen.Tag,UHC.Light.Compiler.CodeGen.TrfUtils,UHC.Light.Compiler.CodeGen.ValAccess,UHC.Light.Compiler.Config,UHC.Light.Compiler.ConfigCabal,UHC.Light.Compiler.ConfigDefines,UHC.Light.Compiler.ConfigInstall,UHC.Light.Compiler.ConfigInternalVersions,UHC.Light.Compiler.Core,UHC.Light.Compiler.Core.BindExtract,UHC.Light.Compiler.Core.Check,UHC.Light.Compiler.Core.Coercion,UHC.Light.Compiler.Core.ExtractFFE,UHC.Light.Compiler.Core.FFI,UHC.Light.Compiler.Core.FvS,UHC.Light.Compiler.Core.Merge,UHC.Light.Compiler.Core.ModAsMap,UHC.Light.Compiler.Core.Parser,UHC.Light.Compiler.Core.Pretty,UHC.Light.Compiler.Core.PrettyTrace,UHC.Light.Compiler.Core.Subst,UHC.Light.Compiler.Core.SysF.AsTy,UHC.Light.Compiler.Core.ToCoreRun,UHC.Light.Compiler.Core.ToGrin,UHC.Light.Compiler.Core.Trf,UHC.Light.Compiler.Core.Trf.ANormal,UHC.Light.Compiler.Core.Trf.AnnBasedSimplify,UHC.Light.Compiler.Core.Trf.CAFGlobalAsArg,UHC.Light.Compiler.Core.Trf.ConstProp,UHC.Light.Compiler.Core.Trf.ElimNonCodegenConstructs,UHC.Light.Compiler.Core.Trf.ElimTrivApp,UHC.Light.Compiler.Core.Trf.EraseExtractTysigCore,UHC.Light.Compiler.Core.Trf.EtaRed,UHC.Light.Compiler.Core.Trf.ExplicitStackTrace,UHC.Light.Compiler.Core.Trf.FixAfterParse,UHC.Light.Compiler.Core.Trf.FloatToGlobal,UHC.Light.Compiler.Core.Trf.InlineLetAlias,UHC.Light.Compiler.Core.Trf.LamGlobalAsArg,UHC.Light.Compiler.Core.Trf.LetDefBeforeUse,UHC.Light.Compiler.Core.Trf.LetFlattenStrict,UHC.Light.Compiler.Core.Trf.LetUnrec,UHC.Light.Compiler.Core.Trf.RenUniq,UHC.Light.Compiler.Core.UsedModNms,UHC.Light.Compiler.Core.Utils,UHC.Light.Compiler.CoreRun,UHC.Light.Compiler.CoreRun.Check,UHC.Light.Compiler.CoreRun.ModImpExp,UHC.Light.Compiler.CoreRun.Parser,UHC.Light.Compiler.CoreRun.Pretty,UHC.Light.Compiler.CoreRun.Prim,UHC.Light.Compiler.CoreRun.Run,UHC.Light.Compiler.CoreRun.Run.Val,UHC.Light.Compiler.CoreRun.Run.Val.Prim,UHC.Light.Compiler.CoreRun.Run.Val.RunExplStk,UHC.Light.Compiler.CoreRun.Run.Val.RunImplStk,UHC.Light.Compiler.Deriving,UHC.Light.Compiler.EH,UHC.Light.Compiler.EH.MainAG,UHC.Light.Compiler.EH.MainAG_AGItf,UHC.Light.Compiler.EH.MainAG_CaseAlt,UHC.Light.Compiler.EH.MainAG_CaseAlts,UHC.Light.Compiler.EH.MainAG_DataConstr,UHC.Light.Compiler.EH.MainAG_DataConstrs,UHC.Light.Compiler.EH.MainAG_DataField,UHC.Light.Compiler.EH.MainAG_DataFieldExpr,UHC.Light.Compiler.EH.MainAG_DataFieldPatExpr,UHC.Light.Compiler.EH.MainAG_DataFields,UHC.Light.Compiler.EH.MainAG_Decl,UHC.Light.Compiler.EH.MainAG_Decls,UHC.Light.Compiler.EH.MainAG_Expr,UHC.Light.Compiler.EH.MainAG_ExprAnn,UHC.Light.Compiler.EH.MainAG_FuncDep,UHC.Light.Compiler.EH.MainAG_FuncDeps,UHC.Light.Compiler.EH.MainAG_KiExpr,UHC.Light.Compiler.EH.MainAG_KiExprAnn,UHC.Light.Compiler.EH.MainAG_MbTyExpr,UHC.Light.Compiler.EH.MainAG_PatExpr,UHC.Light.Compiler.EH.MainAG_PatExprAnn,UHC.Light.Compiler.EH.MainAG_PrExpr,UHC.Light.Compiler.EH.MainAG_PrExprs,UHC.Light.Compiler.EH.MainAG_RecExpr,UHC.Light.Compiler.EH.MainAG_RecPatExpr,UHC.Light.Compiler.EH.MainAG_RowTyExpr,UHC.Light.Compiler.EH.MainAG_TyExpr,UHC.Light.Compiler.EH.MainAG_TyExprAnn,UHC.Light.Compiler.EH.MainAG_TyExprs,UHC.Light.Compiler.EH.MainAG_TyVar,UHC.Light.Compiler.EH.MainAG_TyVars,UHC.Light.Compiler.EH.MainAG_common,UHC.Light.Compiler.EH.Parser,UHC.Light.Compiler.EHC.ASTHandler,UHC.Light.Compiler.EHC.ASTHandler.Instances,UHC.Light.Compiler.EHC.ASTPipeline,UHC.Light.Compiler.EHC.ASTTypes,UHC.Light.Compiler.EHC.BuildFunction,UHC.Light.Compiler.EHC.BuildFunction.Run,UHC.Light.Compiler.EHC.Common,UHC.Light.Compiler.EHC.CompileGroup,UHC.Light.Compiler.EHC.CompilePhase.Cleanup,UHC.Light.Compiler.EHC.CompilePhase.Common,UHC.Light.Compiler.EHC.CompilePhase.CompileC,UHC.Light.Compiler.EHC.CompilePhase.FlowBetweenPhase,UHC.Light.Compiler.EHC.CompilePhase.Link,UHC.Light.Compiler.EHC.CompilePhase.Module,UHC.Light.Compiler.EHC.CompilePhase.Output,UHC.Light.Compiler.EHC.CompilePhase.Parsers,UHC.Light.Compiler.EHC.CompilePhase.Run,UHC.Light.Compiler.EHC.CompilePhase.Semantics,UHC.Light.Compiler.EHC.CompilePhase.TopLevelPhases,UHC.Light.Compiler.EHC.CompilePhase.Transformations,UHC.Light.Compiler.EHC.CompilePhase.Translations,UHC.Light.Compiler.EHC.CompileRun,UHC.Light.Compiler.EHC.CompileRun.Base,UHC.Light.Compiler.EHC.CompileUnit,UHC.Light.Compiler.EHC.Environment,UHC.Light.Compiler.EHC.FileSuffMp,UHC.Light.Compiler.EHC.InitialSetup,UHC.Light.Compiler.Error,UHC.Light.Compiler.Error.Pretty,UHC.Light.Compiler.FinalEnv,UHC.Light.Compiler.Foreign,UHC.Light.Compiler.Foreign.Boxing,UHC.Light.Compiler.Foreign.Extract,UHC.Light.Compiler.Foreign.Parser,UHC.Light.Compiler.Foreign.Pretty,UHC.Light.Compiler.Gam,UHC.Light.Compiler.Gam.AppSpineGam,UHC.Light.Compiler.Gam.Base,UHC.Light.Compiler.Gam.ClGam,UHC.Light.Compiler.Gam.ClassDefaultGam,UHC.Light.Compiler.Gam.DataGam,UHC.Light.Compiler.Gam.FixityGam,UHC.Light.Compiler.Gam.Full,UHC.Light.Compiler.Gam.Instantiate,UHC.Light.Compiler.Gam.KiGam,UHC.Light.Compiler.Gam.PolGam,UHC.Light.Compiler.Gam.Quantify,UHC.Light.Compiler.Gam.TyGam,UHC.Light.Compiler.Gam.TyKiGam,UHC.Light.Compiler.Gam.Utils,UHC.Light.Compiler.Gam.ValGam,UHC.Light.Compiler.Generics,UHC.Light.Compiler.HI,UHC.Light.Compiler.HS,UHC.Light.Compiler.HS.MainAG,UHC.Light.Compiler.HS.ModImpExp,UHC.Light.Compiler.HS.Parser,UHC.Light.Compiler.LamInfo,UHC.Light.Compiler.Module.ImportExport,UHC.Light.Compiler.Module.Merge,UHC.Light.Compiler.NameAspect,UHC.Light.Compiler.Opts,UHC.Light.Compiler.Opts.Base,UHC.Light.Compiler.Opts.CommandLine,UHC.Light.Compiler.Pred,UHC.Light.Compiler.Pred.CtxtRedOnly.Evidence,UHC.Light.Compiler.Pred.CtxtRedOnly.EvidenceToCore,UHC.Light.Compiler.Pred.CtxtRedOnly.Heuristics,UHC.Light.Compiler.Pred.CtxtRedOnly.RedGraph,UHC.Light.Compiler.Pred.CtxtRedOnly.ToCHR,UHC.Light.Compiler.Scanner.Common,UHC.Light.Compiler.Scanner.Machine,UHC.Light.Compiler.Scanner.Scanner,UHC.Light.Compiler.Scanner.Token,UHC.Light.Compiler.Scanner.TokenParser,UHC.Light.Compiler.SourceCodeSig,UHC.Light.Compiler.Substitutable,UHC.Light.Compiler.Ty,UHC.Light.Compiler.Ty.AppSpineGam,UHC.Light.Compiler.Ty.FIEnv,UHC.Light.Compiler.Ty.FIEnv2,UHC.Light.Compiler.Ty.FitsIn,UHC.Light.Compiler.Ty.FitsInCommon,UHC.Light.Compiler.Ty.FitsInCommon2,UHC.Light.Compiler.Ty.Ftv,UHC.Light.Compiler.Ty.Parser,UHC.Light.Compiler.Ty.Pretty,UHC.Light.Compiler.Ty.TreeTrieKey,UHC.Light.Compiler.Ty.Trf.BetaReduce,UHC.Light.Compiler.Ty.Trf.Canonic,UHC.Light.Compiler.Ty.Trf.FreshVar,UHC.Light.Compiler.Ty.Trf.Instantiate,UHC.Light.Compiler.Ty.Trf.MergePreds,UHC.Light.Compiler.Ty.Trf.Quantify,UHC.Light.Compiler.Ty.Trf.Subst,UHC.Light.Compiler.Ty.UsedNames,UHC.Light.Compiler.Ty.Utils1,UHC.Light.Compiler.Ty.Utils2,UHC.Light.Compiler.VarLookup,UHC.Light.Compiler.VarMp,UHC.Light.Compiler.VarMp.Utils Ghc-Options: -fno-warn-tabs Executable uhcl Hs-Source-Dirs: src-main Build-Depends: uhc-light==1.1.9.4, fgl,uulib>=0.9.19,hashable>=1.2.4&&<1.3,uhc-util>=0.1.6.6&&<0.1.7,base>=4.7&&<5,vector,network,binary,mtl,transformers,directory,containers,array,process,filepath,primitive,binary,syb,bytestring,uulib>=0.9.12,old-locale Extensions: RankNTypes,MultiParamTypeClasses,FunctionalDependencies,UndecidableInstances,DeriveDataTypeable,LiberalTypeSynonyms,StandaloneDeriving,DeriveGeneric,FlexibleContexts,FlexibleInstances,TypeSynonymInstances,ScopedTypeVariables,TypeFamilies Main-Is: EHC.hs Executable uhcr Hs-Source-Dirs: src-main Build-Depends: uhc-light==1.1.9.4, fgl,uulib>=0.9.19,hashable>=1.2.4&&<1.3,uhc-util>=0.1.6.6&&<0.1.7,base>=4.7&&<5,vector,network,binary,mtl,transformers,directory,containers,array,process,filepath,primitive,binary,syb,bytestring,uulib>=0.9.12,old-locale Extensions: RankNTypes,MultiParamTypeClasses,FunctionalDependencies,UndecidableInstances,DeriveDataTypeable,LiberalTypeSynonyms,StandaloneDeriving,DeriveGeneric,FlexibleContexts,FlexibleInstances,TypeSynonymInstances,ScopedTypeVariables,TypeFamilies Main-Is: EHCRun.hs