git.iko.soy/Idris-dev
on master help sign in
Update version number
ab806e9Edwin Brady
CHANGELOG.md+5−2
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−# New in 1.1.*
1+# New in 1.2
2
2
3## Language updates
3## Language updates
4
4
@@ -22,7 +22,10 @@
22 implementation [uninhabltb] Uninhabited (LTB Z) where
22 implementation [uninhabltb] Uninhabited (LTB Z) where
23 uninhabited (MkDPair n prf) = absurd prf
23 uninhabited (MkDPair n prf) = absurd prf
24 ```
24 ```
25+ It is possible to use `using implementation uninhabltb` to add the
25− It is possible to use `using implementation uninhabltb` to add the implementation to the automated resolution, but if it fails to find the instance due to non-injectivity, one must pass it explicitly to target function, i.e. `absurd @{uninhabltb}`.
26+ implementation to the automated resolution, but if it fails to find the
27+ instance due to non-injectivity, one must pass it explicitly to target
28+ function, i.e. `absurd @{uninhabltb}`.
26+ Verbatim strings now support trailing quote characters. All quote characters
29+ Verbatim strings now support trailing quote characters. All quote characters
27 until the final three are considered part of the string. Now a string such as
30 until the final three are considered part of the string. Now a string such as
28 `""""hello""""` will parse, and is equivalent to `"\"hello\""`.
31 `""""hello""""` will parse, and is equivalent to `"\"hello\""`.
docs/conf.py+2−2
@@ -59,9 +59,9 @@ author = u'The Idris Community'
59# built documents.
59# built documents.
60#
60#
61# The short X.Y version.
61# The short X.Y version.
62−version = '1.1'
62+version = '1.2'
63# The full version, including alpha/beta/rc tags.
63# The full version, including alpha/beta/rc tags.
64−release = '1.1.1'
64+release = '1.2'
65
65
66# The language for content autogenerated by Sphinx. Refer to documentation
66# The language for content autogenerated by Sphinx. Refer to documentation
67# for a list of supported languages.
67# for a list of supported languages.
docs/listing/idris-prompt-helloworld.txt+1−1
@@ -1,7 +1,7 @@
1$ idris hello.idr
1$ idris hello.idr
2 ____ __ _
2 ____ __ _
3 / _/___/ /____(_)____
3 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 1.1.1
4+ / // __ / ___/ / ___/ Version 1.2
5 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
5 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
6 /___/\__,_/_/ /_/____/ Type :? for help
6 /___/\__,_/_/ /_/____/ Type :? for help
7
7
docs/listing/idris-prompt-interp.txt+1−1
@@ -1,7 +1,7 @@
1$ idris interp.idr
1$ idris interp.idr
2 ____ __ _
2 ____ __ _
3 / _/___/ /____(_)____
3 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 1.1.1
4+ / // __ / ___/ / ___/ Version 1.2
5 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
5 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
6 /___/\__,_/_/ /_/____/ Type :? for help
6 /___/\__,_/_/ /_/____/ Type :? for help
7
7
docs/listing/idris-prompt-start.txt+1−1
@@ -1,7 +1,7 @@
1$ idris
1$ idris
2 ____ __ _
2 ____ __ _
3 / _/___/ /____(_)____
3 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 1.1.1
4+ / // __ / ___/ / ___/ Version 1.2
5 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
5 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
6/___/\__,_/_/ /_/____/ Type :? for help
6/___/\__,_/_/ /_/____/ Type :? for help
7
7
idris.cabal+1−1
@@ -1,5 +1,5 @@
1Name: idris
1Name: idris
2−Version: 1.1.1
2+Version: 1.2
3License: BSD3
3License: BSD3
4License-file: LICENSE
4License-file: LICENSE
5Author: Edwin Brady
5Author: Edwin Brady
man/idris.1+1−1
@@ -1,6 +1,6 @@
1.\" Manpage for Idris.
1.\" Manpage for Idris.
2.\" Contact <> to correct errors or typos.
2.\" Contact <> to correct errors or typos.
3−.TH man 1 "1 April 2017" "1.0" "Idris man page"
3+.TH man 1 "7 January 2018" "1.2" "Idris man page"
4.SH NAME
4.SH NAME
5idris -\ a general purpose pure functional programming language with dependent types.
5idris -\ a general purpose pure functional programming language with dependent types.
6.SH SYNOPSIS
6.SH SYNOPSIS