1. Verification@HASLab
  2. Untitled project
  3. spark-parser
  4. Commits

Commit

Comments (0)

Files changed (1)

File spark-parser.cabal Modified

View file
  • Ignore whitespace
  • Hide word diff 
 version:             0.1.0.0
 
 -- A short (one-line) description of the package.
-synopsis: A parser for SPARK programming language
+synopsis:            A parser for SPARK programs
 
 -- A longer description of the package.
 -- description:         
 
 library
   -- Modules exported by the library.
-  exposed-modules:     SPARK.Language.AST, SPARK.Language.ASTUtils, SPARK.Language.Lexer, SPARK.Language.Parser, SPARK.Language.ParserBinops, SPARK.Language.Printer
+  exposed-modules:     Spark.Language.AST, Spark.Language.ASTUtils, Spark.Language.Lexer, Spark.Language.Parser, Spark.Language.ParserBinops, Spark.Language.Printer
   
   -- Modules included in this library but not exported.
   -- other-modules:       
   
   -- Other library packages from which modules are imported.
   build-depends:       base ==4.5.*, uniplate ==1.6.*, containers ==0.4.*, mtl ==2.1.*, parsec ==3.1.*, filepath ==1.3.*, pretty ==1.1.*
-  
+