GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-11 07:00:49 +03:00
Code Issues Projects Releases Wiki Activity

Delete the unused cvt function

Browse Source
This commit is contained in:
Robert Dockins 2016-06-13 16:02:27 -07:00
parent 98a9e16944
commit 3f934ae27f
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Cryptol/Eval/Type.hs
View File

@ -130,11 +130,3 @@ evalTF f vs
where mb = fromMaybe (typeCannotBeDemoted ty)
ty = TCon (TF f) (map tNat' vs)
--cvt :: Nat' -> Type
--cvt (Nat n) = tNum n
--cvt Inf = tInf