Revision 72aa198b460b1ada73f66f35edc05901fe503f8c authored by Anish Tondwalkar on 01 August 2019, 07:53:00 UTC, committed by Anish Tondwalkar on 01 August 2019, 07:53:00 UTC
The problem is that when we have an ~> under an forall, at the term level we have a tabs, and that means we have to swtich from checking (at the type with the implicit parameter) to synthing (plus a subtyping check). But when we synth, this implicit parameter is simply not in scope: since it's not bound anywhere in the term, it can't be added to the context during synthesis.
1 parent 95a7cd4
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
Computing file changes ...