aern2-real 0.1.0.3 → 0.1.1.0

raw patch · 3 files changed

+22/−57 lines, 3 filesdep −elm-bridgePVP ok

version bump matches the API change (PVP)

Dependencies removed: elm-bridge

API changes (from Hackage documentation)

Files

• aern2-real.cabal +20/−20
• changelog.md +2/−0
• tools/aern2-generate-netlog.hs +0/−37

@@ -1,5 +1,5 @@ name:           aern2-real-version:        0.1.0.3+version:        0.1.1.0 cabal-version:  >= 1.9.2 build-type:     Simple homepage:       https://github.com/michalkonecny/aern2@@ -134,22 +134,22 @@     , random     , QuickCheck -executable aern2-generate-netlog-elm-  ghc-options:-      -Wall-  extensions:-    RebindableSyntax,-    PostfixOperators,-    ScopedTypeVariables,-    FlexibleContexts,-    TypeSynonymInstances-  hs-source-dirs:-      tools-  main-is:-      aern2-generate-netlog.hs-  build-depends:-    base == 4.*-    , elm-bridge-    , mixed-types-num >= 0.3.1-    , aern2-mp == 0.1.*-    , aern2-real+-- executable aern2-generate-netlog-elm+--   ghc-options:+--       -Wall+--   extensions:+--     RebindableSyntax,+--     PostfixOperators,+--     ScopedTypeVariables,+--     FlexibleContexts,+--     TypeSynonymInstances+--   hs-source-dirs:+--       tools+--   main-is:+--       aern2-generate-netlog.hs+--   build-depends:+--     base == 4.*+--     , elm-bridge+--     , mixed-types-num >= 0.3.1+--     , aern2-mp == 0.1.*+--     , aern2-real

@@ -1,3 +1,5 @@+* v 0.1.1.0 2017-12-06+  * disable aern2-generate-netlog-elm for now * v 0.1.0.3 2017-12-06   * remove further upper bounds * v 0.1.0.2 2017-11-14

@@ -1,37 +0,0 @@-{-# LANGUAGE TemplateHaskell #-}-{-|-    Module      :  Main (file aern2-real-benchOp)-    Description :  Generate Elm bindings for NetLog JSON-    Copyright   :  (c) Michal Konecny-    License     :  BSD3--    Maintainer  :  mikkonecny@gmail.com-    Stability   :  experimental-    Portability :  portable--    Generate Elm bindings for NetLog JSON--}-module Main where--import MixedTypesNumPrelude--- import Prelude---- import Text.Printf--import Elm.Derive-import Elm.Module--import Data.Proxy--import AERN2.QA.NetLog--deriveElmDef defaultOptions ''ValueId-deriveElmDef defaultOptions ''QANetLogItem--main :: IO ()-main =-    do-    putStr $ makeElmModule "QANetLog"-              [ DefineElm (Proxy :: Proxy QANetLogItem),-                DefineElm (Proxy :: Proxy ValueId)-              ]