Skip to content
  • Kim Nguyễn's avatar
    Partial fix for issue #20. In the Value.t type, the Concat _ value and the... · d774a55b
    Kim Nguyễn authored
    Partial fix for issue #20. In the Value.t type, the Concat _ value and the Pair value must have the same underlying representation (since their tag is mutated).
    This actually also corrects a bug: Concat _ nodes acts as constructor (like pairs, xml, records, …) and should also be decorated with a sigma. Adding a sigma component to Concat make the segfault disapear. However, for the moment substitutions in Concat are never used.
    d774a55b