Python: Support the dill pickling library.

This commit is contained in:
Taus Brock-Nannestad
2019-01-14 14:55:04 +01:00
parent 65337ef835
commit e8c092ad72
4 changed files with 8 additions and 0 deletions

View File

@@ -15,6 +15,8 @@ private ModuleObject pickleModule() {
result.getName() = "pickle"
or
result.getName() = "cPickle"
or
result.getName() = "dill"
}
private FunctionObject pickleLoads() {