Skip to content
Snippets Groups Projects
Commit d36f151b authored by manoskouk's avatar manoskouk Committed by Etienne Kneuss
Browse files

SimplestValue for UnitType

parent 3b9c89c3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/purescala/TreeOps.scala
+ 1
− 0
View file @ d36f151b
...@@ -1012,6 +1012,7 @@ object TreeOps { ...@@ -1012,6 +1012,7 @@ object TreeOps {
case Int32Type => IntLiteral(0) case Int32Type => IntLiteral(0)
case CharType => CharLiteral('a') case CharType => CharLiteral('a')
case BooleanType => BooleanLiteral(false) case BooleanType => BooleanLiteral(false)
case UnitType => UnitLiteral()
case SetType(baseType) => FiniteSet(Set()).setType(tpe) case SetType(baseType) => FiniteSet(Set()).setType(tpe)
case MapType(fromType, toType) => FiniteMap(Seq()).setType(tpe) case MapType(fromType, toType) => FiniteMap(Seq()).setType(tpe)
case TupleType(tpes) => Tuple(tpes.map(simplestValue)) case TupleType(tpes) => Tuple(tpes.map(simplestValue))
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment