git.iko.soy/Idris-dev
on master help sign in
Update version numbers
commita865b02ec3ad8e29431122575db42b88a0337b1c authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSun 5 Mar 2017, 14:06 (10 years ago) parentc271f58
6 files changed+9−10
compare with master
unifiedsplit
docs/conf.py+3−3 docs/listing/idris-prompt-helloworld.txt+1−1 docs/listing/idris-prompt-interp.txt+1−1 docs/listing/idris-prompt-start.txt+1−1 idris.cabal+1−1 man/idris.1+2−3
docs/conf.py+3−3
@@ -51,7 +51,7 @@ master_doc = 'index'
5151
5252# General information about the project.
5353project = u'Idris'
54−copyright = u'2015, The Idris Community'
54+copyright = u'2017, The Idris Community'
5555author = u'The Idris Community'
5656
5757# The version info for the project you're documenting, acts as replacement for
@@ -59,9 +59,9 @@ author = u'The Idris Community'
5959# built documents.
6060#
6161# The short X.Y version.
62−version = '0.99'
62+version = '0.99.1'
6363# The full version, including alpha/beta/rc tags.
64−release = '0.99'
64+release = '0.99.1'
6565
6666# The language for content autogenerated by Sphinx. Refer to documentation
6767# for a list of supported languages.
docs/listing/idris-prompt-helloworld.txt+1−1
@@ -1,7 +1,7 @@
11$ idris hello.idr
22 ____ __ _
33 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 0.99
4+ / // __ / ___/ / ___/ Version 0.99.1
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66 /___/\__,_/_/ /_/____/ Type :? for help
77
docs/listing/idris-prompt-interp.txt+1−1
@@ -1,7 +1,7 @@
11$ idris interp.idr
22 ____ __ _
33 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 0.99
4+ / // __ / ___/ / ___/ Version 0.99.1
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66 /___/\__,_/_/ /_/____/ Type :? for help
77
docs/listing/idris-prompt-start.txt+1−1
@@ -1,7 +1,7 @@
11$ idris
22 ____ __ _
33 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 0.99
4+ / // __ / ___/ / ___/ Version 0.99.1
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66/___/\__,_/_/ /_/____/ Type :? for help
77
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.99
2+Version: 0.99.1
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady
man/idris.1+2−3
@@ -1,6 +1,6 @@
11.\" Manpage for Idris.
22.\" Contact <> to correct errors or typos.
3−.TH man 1 "28 November 2016" "0.99" "Idris man page"
3+.TH man 1 "5 March 2017" "0.99.1" "Idris man page"
44.SH NAME
55idris -\ a general purpose pure functional programming language with dependent types.
66.SH SYNOPSIS
@@ -93,8 +93,7 @@ should not necessarily be seen as production ready nor for industrial use.
9393 --exec EXPR Execute as idris
9494 -X,--extension EXT Turn on language extension (TypeProviders or
9595 ErrorReflection)
96− --no-partial-eval Switch off partial evaluation, mainly for debugging
97− purposes
96+ --partial-eval Switch on partial evaluation
9897 --target TRIPLE If supported the codegen will target the named triple.
9998 --cpu CPU If supported the codegen will target the named CPU
10099 e.g. corei7 or cortex-m3.