Revision bf7edfee7fb688cd2fd62ab1dd6ff0683c1cabe5 authored by mkolosick on 06 July 2019, 00:40:25 UTC, committed by mkolosick on 06 July 2019, 07:05:04 UTC
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
stack.yaml
resolver: lts-12.15
packages:
- '.'
flags: {}
extra-deps:
- tasty-rerun-1.1.12
- './liquid-fixpoint/'
# liquid-fixpoint and deps
#- github: ucsd-progsys/liquid-fixpoint
# commit: 76fad453f5e3c7945179c9e311cc7b9fd9e08f03
- dotgen-0.4.2
- fgl-visualize-0.1.0.1
- intern-0.9.2
- located-base-0.1.1.1
- text-format-0.3.2
extra-package-dbs: []
Computing file changes ...
