Commit Graph

3523 Commits

Author SHA1 Message Date
cooldome
c6a8bd264e Fix for #5695 make subscript operator overloadable for tuples (#5749) 2017-04-24 20:17:06 +02:00
Andreas Rumpf
1aede6d311 Merge branch 'devel' of github.com:nim-lang/Nim into devel 2017-04-24 10:00:53 +02:00
Andreas Rumpf
7cba41db23 make nimble compile again 2017-04-22 14:58:53 +02:00
Andreas Rumpf
3f5ababfe8 make sighashes work in more cases 2017-04-21 17:01:57 +02:00
Araq
4b76d9846b Merge branch 'devel' of github.com:nim-lang/Nim into devel 2017-04-19 15:20:54 +02:00
Araq
5018f6fa15 fixes #5729 2017-04-19 15:20:46 +02:00
Andreas Rumpf
b7bffa35c7 attempt to make sighashes produce smaller diffs 2017-04-19 08:40:05 +02:00
Andreas Rumpf
55b5401dc6 fixes yet another regression caused by the .procvar removal 2017-04-14 19:18:26 +02:00
Jacek Sieka
e512358bc9 Linux abi take 3 (#5692)
* avoid generating object fields for imported types
* fix some abi/type issues for linux_amd64
2017-04-12 22:57:10 +02:00
Fredrik Høisæther Rasch
392f025148 Error Message if CC invocation fails (#5663) 2017-04-08 19:06:19 +02:00
Zahary Karadjov
34c34cb49b move the object construction logic to a separate file 2017-04-06 00:46:18 +03:00
Zahary Karadjov
f162214d5d object construction: test cases and manual additions 2017-04-06 00:46:18 +03:00
Zahary Karadjov
564c0acae2 cleaned up the code and implemented proper error messages 2017-04-06 00:46:18 +03:00
Zahary Karadjov
6edb07091d fix #4556
This implements a number of new safety checks and error messages
when object constructors are used:

In case objects:

* the compiler will prevent you from initializing fields in
conflicting branches

* When a field from a particular branch is initialized, the
compiler will demand that the discriminator field is also
supplied with a maching compile-time value

In all objects:

* When the "requiresInit" pragma is applied to a type, all fields
of the type must be initialized when object construction is used.

The code will be simplified in a follow up commit.
2017-04-06 00:45:12 +03:00
Andreas Rumpf
88c4d6aabe fix another compiler regression 2017-04-05 11:32:23 +02:00
Andreas Rumpf
ac81a99892 make tests green again 2017-04-04 18:05:53 +02:00
Andreas Rumpf
bfaa329680 Merge branch 'devel' into araq 2017-04-04 13:38:41 +02:00
Andreas Rumpf
0b79a2b02e attempt to make tests green again 2017-04-04 13:28:15 +02:00
Andreas Rumpf
e21ca54b11 assignments support ': stmtList' like let/var do 2017-04-04 12:20:43 +02:00
Araq
87732f797c fixes #5638 2017-04-04 12:08:34 +02:00
Araq
e105c04e49 revert PR #5638 because it breaks code 2017-04-04 10:43:54 +02:00
Andreas Rumpf
08f5087d2c remove the need for the .procvar annotation 2017-04-03 16:35:41 +02:00
Andreas Rumpf
e8cfa14354 de-deprecate silly warning about non-exhaustive string case statments 2017-04-03 12:28:06 +02:00
Andreas Rumpf
f520dfbfab remove en-dash from the language 2017-04-02 23:41:29 +02:00
Andreas Rumpf
d587b6a25f language addition: colon-block for expressions in let/var context 2017-04-02 23:38:55 +02:00
Anatoly Galiulin
5fdd03ad4d Fixed issue #5638 (#5639) 2017-04-01 14:14:34 +02:00
Emery Hemingway
7e351fc7fa support for the Genode OS framework (#5560) 2017-03-31 23:13:06 +02:00
Silvio
2946c7a4b9 Implementing repr for JS (#5578) 2017-03-31 22:00:48 +02:00
andri lim
2f9a698e87 attempt to fix #5632 typedesc typeRel regression (#5634) 2017-03-31 21:58:26 +02:00
andri lim
fce4b7cd62 attempt to fix #5621 #5615 generic ref object typeRel (#5633) 2017-03-31 21:58:09 +02:00
Andreas Rumpf
d7eb146d28 make pragma expression parsing use the same parser mechanism as elsewhere 2017-03-31 17:03:15 +02:00
Andreas Rumpf
529609f7ed Merge remote-tracking branch 'origin/concepts-rebased' into araq 2017-03-31 16:40:21 +02:00
Zahary Karadjov
c11d7c35dd make all tests green again
properly disabling the extra diagnostics in semCompiles proved to
be too much work. I have some plans for further improving the error
messages in the future and I'll revisit this later.
2017-03-31 01:53:11 +03:00
Zahary Karadjov
a74ad869e9 requested code review changes 2017-03-29 16:15:30 +03:00
Andreas Rumpf
720eca5744 added a codegen note 2017-03-29 10:58:01 +02:00
Andreas Rumpf
b58fbd1b48 fixes #5618 2017-03-28 20:57:34 +02:00
Zahary Karadjov
01bc5f32d6 Fix the compilation of the emmy package 2017-03-28 01:58:54 +03:00
Andreas Rumpf
d02486aa48 compiler: better error messages (#5613) 2017-03-26 20:24:06 +02:00
Andreas Rumpf
1268ca79e5 fixes #5599 (#5610) 2017-03-26 09:30:59 +02:00
Zahary Karadjov
7fdf29937d fix tgenericshardcases 2017-03-24 17:07:30 +02:00
Zahary Karadjov
9574d318ae use lower-case proc names 2017-03-24 17:03:55 +02:00
Zahary Karadjov
c605d57574 restore compilation and make all concepts tests green 2017-03-24 17:03:55 +02:00
Zahary Karadjov
d6d548c32f carefully reviewed and merged the changes from the devel branch 2017-03-24 17:03:55 +02:00
Zahary Karadjov
cbf66e99a8 Working test cases for the sophisticated matrix library example from the manual
Fixed the dot operator when used within return types (see tgenericdotrettype)
Fixed the matching of generic concepts aliases used with the implicit generics style
2017-03-24 16:59:47 +02:00
Zahary Karadjov
52b241fd57 new type traits: GenericHead and StripGenericParams 2017-03-24 16:59:47 +02:00
Zahary Karadjov
fe48dd1cbe further improvements to the error messages produced by concepts 2017-03-24 16:59:47 +02:00
Zahary Karadjov
9e9b289fc5 when displaying proc signatures, don't render the implicit generic params 2017-03-24 16:59:47 +02:00
Zahary Karadjov
74a80988d9 proper error reporting for concepts and the introduction of the {.explain.} pragma 2017-03-24 16:59:47 +02:00
Zahary Karadjov
644d645ea7 implement the special treatment of explicit type params in concepts 2017-03-24 16:58:15 +02:00
Zahary Karadjov
0f2c4be129 infer static parameters even when more complicated arithmetic is involved 2017-03-24 16:58:15 +02:00