GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-29 02:42:45 +03:00
Code Issues Projects Releases Wiki Activity

chore: squelch some warnings in CryptolServer

Browse Source
This commit is contained in:
Andrew Kent 2021-03-18 15:36:00 -07:00
parent 23c396b1a9
commit 66d1022d22
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol-remote-api/src/CryptolServer/Data/Type.hs
View File

@ -211,7 +211,7 @@ instance JSON.ToJSON JSONType where
, "name" .= show (ppWithNames ns v)
]
convert (TUser _n _args def) = convert def
convert (TNewtype nt ts) =
convert (TNewtype _nt _ts) =
error "JSON conversion of newtypes is not yet supported TODO"
convert (TRec fields) =
JSON.object