name: helium version: 1.8 synopsis: The Helium Compiler. homepage: http://www.cs.uu.nl/wiki/bin/view/Helium/WebHome description: Helium is a compiler for a subset of Haskell that aims at delivering high quality type error messages particularly for beginner programmers. It also includes facilities for specializing type error diagnosis for embedded domain specific languages. The compiler supports Haskell 98, but without the ability to define new type classes and instances. category: Compiler copyright: (c) 2014 license: GPL license-file: LICENSE.txt author: Bastiaan Heeren, Jurriaan Hage maintainer: helium@cs.uu.nl stability: provisional extra-source-files: CREDITS.txt src/Makefile src/Helium/CodeGeneration/CodeGeneration.ag src/Helium/CodeGeneration/ToCoreDecl.ag src/Helium/CodeGeneration/ToCoreExpr.ag src/Helium/CodeGeneration/ToCoreModule.ag src/Helium/CodeGeneration/ToCoreName.ag src/Helium/CodeGeneration/ToCorePat.ag src/Helium/ModuleSystem/ExtractImportDecls.ag src/Helium/Parser/ResolveOperators.ag src/Helium/StaticAnalysis/Directives/TS_Analyse.ag src/Helium/StaticAnalysis/Directives/TS_Apply.ag src/Helium/StaticAnalysis/Directives/TS_Collect.ag src/Helium/StaticAnalysis/Directives/TS_CoreSyntax.ag src/Helium/StaticAnalysis/Directives/TS_PatternMatching.ag src/Helium/StaticAnalysis/Directives/TS_Syntax.ag src/Helium/StaticAnalysis/Directives/TS_ToCore.ag src/Helium/StaticAnalysis/Inferencers/GlobalInfo.ag src/Helium/StaticAnalysis/Inferencers/KindInferencing.ag src/Helium/StaticAnalysis/Inferencers/LocalInfo.ag src/Helium/StaticAnalysis/Inferencers/PatternMatchWarnings.ag src/Helium/StaticAnalysis/Inferencers/TypeInferenceCollect.ag src/Helium/StaticAnalysis/Inferencers/TypeInferenceInfo.ag src/Helium/StaticAnalysis/Inferencers/TypeInferenceOverloading.ag src/Helium/StaticAnalysis/Inferencers/TypeInferenceRules.ag src/Helium/StaticAnalysis/Inferencers/TypeInferencing.ag src/Helium/StaticAnalysis/StaticChecks/Collect.ag src/Helium/StaticAnalysis/StaticChecks/ExportErrors.ag src/Helium/StaticAnalysis/StaticChecks/HeliumPartialSyntax.ag src/Helium/StaticAnalysis/StaticChecks/KindChecking.ag src/Helium/StaticAnalysis/StaticChecks/MiscErrors.ag src/Helium/StaticAnalysis/StaticChecks/Scope.ag src/Helium/StaticAnalysis/StaticChecks/ScopeErrors.ag src/Helium/StaticAnalysis/StaticChecks/StaticChecks.ag src/Helium/StaticAnalysis/StaticChecks/TopLevelErrors.ag src/Helium/StaticAnalysis/StaticChecks/Warnings.ag src/Helium/Syntax/UHA_OneLine.ag src/Helium/Syntax/UHA_Pretty.ag src/Helium/Syntax/UHA_Syntax.ag build-type: Simple cabal-version: >= 1.10.1.0 tested-with: GHC == 7.6.3 data-files: lib/Char.hs lib/HeliumLang.core lib/List.hs lib/LvmException.core lib/LvmIO.core lib/LvmLang.core lib/Makefile lib/Maybe.hs lib/Prelude.hs lib/Prelude.type lib/PreludePrim.core lib/simple/Char.hs lib/simple/HeliumLang.core lib/simple/List.hs lib/simple/LvmException.core lib/simple/LvmIO.core lib/simple/LvmLang.core lib/simple/Makefile lib/simple/Maybe.hs lib/simple/Prelude.hs lib/simple/Prelude.type lib/simple/PreludePrim.core hint.conf source-repository head type: svn location: https://subversion.cs.uu.nl/repos/staff.jur.Top/trunk -------------------------------------------------------------------------------- Executable helium Build-Depends: base >= 3 && < 5, containers, mtl, parsec, network, process, transformers, filepath, directory, wl-pprint, Top >= 1.7, lvmlib >= 1.1 ghc-options: -Wall default-language: Haskell98 hs-source-dirs: src Main-is: Helium/Main.hs other-modules: Paths_helium -------------------------------------------------------------------------------- Executable texthint Build-Depends: base >= 3 && < 5, containers, mtl, filepath, parsec, directory, process ghc-options: -Wall default-language: Haskell98 hs-source-dirs: src Main-is: TextHint/Main.hs other-modules: Paths_helium, TextHint.ConfigFile -------------------------------------------------------------------------------- Executable runhelium Build-Depends: base >= 3 && < 5, containers, filepath, directory, parsec, process ghc-options: -Wall default-language: Haskell98 hs-source-dirs: src Main-is: RunHelium/Main.hs other-modules: Paths_helium -------------------------------------------------------------------------------- Library Build-Depends: base >= 3 && < 5, containers, mtl, parsec, network, process, transformers, filepath, directory, wl-pprint, Top >= 1.7, lvmlib >= 1.1 ghc-options: -Wall default-language: Haskell98 hs-source-dirs: src Exposed-modules: Helium.CodeGeneration.CodeGeneration Helium.CodeGeneration.CoreToLvm Helium.CodeGeneration.CoreUtils Helium.CodeGeneration.DerivingEq Helium.CodeGeneration.DerivingShow Helium.CodeGeneration.PatternMatch Helium.Main.Args Helium.Main.Compile Helium.Main.CompileUtils Helium.Main.PhaseCodeGenerator Helium.Main.PhaseDesugarer Helium.Main.PhaseImport Helium.Main.PhaseKindInferencer Helium.Main.PhaseLexer Helium.Main.PhaseParser Helium.Main.PhaseResolveOperators Helium.Main.PhaseStaticChecks Helium.Main.PhaseTypeInferencer Helium.Main.PhaseTypingStrategies Helium.Main.Version Helium.ModuleSystem.CoreToImportEnv Helium.ModuleSystem.DictionaryEnvironment Helium.ModuleSystem.ExtractImportDecls Helium.ModuleSystem.ImportEnvironment Helium.Parser.CollectFunctionBindings Helium.Parser.LayoutRule Helium.Parser.Lexer Helium.Parser.LexerMessage Helium.Parser.LexerMonad Helium.Parser.LexerToken Helium.Parser.OperatorTable Helium.Parser.ParseLibrary Helium.Parser.ParseMessage Helium.Parser.Parser Helium.Parser.ResolveOperators Helium.StaticAnalysis.Directives.Matchers Helium.StaticAnalysis.Directives.TS_Analyse Helium.StaticAnalysis.Directives.TS_Apply Helium.StaticAnalysis.Directives.TS_Attributes Helium.StaticAnalysis.Directives.TS_Compile Helium.StaticAnalysis.Directives.TS_CoreSyntax Helium.StaticAnalysis.Directives.TS_Messages Helium.StaticAnalysis.Directives.TS_Parser Helium.StaticAnalysis.Directives.TS_Syntax Helium.StaticAnalysis.Directives.TS_ToCore Helium.StaticAnalysis.Heuristics.HeuristicsInfo Helium.StaticAnalysis.Heuristics.ListOfHeuristics Helium.StaticAnalysis.Heuristics.OnlyResultHeuristics Helium.StaticAnalysis.Heuristics.RepairHeuristics Helium.StaticAnalysis.Heuristics.TieBreakerHeuristics Helium.StaticAnalysis.Heuristics.UnifierHeuristics Helium.StaticAnalysis.Inferencers.BindingGroupAnalysis Helium.StaticAnalysis.Inferencers.ExpressionTypeInferencer Helium.StaticAnalysis.Inferencers.KindInferencing Helium.StaticAnalysis.Inferencers.SelectConstraintSolver Helium.StaticAnalysis.Inferencers.TypeInferencing Helium.StaticAnalysis.Messages.HeliumMessages Helium.StaticAnalysis.Messages.Information Helium.StaticAnalysis.Messages.KindErrors Helium.StaticAnalysis.Messages.Messages Helium.StaticAnalysis.Messages.StaticErrors Helium.StaticAnalysis.Messages.TypeErrors Helium.StaticAnalysis.Messages.Warnings Helium.StaticAnalysis.Miscellaneous.ConstraintInfo Helium.StaticAnalysis.Miscellaneous.DoublyLinkedTree Helium.StaticAnalysis.Miscellaneous.TypeConstraints Helium.StaticAnalysis.Miscellaneous.TypeConversion Helium.StaticAnalysis.Miscellaneous.TypesToAlignedDocs Helium.StaticAnalysis.Miscellaneous.UHA_Source Helium.StaticAnalysis.StaticChecks.StaticChecks Helium.Syntax.UHA_OneLine Helium.Syntax.UHA_Pretty Helium.Syntax.UHA_Range Helium.Syntax.UHA_Syntax Helium.Syntax.UHA_Utils Helium.Utils.Logger Helium.Utils.OneLiner Helium.Utils.Similarity Helium.Utils.Texts Helium.Utils.Utils Other-modules: