diff options
| author | Kathy Gray | 2013-11-01 17:03:40 +0000 |
|---|---|---|
| committer | Kathy Gray | 2013-11-01 17:03:40 +0000 |
| commit | b3a69210b3e3d1b5ebc1d6687884ecfe3fd202f2 (patch) | |
| tree | aef92a73dfda5888cdb53d2b0af77298edd82863 /src/initial_check.ml | |
| parent | 7fdb44465a2eb169946ec0e23b4056aafabe1b93 (diff) | |
Moved metatheory grammars into l2_rules.ott
Added val extern specification to language, parser, printer, and interpreter
Added various def level type system support, expressions type system in place Except for assignment
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index 82c975c4..4d16fef4 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -415,7 +415,11 @@ let to_ast_spec (names,k_env,t_env) (val_:Parse_ast.val_spec) : (tannot val_spec (match vs with | Parse_ast.VS_val_spec(ts,id) -> let typsch,_,_ = to_ast_typschm k_env ts in - VS_aux(VS_val_spec(typsch,to_ast_id id),(l,None)),(names,k_env,t_env)) (*Do names and t_env need updating this pass? *) + VS_aux(VS_val_spec(typsch,to_ast_id id),(l,None)),(names,k_env,t_env) + | Parse_ast.VS_extern_spec(ts,id,s) -> + let typsch,_,_ = to_ast_typschm k_env ts in + VS_aux(VS_extern_spec(typsch,to_ast_id id,s),(l,None)),(names,k_env,t_env))(*Do names and t_env need updating this pass? *) + let to_ast_namescm (Parse_ast.Name_sect_aux(ns,l)) = Name_sect_aux( |