Skip to main content

Browse the archive

Revision bf7edfee7fb688cd2fd62ab1dd6ff0683c1cabe5 authored by mkolosick on 06 July 2019, 00:40:25 UTC, committed by mkolosick on 06 July 2019, 07:05:04 UTC 
Updating how RRTy and RApp are treated.
 
RRTypes get flattened down as much as they can.
RApp is parsed in similarly to parsing an unrefined base type,
that is as an RRTy with refinement True of an RApp.
1 parent d88274d
Raw File
mist.cabal 
name:                mist 
version:             0.1.0.0
synopsis:            Small language for experimenting with Liquid Types 
license:             MIT
license-file:        LICENSE
author:              Ranjit Jhala
maintainer:          jhala@cs.ucsd.edu
category:            Language
build-type:          Simple
cabal-version:       >=1.10

Library
  ghc-options:         -W -threaded
  exposed-modules:     Language.Mist.Utils,
                       Language.Mist.UX,
                       Language.Mist.Types,
                       Language.Mist.Parser,
                       Language.Mist.Checker,
                       Language.Mist.CGen,
                       Language.Mist.ToFixpoint,
                       Language.Mist.Names,
                       Language.Mist.Normalizer,
                       Language.Mist.Runner

  -- other-extensions:
  build-depends:       array, base,
                       containers,
                       -- TODO: just use unordered (Hashable instances)
                       unordered-containers,
                       pretty,
                       cmdargs,
                       process,
                       directory,
                       semigroups,
                       megaparsec,
                       filepath,
                       process, 
                       text,
                       transformers, mtl,
                       split,
                       liquid-fixpoint

  hs-source-dirs:      lib
  default-language:    Haskell2010
  -- build-tools:         alex, happy
  -- other-modules:       Language.Garter.Lexer


Executable mist 
  default-language:    Haskell2010
  ghc-options:         -W -threaded
  main-is:             Main.hs
  hs-source-dirs:      bin
  build-depends:       base,
                       directory,
                       filepath,
                       text, mist 

test-suite test
  default-language: Haskell98
  type:             exitcode-stdio-1.0
  hs-source-dirs:   tests
  ghc-options:      -threaded
  main-is:          Main.hs
  build-depends:    base,
                    directory,
                    filepath,
                    tasty,
                    tasty-hunit,
                    tasty-rerun,
                    tasty-ant-xml,
                    text,
                    megaparsec,
                    mist,
                    liquid-fixpoint
  other-modules:    Tests.Utils,
                    Tests.Integration.Tests,
                    Tests.Language.Mist.Names
                    Tests.Language.Mist.Checker
                    Tests.Language.Mist.CGen
                    Tests.SimpleTypes
back to top