add case for lengthFromThenTo to to_type

GaloisInc · Dec 21, 2021 · 098c046 · 098c046
1 parent aef1edd
commit 098c046
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/cryptol-remote-api/python/cryptol/cryptoltypes.py b/cryptol-remote-api/python/cryptol/cryptoltypes.py
@@ -518,6 +518,8 @@ def to_type(t : Any) -> CryptolType:
         return Max(*map(to_type, t['arguments']))
     elif t['type'] == 'min':
         return Min(*map(to_type, t['arguments']))
+    elif t['type'] == 'lengthFromThenTo':
+        return LenFromThenTo(*map(to_type, t['arguments']))
     elif t['type'] == 'tuple':
         return Tuple(*map(to_type, t['contents']))
     elif t['type'] == 'unit':