From 922fec6b584a9de72c42036fbb415fa3e06a7a4e Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 6 Apr 2018 14:47:12 +0100
Subject: Update sail.tex for wip latex output

Fix a bug in initial check which caused X() = y to expect an additional parameter.

Some tweaks to sail2 emacs mode
---
 src/initial_check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/initial_check.ml')

diff --git a/src/initial_check.ml b/src/initial_check.ml
index 12d56484..22e8bb16 100644
--- a/src/initial_check.ml
+++ b/src/initial_check.ml
@@ -555,7 +555,7 @@ and to_ast_lexp (k_env : kind Envmap.t) (def_ord : order) (Parse_ast.E_aux(exp,l
       (match f with
       | Parse_ast.Id(id) ->
 	(match List.map (to_ast_exp k_env def_ord) args with
-	  | [] -> LEXP_memory(to_ast_id f',[])
+          | [E_aux(E_lit (L_aux (L_unit, _)), _)] -> LEXP_memory(to_ast_id f',[])
 	  | [E_aux(E_tuple exps,_)] -> LEXP_memory(to_ast_id f',exps)
 	  | args -> LEXP_memory(to_ast_id f', args))
       | _ -> typ_error l' "memory call on lefthand side of assignment must begin with an id" None None None)
-- 
cgit v1.2.3