 
         # have to promote constraints from just compiled dependencies
         depConstraints = concat (for dep in binding.deps or [] when not dep.defining and depCanonicalType = ctx.finalType dep.id, dep.scopeIndex
+          # TODO: add origin
           constraintsFromCanonicalType ctx, depCanonicalType, dep.type)
         allConstraints = (join binding.constraints or [], depConstraints)
 


# Utils

join = (seq1, seq2) ->
  seq1.concat seq2


      malformed ctx, lhs, 'missing value in definition'
      # TODO: take into account fakes (using better pairs function) and new lines
      rhs = fake_()
    compiled = definitionPairCompile ctx, lhs, rhs
    if ctx.isRequesting()
      break
    compiled)

  if ctx.isRequesting()
    []

  shouldRecompile = yes
  while shouldRecompile
