[REVISE] check map

Author: JackSnowWolf

src/semant.ml

@@ -204,7 +204,7 @@ let check (signature, implementation) =
             if type2 = Void("Env") then sexpr2
             else if key_type = type2 then 
             match key_type with
-            Bool | Int | Uint("uint") | Address("ADDRESS") -> sexpr2
+             Int | Uint("uint") | Address("ADDRESS") -> sexpr2
             | _ -> raise (Failure ("Type " ^ string_of_typ key_type ^
             " is not allowed as key type in map " ^ string_of_expr e ))
             else

testcase/41_check_map_query_key_type_not_allowed_fail.sc

@@ -4,10 +4,10 @@ signature TOKEN{
 
   storage supply : UInt;
 
-  map balances : (void) => UInt;
+  map balances : (Bool) => UInt;
 
   constructor c : UInt -> void;
-  method balanceOf : (int) -> UInt;
+  method balanceOf : (Bool) -> UInt;
 }
 
 
@@ -20,11 +20,11 @@ constructor c (s : UInt){
   returns void;
 }
 
-method balanceOf (a : int){
+method balanceOf (a : Bool){
   guard{
     Env.value == 0;
   }
   storage{}
   effects{}
-  returns balances[ ( voidlit ) ]
+  returns balances[(a)];
   }