Code

Add Array to Hylo standard library#1001

Code

Merged

kyouko-taiga merged 86 commits intomainhylo-lang/hylo:mainfrom arrayhylo-lang/hylo:arrayCopy head branch name to clipboardSep 20, 2023

+1,028-333

Commits

Commits on Sep 12, 2023

• Add Array to Hylo standard library

  Show description for ecce350
  camio

  committed
  ecce350

• Add explaination for DynamicBuffer's Movable conformance

  camio

  committed
  81fabb3

• Add explanation for Array not conforming to Regular.

  camio

  committed
  040ab75

• Minor fix.

  camio

  committed
  64d5065

• Commented out code blocked by #1003.

  camio

  committed
  40c01c0

Commits on Sep 13, 2023

• Use 'Void' as the header of arrays' out of line storage

  kyouko-taiga

  committed
  267e622

• Document 'Array''s properties

  kyouko-taiga

  committed
  d8234d4

• Reformat code

  kyouko-taiga

  committed
  9250658

• Merge branch 'main' of github.com:hylo-lang/hylo into array

  kyouko-taiga

  committed
  1ba88e0

• Simplify the computation of minimum capacity

  kyouko-taiga

  committed
  704a819

• Rename 'Array.reserveCapacity' to 'reserve_capacity'

  kyouko-taiga

  committed
  984b344

• Add missing explicit capture (wip)

  kyouko-taiga

  committed
  7bf1296

Commits on Sep 20, 2023

• Refactor the representation of bundle references

  kyouko-taiga

  committed
  68b42bd

• Make 'Module.isBorrowSet(_:)' internal

  kyouko-taiga

  committed
  5d4432f

• Simplify 'Module.makeProjectBundle'

  kyouko-taiga

  committed
  9d16eac

• Refactor the representation of 'project_bundle'

  kyouko-taiga

  committed
  abbae56

• Remove needless label

  kyouko-taiga

  committed
  bc772cc

• Refactor the initializers of 'Function.ID'

  kyouko-taiga

  committed
  3f265e2

• Improve encapsulation

  kyouko-taiga

  committed
  a2dbe17

• Move 'BundleReference.swift' to 'Sources/IR/'

  kyouko-taiga

  committed
  d188d66

• Add an abstraction representing callees in IR

  kyouko-taiga

  committed
  0c46981

• Improve API and docs

  kyouko-taiga

  committed
  9b9bf16

• Improve API and docs

  kyouko-taiga

  committed
  c08f2bf

• Fix comments

  kyouko-taiga

  committed
  8b712e2

• Generate IR for calls to method bundles

  kyouko-taiga

  committed
  398ee2d

• Add test case for exhausive branch returns

  Show description for 4d24d70
  

  WalterSmuts

  authored and

  kyouko-taiga

  committed
  4d24d70

• Add special case for return type missing in DI

  

  WalterSmuts

  authored and

  kyouko-taiga

  committed
  c188534

• Remove blanket failure for void/never return

  Show description for 2318020
  

  WalterSmuts

  authored and

  kyouko-taiga

  committed
  2318020

• Update Sources/IR/Analysis/Module+NormalizeObjectStates.swift

  kyouko-taiga

  committed
  874e58c

• Request sink access on move sources during access reification

  kyouko-taiga

  committed
  ac8c706

• Mangle method bundle declarations

  kyouko-taiga

  committed
  2eb9708

• Stand up the call bundle reification pass

  kyouko-taiga

  committed
  5d55f92

• Generate IR lowering method declarations

  kyouko-taiga

  committed
  3fc7e32

• Test call to method bundle

  kyouko-taiga

  committed
  5d50084

• Apply swift-format

  kyouko-taiga

  committed
  d6dbc43

• Add hylo library product

  

  koliyo

  authored and

  kyouko-taiga

  committed
  38e8db8

• Add public init to SourcePosition

  

  koliyo

  authored and

  kyouko-taiga

  committed
  62e9d66

• Refactor Hylo library target name

  

  koliyo

  authored and

  kyouko-taiga

  committed
  2fee5ce

• Add a helper to get the lowered form of a conformance implementation

  kyouko-taiga

  committed
  f68d3e2

• Add missing case to handle method implementations

  kyouko-taiga

  committed
  202506c

• Implement IR support for custom conformances to 'Movable'

  kyouko-taiga

  committed
  71036cd

• Refactor 'Module.demandDeinitDeclaration'

  kyouko-taiga

  committed
  41dc065

• Test custom conformance to 'Movable'

  kyouko-taiga

  committed
  b7937c2

• Add test showing empty init behaviour

  

  WalterSmuts

  authored and

  kyouko-taiga

  committed
  9fbb80a

• Insert init directive for empty product type

  Show description for 95df4f7
  

  WalterSmuts

  authored and

  kyouko-taiga

  committed
  95df4f7

• Refactor the gathering of traits bounds declared in generic environments

  kyouko-taiga

  committed
  a0a6145

• Rename 'TypedProgram.declaredConformances' to 'explicitConformance'

  kyouko-taiga

  committed
  266602a

• Compute conformances implied by constraints in generic environments

  kyouko-taiga

  committed
  3fc6a0c

• Refactor 'Emitter.emitMove(_:_:to:at:)'

  kyouko-taiga

  committed
  945ba3c

• Refactor 'Emitter.emitMove' to keep track of specialization arguments

  kyouko-taiga

  committed
  e79b94d

• Simplify the representation of function identifiers

  kyouko-taiga

  committed
  89f0867

• Rename 'TypedProgram.requirement(referredBy:)' to 'traitMember(referredBy:)'

  kyouko-taiga

  committed
  c2beb52

• Refine comments

  kyouko-taiga

  committed
  a2236dc

• Keep track of specialization arguments when generating moves

  kyouko-taiga

  committed
  3c2cfbe

• Test use of conformance to 'Movable' in generic contexts

  kyouko-taiga

  committed
  7d51317

• Keep track of specialization arguments when generating deinit calls

  kyouko-taiga

  committed
  4a9101f

• Test use of conformance to 'Deinitializable' in generic contexts

  kyouko-taiga

  committed
  d7b856e

• Apply swift-format

  kyouko-taiga

  committed
  cd141ea

• Write more concise docs

  kyouko-taiga

  committed
  ac652e6

• Make 'AccessEffectSet.Elements' conform to 'Collection'

  Show description for ed13d9a
  kyouko-taiga

  committed
  ed13d9a

• Fix invalid application of parameter attributes

  kyouko-taiga

  committed
  44e5135

• Generate IR for pointer conversions to sink addresses

  kyouko-taiga

  committed
  a2c1524

• Implement mangling for conformance constraints

  kyouko-taiga

  committed
  588b60e

• Implement a method to consume the pointee of a 'PointerToMutable'

  kyouko-taiga

  committed
  5b6eada

• Test 'PointerToMutable.unsafe_pointee()'

  kyouko-taiga

  committed
  722c306

• Add a note for future deprecation

  kyouko-taiga

  committed
  28553c0

• Implement a pointee initialization method that doesn't use lambdas

  kyouko-taiga

  committed
  ab28738

• Test pointee initialization without lambdas

  kyouko-taiga

  committed
  01f292c

• Apply code formatting conventions

  kyouko-taiga

  committed
  0732966

• Fix condition to exit 'Array.reserve_capacity' early

  kyouko-taiga

  committed
  fc925df

• Implement previously blocked methods of 'Array'

  kyouko-taiga

  committed
  24e1750

• Remove needless label

  kyouko-taiga

  committed
  b545f6f

• Remove needless leading '_'

  kyouko-taiga

  committed
  627a00a

• Add a comment about the correctness of 'reserve_capacity'

  kyouko-taiga

  committed
  e7fdf1c

• Implement a subscript to access the elements of 'Array'

  kyouko-taiga

  committed
  1da3689

• Fix the payload offset computation in 'DynamicBuffer'

  kyouko-taiga

  committed
  68d62eb

• Mark mutating methods 'inout'

  kyouko-taiga

  committed
  23195b4

• Fix 'Array.reserve_capacity(_:)'

  kyouko-taiga

  committed
  b49e5d7

• Factorize Array element address computation

  kyouko-taiga

  committed
  9500d32

• Implement 'Array: Deinitializable'

  kyouko-taiga

  committed
  79c1d5a

• Test 'Array.append(_:)'

  kyouko-taiga

  committed
  cc35dbf

• Fix improperly named binding

  kyouko-taiga

  committed
  290ce67

• Fix the transpilation of 'Builtin.advanced_by_bytes'

  kyouko-taiga

  committed
  1613b36

• Remove needless spaces

  kyouko-taiga

  committed
  8535a95

• Implement a property to access the header of a 'DynamicBuffer'

  kyouko-taiga

  committed
  5bfa32b

• Store the count of the array in the out-of-line storage

  kyouko-taiga

  committed
  6a90e54