Release pact 4.8 (#1285)

* release pact 4.8

* docs difference

Author: jmcardon

CHANGELOG.md

@@ -1,4 +1,31 @@
-- Support lambdas in static TC (#1232)
+4.8.0
+---
+### Bugfixes
+- Fix name resolution within module redeploy (#1235)
+- Fixed issue with the hash of cap guards, `hash` native and principals (#1273) (#1278)
+- Fixed error message for calling a non-function value (#1268)
+
+### Eval
+- Tweaked the gas of concat (#1269), reverse and format (#1271)
+- Allow computation on integers less than 10^80 without gas penalty (#1272)
+
+### Internal changes
+- More granular gas units (#1245)
+- Remove GHCJS support (#1280)
+- GHC 9.6+ version support (#1242)
+- Package docs in nix flake (#1258)
+- Vendor sources of prettyprinter-1.6.0 (#1263)
+- Use MTL 2.3+ (#1261)
+- replace cryptonite by crypton (#1240)
+
+### Formal Verification
+- Support lambdas in static typechecker (#1232)
+- Fix swapped type assignment in fold symeval (#1253)
+
+### Other
+- Improve modref docs (#1256)
+
+Thanks to @thomashoneyman for the contribution!
 
 4.7.1
 ---

docs/en/pact-functions.md

@@ -461,7 +461,7 @@ Return ID if called during current pact execution, failing if not.
 Obtain current pact build version.
 ```lisp
 pact> (pact-version)
-"4.7.1"
+"4.8"
 ```
 
 Top level only: this function will fail if used in module code.
@@ -1965,7 +1965,7 @@ Set environment gas limit to LIMIT.
 Enable and obtain gas logging. Bracket around the code whose gas logs you want to inspect.
 ```lisp
 pact> (env-gasmodel "table") (env-gaslimit 10) (env-gaslog) (map (+ 1) [1 2 3]) (env-gaslog)
-["TOTAL: 7" "map:GUnreduced:currTotalGas=4: 4" "+:GUnreduced:currTotalGas=5: 1" ":GIntegerOpCost:(1, ):(1, ):currTotalGas=5: 0" "+:GUnreduced:currTotalGas=6: 1" ":GIntegerOpCost:(1, ):(2, ):currTotalGas=6: 0" "+:GUnreduced:currTotalGas=7: 1" ":GIntegerOpCost:(1, ):(3, ):currTotalGas=7: 0"]
+["TOTAL: 7" "map:GUnreduced:currTotalGas=4: 4" "+:GUnreduced:currTotalGas=5: 1" ":GIntegerOpCost:(1, ):(1, ):Pact48IntThreshold:currTotalGas=5: 0" "+:GUnreduced:currTotalGas=6: 1" ":GIntegerOpCost:(1, ):(2, ):Pact48IntThreshold:currTotalGas=6: 0" "+:GUnreduced:currTotalGas=7: 1" ":GIntegerOpCost:(1, ):(3, ):Pact48IntThreshold:currTotalGas=7: 0"]
 ```
 
 

pact.cabal

@@ -1,6 +1,6 @@
 cabal-version:       2.2
 name:                pact
-version:             4.7.1
+version:             4.8
 -- ^ 4 digit is prerelease, 3- or 2-digit for prod release
 synopsis:            Smart contract language library and REPL
 description: