6 Commits

Author	SHA1	Message	Date
Andreas Rumpf	da3948ae32	fixes #15671 [backport:1.4] (#15690) ... * fixes #15671 [backport:1.4] * progress (cherry picked from commit d9038ed792)	2020-11-20 18:15:16 +01:00
Andreas Rumpf	4e438f9096	const view types; fixes some cases from https://github.com/nim-lang/Nim/issues/15428 (#15488)	2020-10-05 18:31:46 +02:00
Andreas Rumpf	86d7b63e2a	better support for view types (#15436) ... * you can put borrows into tables * enforces mutating views only mutate mutable data	2020-09-30 20:44:18 +02:00
Andreas Rumpf	4058801607	spec for view types (#15424) ... * spec for view types * spec additions * refactoring; there are two different kinds of views * refactorings and spec additions * enforce that view types are initialized * enforce borrowing from the first formal parameter * enforce lifetimes for borrowing of locals * typo in the manual * clarify in the implementation what a borrow operation really is	2020-09-29 23:42:38 +02:00
Andreas Rumpf	217675cf84	borrow checking refinements (#15290) ... * added basic borrowing test	2020-09-09 14:19:22 +02:00
Andreas Rumpf	10988d4840	borrow checking (#15282) ... * refactoring: move procs to typeallowed.nim * frontend preparations for first class openArray support * prepare the code generator for first class openArray * code generation for first class openArray; WIP * code generation for open arrays, progress * added isViewType proc * preparations for borrow checking * added borrow checking to the front end	2020-09-09 07:32:03 +02:00