camfort 1.1.1 → 1.1.2
raw patch · 3 files changed
+15/−5 lines, 3 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Language.Fortran.Model.Singletons: [Compare_6989586621679394027Sym0KindInference] :: SameKind (Apply Compare_6989586621679394027Sym0 arg_a1BXp) (Compare_6989586621679394027Sym1 arg_a1BXp) => Compare_6989586621679394027Sym0 a6989586621679394032
- Language.Fortran.Model.Singletons: [Compare_6989586621679394027Sym1KindInference] :: SameKind (Apply (Compare_6989586621679394027Sym1 a6989586621679394032) arg_a1BXp) (Compare_6989586621679394027Sym2 a6989586621679394032 arg_a1BXp) => Compare_6989586621679394027Sym1 a6989586621679394032 a6989586621679394033
- Language.Fortran.Model.Singletons: [Compare_6989586621679394036Sym0KindInference] :: SameKind (Apply Compare_6989586621679394036Sym0 arg_a1BXy) (Compare_6989586621679394036Sym1 arg_a1BXy) => Compare_6989586621679394036Sym0 a6989586621679394041
- Language.Fortran.Model.Singletons: [Compare_6989586621679394036Sym1KindInference] :: SameKind (Apply (Compare_6989586621679394036Sym1 a6989586621679394041) arg_a1BXy) (Compare_6989586621679394036Sym2 a6989586621679394041 arg_a1BXy) => Compare_6989586621679394036Sym1 a6989586621679394041 a6989586621679394042
- Language.Fortran.Model.Singletons: data Compare_6989586621679394027Sym0 a6989586621679394032
- Language.Fortran.Model.Singletons: data Compare_6989586621679394027Sym1 a6989586621679394032 a6989586621679394033
- Language.Fortran.Model.Singletons: data Compare_6989586621679394036Sym0 a6989586621679394041
- Language.Fortran.Model.Singletons: data Compare_6989586621679394036Sym1 a6989586621679394041 a6989586621679394042
- Language.Fortran.Model.Singletons: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Language.Fortran.Model.Singletons.BasicTypeMaxSym1 a6989586621679392793)
- Language.Fortran.Model.Singletons: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Language.Fortran.Model.Singletons.Compare_6989586621679394027Sym1 a6989586621679394032)
- Language.Fortran.Model.Singletons: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Language.Fortran.Model.Singletons.Compare_6989586621679394036Sym1 a6989586621679394041)
- Language.Fortran.Model.Singletons: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Language.Fortran.Model.Singletons.PrecMaxSym1 a6989586621679392804)
- Language.Fortran.Model.Singletons: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Language.Fortran.Model.Singletons.Compare_6989586621679394027Sym0
- Language.Fortran.Model.Singletons: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Language.Fortran.Model.Singletons.Compare_6989586621679394036Sym0
- Language.Fortran.Model.Singletons: type Compare_6989586621679394027Sym2 (a6989586621679394032 :: Precision) (a6989586621679394033 :: Precision) = Compare_6989586621679394027 a6989586621679394032 a6989586621679394033 :: Ordering
- Language.Fortran.Model.Singletons: type Compare_6989586621679394036Sym2 (a6989586621679394041 :: BasicType) (a6989586621679394042 :: BasicType) = Compare_6989586621679394036 a6989586621679394041 a6989586621679394042 :: Ordering
+ Language.Fortran.Model.Singletons: [Compare_6989586621679394002Sym0KindInference] :: SameKind (Apply Compare_6989586621679394002Sym0 arg_a1BX0) (Compare_6989586621679394002Sym1 arg_a1BX0) => Compare_6989586621679394002Sym0 a6989586621679394007
+ Language.Fortran.Model.Singletons: [Compare_6989586621679394002Sym1KindInference] :: SameKind (Apply (Compare_6989586621679394002Sym1 a6989586621679394007) arg_a1BX0) (Compare_6989586621679394002Sym2 a6989586621679394007 arg_a1BX0) => Compare_6989586621679394002Sym1 a6989586621679394007 a6989586621679394008
+ Language.Fortran.Model.Singletons: [Compare_6989586621679394011Sym0KindInference] :: SameKind (Apply Compare_6989586621679394011Sym0 arg_a1BX9) (Compare_6989586621679394011Sym1 arg_a1BX9) => Compare_6989586621679394011Sym0 a6989586621679394016
+ Language.Fortran.Model.Singletons: [Compare_6989586621679394011Sym1KindInference] :: SameKind (Apply (Compare_6989586621679394011Sym1 a6989586621679394016) arg_a1BX9) (Compare_6989586621679394011Sym2 a6989586621679394016 arg_a1BX9) => Compare_6989586621679394011Sym1 a6989586621679394016 a6989586621679394017
+ Language.Fortran.Model.Singletons: data Compare_6989586621679394002Sym0 a6989586621679394007
+ Language.Fortran.Model.Singletons: data Compare_6989586621679394002Sym1 a6989586621679394007 a6989586621679394008
+ Language.Fortran.Model.Singletons: data Compare_6989586621679394011Sym0 a6989586621679394016
+ Language.Fortran.Model.Singletons: data Compare_6989586621679394011Sym1 a6989586621679394016 a6989586621679394017
+ Language.Fortran.Model.Singletons: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Language.Fortran.Model.Singletons.BasicTypeMaxSym1 a6989586621679392768)
+ Language.Fortran.Model.Singletons: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Language.Fortran.Model.Singletons.Compare_6989586621679394002Sym1 a6989586621679394007)
+ Language.Fortran.Model.Singletons: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Language.Fortran.Model.Singletons.Compare_6989586621679394011Sym1 a6989586621679394016)
+ Language.Fortran.Model.Singletons: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Language.Fortran.Model.Singletons.PrecMaxSym1 a6989586621679392779)
+ Language.Fortran.Model.Singletons: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Language.Fortran.Model.Singletons.Compare_6989586621679394002Sym0
+ Language.Fortran.Model.Singletons: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Language.Fortran.Model.Singletons.Compare_6989586621679394011Sym0
+ Language.Fortran.Model.Singletons: type Compare_6989586621679394002Sym2 (a6989586621679394007 :: Precision) (a6989586621679394008 :: Precision) = Compare_6989586621679394002 a6989586621679394007 a6989586621679394008 :: Ordering
+ Language.Fortran.Model.Singletons: type Compare_6989586621679394011Sym2 (a6989586621679394016 :: BasicType) (a6989586621679394017 :: BasicType) = Compare_6989586621679394011 a6989586621679394016 a6989586621679394017 :: Ordering
- Camfort.Specification.Hoare.Annotation: hoarePUName :: forall a_a16cW. Lens' (HoareAnnotation a_a16cW) (Maybe ProgramUnitName)
+ Camfort.Specification.Hoare.Annotation: hoarePUName :: forall a_a16cx. Lens' (HoareAnnotation a_a16cx) (Maybe ProgramUnitName)
- Camfort.Specification.Hoare.Annotation: hoarePrevAnnotation :: forall a_a16cW a_a16lq. Lens (HoareAnnotation a_a16cW) (HoareAnnotation a_a16lq) a_a16cW a_a16lq
+ Camfort.Specification.Hoare.Annotation: hoarePrevAnnotation :: forall a_a16cx a_a16l1. Lens (HoareAnnotation a_a16cx) (HoareAnnotation a_a16l1) a_a16cx a_a16l1
- Camfort.Specification.Hoare.Annotation: hoareSod :: forall a_a16cW. Lens' (HoareAnnotation a_a16cW) (Maybe (SpecOrDecl InnerHA))
+ Camfort.Specification.Hoare.Annotation: hoareSod :: forall a_a16cx. Lens' (HoareAnnotation a_a16cx) (Maybe (SpecOrDecl InnerHA))
- Language.Fortran.Model.Repr.Prim: prhKind :: forall a_a1XnR. Lens' (PrimReprHandler a_a1XnR) Kind
+ Language.Fortran.Model.Repr.Prim: prhKind :: forall a_a1Xns. Lens' (PrimReprHandler a_a1Xns) Kind
- Language.Fortran.Model.Repr.Prim: prhLiteral :: forall a_a1XnR a_a1Xyl. Lens (PrimReprHandler a_a1XnR) (PrimReprHandler a_a1Xyl) (a_a1XnR -> SVal) (a_a1Xyl -> SVal)
+ Language.Fortran.Model.Repr.Prim: prhLiteral :: forall a_a1Xns a_a1XxW. Lens (PrimReprHandler a_a1Xns) (PrimReprHandler a_a1XxW) (a_a1Xns -> SVal) (a_a1XxW -> SVal)
- Language.Fortran.Model.Repr.Prim: prhSymbolic :: forall a_a1XnR. Lens' (PrimReprHandler a_a1XnR) (String -> Symbolic SVal)
+ Language.Fortran.Model.Repr.Prim: prhSymbolic :: forall a_a1Xns. Lens' (PrimReprHandler a_a1Xns) (String -> Symbolic SVal)
- Language.Fortran.Model.Singletons: [BasicTypeMaxSym0KindInference] :: SameKind (Apply BasicTypeMaxSym0 arg_a1BDq) (BasicTypeMaxSym1 arg_a1BDq) => BasicTypeMaxSym0 a6989586621679392793
+ Language.Fortran.Model.Singletons: [BasicTypeMaxSym0KindInference] :: SameKind (Apply BasicTypeMaxSym0 arg_a1BD1) (BasicTypeMaxSym1 arg_a1BD1) => BasicTypeMaxSym0 a6989586621679392768
- Language.Fortran.Model.Singletons: [BasicTypeMaxSym1KindInference] :: SameKind (Apply (BasicTypeMaxSym1 a6989586621679392793) arg_a1BDq) (BasicTypeMaxSym2 a6989586621679392793 arg_a1BDq) => BasicTypeMaxSym1 a6989586621679392793 a6989586621679392794
+ Language.Fortran.Model.Singletons: [BasicTypeMaxSym1KindInference] :: SameKind (Apply (BasicTypeMaxSym1 a6989586621679392768) arg_a1BD1) (BasicTypeMaxSym2 a6989586621679392768 arg_a1BD1) => BasicTypeMaxSym1 a6989586621679392768 a6989586621679392769
- Language.Fortran.Model.Singletons: [PrecMaxSym0KindInference] :: SameKind (Apply PrecMaxSym0 arg_a1BDB) (PrecMaxSym1 arg_a1BDB) => PrecMaxSym0 a6989586621679392804
+ Language.Fortran.Model.Singletons: [PrecMaxSym0KindInference] :: SameKind (Apply PrecMaxSym0 arg_a1BDc) (PrecMaxSym1 arg_a1BDc) => PrecMaxSym0 a6989586621679392779
- Language.Fortran.Model.Singletons: [PrecMaxSym1KindInference] :: SameKind (Apply (PrecMaxSym1 a6989586621679392804) arg_a1BDB) (PrecMaxSym2 a6989586621679392804 arg_a1BDB) => PrecMaxSym1 a6989586621679392804 a6989586621679392805
+ Language.Fortran.Model.Singletons: [PrecMaxSym1KindInference] :: SameKind (Apply (PrecMaxSym1 a6989586621679392779) arg_a1BDc) (PrecMaxSym2 a6989586621679392779 arg_a1BDc) => PrecMaxSym1 a6989586621679392779 a6989586621679392780
- Language.Fortran.Model.Singletons: data BasicTypeMaxSym0 a6989586621679392793
+ Language.Fortran.Model.Singletons: data BasicTypeMaxSym0 a6989586621679392768
- Language.Fortran.Model.Singletons: data BasicTypeMaxSym1 a6989586621679392793 a6989586621679392794
+ Language.Fortran.Model.Singletons: data BasicTypeMaxSym1 a6989586621679392768 a6989586621679392769
- Language.Fortran.Model.Singletons: data PrecMaxSym0 a6989586621679392804
+ Language.Fortran.Model.Singletons: data PrecMaxSym0 a6989586621679392779
- Language.Fortran.Model.Singletons: data PrecMaxSym1 a6989586621679392804 a6989586621679392805
+ Language.Fortran.Model.Singletons: data PrecMaxSym1 a6989586621679392779 a6989586621679392780
- Language.Fortran.Model.Singletons: sBasicTypeMax :: forall (t_a1BXJ :: BasicType) (t_a1BXK :: BasicType). Sing t_a1BXJ -> Sing t_a1BXK -> Sing (Apply (Apply BasicTypeMaxSym0 t_a1BXJ) t_a1BXK :: BasicType)
+ Language.Fortran.Model.Singletons: sBasicTypeMax :: forall (t_a1BXk :: BasicType) (t_a1BXl :: BasicType). Sing t_a1BXk -> Sing t_a1BXl -> Sing (Apply (Apply BasicTypeMaxSym0 t_a1BXk) t_a1BXl :: BasicType)
- Language.Fortran.Model.Singletons: sPrecMax :: forall (t_a1BXN :: Precision) (t_a1BXO :: Precision). Sing t_a1BXN -> Sing t_a1BXO -> Sing (Apply (Apply PrecMaxSym0 t_a1BXN) t_a1BXO :: Precision)
+ Language.Fortran.Model.Singletons: sPrecMax :: forall (t_a1BXo :: Precision) (t_a1BXp :: Precision). Sing t_a1BXo -> Sing t_a1BXp -> Sing (Apply (Apply PrecMaxSym0 t_a1BXo) t_a1BXp :: Precision)
- Language.Fortran.Model.Singletons: type BasicTypeMaxSym2 (a6989586621679392793 :: BasicType) (a6989586621679392794 :: BasicType) = BasicTypeMax a6989586621679392793 a6989586621679392794 :: BasicType
+ Language.Fortran.Model.Singletons: type BasicTypeMaxSym2 (a6989586621679392768 :: BasicType) (a6989586621679392769 :: BasicType) = BasicTypeMax a6989586621679392768 a6989586621679392769 :: BasicType
- Language.Fortran.Model.Singletons: type PrecMaxSym2 (a6989586621679392804 :: Precision) (a6989586621679392805 :: Precision) = PrecMax a6989586621679392804 a6989586621679392805 :: Precision
+ Language.Fortran.Model.Singletons: type PrecMaxSym2 (a6989586621679392779 :: Precision) (a6989586621679392780 :: Precision) = PrecMax a6989586621679392779 a6989586621679392780 :: Precision
- Language.Fortran.Model.Singletons: type family Equals_6989586621679394047 a_a1BXH b_a1BXI
+ Language.Fortran.Model.Singletons: type family Equals_6989586621679394022 a_a1BXi b_a1BXj
- Language.Fortran.Model.Translate: tiAttributes :: forall ann_a3oqN. Lens' (TypeInfo ann_a3oqN) (Maybe (AList Attribute ann_a3oqN))
+ Language.Fortran.Model.Translate: tiAttributes :: forall ann_a3oqo. Lens' (TypeInfo ann_a3oqo) (Maybe (AList Attribute ann_a3oqo))
- Language.Fortran.Model.Translate: tiBaseType :: forall ann_a3oqN. Lens' (TypeInfo ann_a3oqN) BaseType
+ Language.Fortran.Model.Translate: tiBaseType :: forall ann_a3oqo. Lens' (TypeInfo ann_a3oqo) BaseType
- Language.Fortran.Model.Translate: tiDeclaratorLength :: forall ann_a3oqN. Lens' (TypeInfo ann_a3oqN) (Maybe (Expression ann_a3oqN))
+ Language.Fortran.Model.Translate: tiDeclaratorLength :: forall ann_a3oqo. Lens' (TypeInfo ann_a3oqo) (Maybe (Expression ann_a3oqo))
- Language.Fortran.Model.Translate: tiDimensionDeclarators :: forall ann_a3oqN. Lens' (TypeInfo ann_a3oqN) (Maybe (AList DimensionDeclarator ann_a3oqN))
+ Language.Fortran.Model.Translate: tiDimensionDeclarators :: forall ann_a3oqo. Lens' (TypeInfo ann_a3oqo) (Maybe (AList DimensionDeclarator ann_a3oqo))
- Language.Fortran.Model.Translate: tiSelectorKind :: forall ann_a3oqN. Lens' (TypeInfo ann_a3oqN) (Maybe (Expression ann_a3oqN))
+ Language.Fortran.Model.Translate: tiSelectorKind :: forall ann_a3oqo. Lens' (TypeInfo ann_a3oqo) (Maybe (Expression ann_a3oqo))
- Language.Fortran.Model.Translate: tiSelectorLength :: forall ann_a3oqN. Lens' (TypeInfo ann_a3oqN) (Maybe (Expression ann_a3oqN))
+ Language.Fortran.Model.Translate: tiSelectorLength :: forall ann_a3oqo. Lens' (TypeInfo ann_a3oqo) (Maybe (Expression ann_a3oqo))
- Language.Fortran.Model.Translate: tiSrcSpan :: forall ann_a3oqN. Lens' (TypeInfo ann_a3oqN) SrcSpan
+ Language.Fortran.Model.Translate: tiSrcSpan :: forall ann_a3oqo. Lens' (TypeInfo ann_a3oqo) SrcSpan
Files
- CHANGELOG.md +6/−0
- camfort.cabal +8/−4
- src/Main.hs +1/−1
CHANGELOG.md view
@@ -1,3 +1,9 @@+## 1.1.2 (Oct 09, 2021)++Meta update to provide a release to tie new platform builds to.++* Update internal version string (had been left at 1.0)+ ## 1.1.1 (Sept 24, 2021) * Fix Flint interface for Windows
camfort.cabal view
@@ -5,21 +5,25 @@ -- see: https://github.com/sol/hpack name: camfort-version: 1.1.1+version: 1.1.2 synopsis: CamFort - Cambridge Fortran infrastructure description: CamFort is a tool for the analysis, transformation, verification of Fortran code. category: Language stability: experimental homepage: https://camfort.github.io bug-reports: https://github.com/camfort/camfort/issues-author: Matthew Danish, Mistral Contrastin, Andrew Rice, Dominic Orchard-maintainer: Matthew Danish+author: Matthew Danish,+ Mistral Contrastin,+ Andrew Rice,+ Dominic Orchard+maintainer: Matthew Danish,+ Ben Orchard copyright: 2012-2019 University of Cambridge license: Apache-2.0 license-file: LICENSE build-type: Simple tested-with:- GHC >= 8.6+ GHC >= 8.4 extra-source-files: tests/fixtures/Specification/Stencils/example10.expected.f tests/fixtures/Specification/Stencils/example10.f
src/Main.hs view
@@ -581,7 +581,7 @@ -- | Current CamFort version. version :: String-version = "1.0"+version = "1.1.2" -- | Full CamFort version string.