hs2ats 0.2.1.9 → 0.2.1.10

raw patch · 11 files changed

+35/−1 lines, 11 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• hs2ats.cabal +4/−1
• test/data/HigherOrder.hs +4/−0
• test/data/HigherOrder.out +5/−0
• test/data/Newtype.hs +3/−0
• test/data/Newtype.out +1/−0
• test/data/Option.hs +4/−0
• test/data/Option.out +3/−0
• test/data/Pair.hs +3/−0
• test/data/Pair.out +1/−0
• test/data/SumType.hs +4/−0
• test/data/SumType.out +3/−0

@@ -1,6 +1,6 @@ cabal-version: 1.18 name: hs2ats-version: 0.2.1.9+version: 0.2.1.10 license: BSD3 license-file: LICENSE copyright: Copyright: (c) 2018 Vanessa McHale@@ -12,6 +12,9 @@     This package enables scanning Haskell source files for data types and then generating [ATS](http://www.ats-lang.org/) types from them. category: Language, Haskell, ATS build-type: Simple+extra-source-files:+  test/data/*.hs+  test/data/*.out  source-repository head     type: git

@@ -0,0 +1,4 @@+data GenericSum a b = GenericL a+                    | GenericR b++newtype GenericSumInt = GenericSumInt (GenericSum String Int)

@@ -0,0 +1,5 @@+datavtype generic_sum(a: vt@ype, b: vt@ype) =+  | Generic_l of a+  | Generic_r of b++vtypedef generic_sum_int = generic_sum(Strptr1, int)

@@ -0,0 +1,3 @@+module Newtype where++newtype IntType = IntType Int

@@ -0,0 +1,1 @@+vtypedef int_type = int

@@ -0,0 +1,4 @@+module Option where++data Option a = Some a+              | None

@@ -0,0 +1,3 @@+datavtype option(a: vt@ype) =+  | Some of a+  | None

@@ -0,0 +1,3 @@+module Pair where++data Pair = Pair { first :: Int, second :: Int }

@@ -0,0 +1,1 @@+vtypedef pair = @{ first = int, second = int }

@@ -0,0 +1,4 @@+module SumType where++data Num = FloatNum Float+         | IntNum Int

@@ -0,0 +1,3 @@+datavtype num =+  | Float_num of float+  | Int_num of int