summaryrefslogtreecommitdiff
path: root/ast.mli
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-23 02:46:05 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-23 02:46:05 +0100
commitf04320e3595b661a21660bf3df2ba502bfc154a3 (patch)
tree9ff6308601034b3ce0de69f38af7deae4e218914 /ast.mli
parent836d8929467aaee4ef0ba4de15c87b0df8e3c08c (diff)
downloadpetitcaml-f04320e3595b661a21660bf3df2ba502bfc154a3.tar.gz
petitcaml-f04320e3595b661a21660bf3df2ba502bfc154a3.tar.bz2
[petitcaml] Simplify function name handling through motifs usage
Diffstat (limited to 'ast.mli')
-rw-r--r--ast.mli3
1 files changed, 1 insertions, 2 deletions
diff --git a/ast.mli b/ast.mli
index fcbd2b0..e517b58 100644
--- a/ast.mli
+++ b/ast.mli
@@ -22,7 +22,6 @@ and tvar = { id : int;
type ident = string
-type func_name = string option
type pos = { l : int ;
c : int ;
raw_c : int }
@@ -70,7 +69,7 @@ type expr_raw =
and expr = { e : expr_raw ;
loc : expr_loc ;
mutable t : expr_typ }
-and func = { name : func_name ;
+and func = { name : motif ;
recursive : bool ;
arg : motif ;
body : expr }