HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

fixed typing of let-expressions 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8382 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2009-01-04 23:53:14 +00:00
parent 9fc353b57c
commit 71afa7a1a8
1 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
su4sml/src/ocl_parser/type_checker.sml
View File

@ -207,7 +207,8 @@ fun AsSet_desugarator rterm path attr_or_meth rargs (model as (cls,assocs)) =
if (List.length ops = 0)
then
raise TC_NoSuchOperationError ("interefere_methods: No operation signature "
^"matches given types (source: "
^"for `"^(Rep_Core.string_of_path path)^"'"
^" matches given types (source: "
^(Ocl2String.ocl2string false rterm)^").")
else
upcast_op ops new_rterm rargs model
@ -672,7 +673,15 @@ let
val _ = Logger.debug2 ("TypeChecker.resolve_OclTerm a Let-Expression \n")
val rrhs_term = resolve_OclTerm rhs_term model
val rrhs_typ = type_of_term rrhs_term
val rin_term = resolve_OclTerm in_term model
(* val rin_term = resolve_OclTerm in_term model (* TODO *) *)
val _ = Logger.debug3 ("res Iter: types conforms \n")
val bound_expr = embed_bound_variables [(str,typ)] in_term
val _ = Logger.debug3 ("res Iter: term : " ^ Ocl2String.ocl2string false bound_expr ^ "\n")
val rin_term = resolve_OclTerm bound_expr model
val rin_typ = type_of_term rin_term
val res = (Let (str,typ,rrhs_term,rrhs_typ,rin_term,rin_typ))
val _ = Logger.debug2 ("TypeChecker.resolve_OclTerm")