language-ats 1.7.10.2 → 1.7.10.3

raw patch · 6 files changed

+17/−7 lines, 6 filesdep ~ansi-wl-pprintdep ~arraydep ~composition-preludePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: ansi-wl-pprint, array, composition-prelude, containers, criterion, deepseq, hspec, hspec-dirstream, microlens, recursion, system-filepath, these-skinny, transformers

API changes (from Hackage documentation)

Files

• CHANGELOG.md +6/−2
• LICENSE +1/−1
• language-ats.cabal +2/−2
• src/Language/ATS/Lexer.x +2/−2
• test/data/gmp-import.dats +3/−0
• test/data/gmp-import.out +3/−0

@@ -1,11 +1,15 @@ # language-ats -# 1.7.10.12+# 1.7.10.3 +  * Fix bug whereby `&$GMP.mpz >> _` was parsed incorrectly.++# 1.7.10.2+   * Add `Exception` instance for parse errors   * Work with `cloref` arrows -# 1.7.10.11+# 1.7.10.1    * Fix bug where left shift was printed as right shift 

@@ -1,4 +1,4 @@-Copyright Vanessa McHale (c) 2018-2019+Copyright Vanessa McHale (c) 2018-2020  Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 

@@ -1,9 +1,9 @@ cabal-version:   1.18 name:            language-ats-version:         1.7.10.2+version:         1.7.10.3 license:         BSD3 license-file:    LICENSE-copyright:       Copyright: (c) 2018-2019 Vanessa McHale+copyright:       Copyright: (c) 2018-2020 Vanessa McHale maintainer:      vamchale@gmail.com author:          Vanessa McHale stability:       stable

@@ -91,10 +91,10 @@ @box_tuple = \' ($white | @block_comment)* \( @box_record = \' ($white | @block_comment)* \{ -$in_operator = $special # [\)\(\}\{\_\[\]\,]+$in_operator = $special # [\)\(\}\{\_\[\]\,\&] $in_l = $in_operator # [\<] $in_r = $in_operator # [\>]-@operator = "+" | "-" | "*" | "/" | "<" | ">" | "=" | "~" | "!" | "?" | "%" | "#[" | $in_r{2,} | $in_l{2,} | $in_r{2,} $in_l++@operator = "+" | "-" | "*" | "/" | "<" | ">" | "=" | "~" | "!" | "?" | "%" | "#[" | "&&" | $in_r{2,} | $in_l{2,} | $in_r{2,} $in_l+  @double_parens = "(" (@block_comment | $white+ | \n | "//".*)+ ")" | "()" @double_braces = "{" @block_comment "}" | "{}"

@@ -0,0 +1,3 @@+extern+fn mpz_primorial_ui(x : &$GMP.mpz >> _, n : ullint) : void =+  "mac#"

@@ -0,0 +1,3 @@+extern+fn mpz_primorial_ui(x : &$GMP.mpz >> _, n : ullint) : void =+  "mac#"