HomeSoftware Heritage

opam: Avoid unnecessary raise instructions

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

opam: Avoid unnecessary raise instructions

This simplifies the logic behind the parsing of the opam_read function to avoid
raising outside of the opam_read call.

Related to T3425

Details

Provenance
ardumontAuthored on Jul 20 2021, 3:47 PM
ardumontPushed on Jul 20 2021, 4:40 PM
Differential Revision
D6009: opam: Avoid unnecessary raise instructions
Tasks
T3425: Opam loader
Build Status
Buildable 22679
Build 35366: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.