diff options
| author | Kathy Gray | 2014-04-08 15:43:43 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-04-08 15:43:43 +0100 |
| commit | b385a0e971fe433036a74c84b069fc271f6c658a (patch) | |
| tree | 87b9c4e30043ca86cade02ea3d3f28ddaac9d741 /src/parser.mly | |
| parent | fa3c145f68d9865ee48abe171f5958a1f154cd0a (diff) | |
Reduce redundant information in AST
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser.mly b/src/parser.mly index 60f50737..06b26765 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -80,7 +80,7 @@ let tdloc td = TD_aux(td, loc()) let funloc fn = FD_aux(fn, loc()) let vloc v = VS_aux(v, loc ()) let sdloc sd = SD_aux(sd, loc ()) -let dloc d = DEF_aux(d,loc ()) +let dloc d = d let mk_typschm tq t s e = TypSchm_aux((TypSchm_ts(tq,t)),(locn s e)) let mk_rec i = (Rec_aux((Rec_rec), locn i i)) @@ -1138,7 +1138,7 @@ def: | default_typ { dloc (DEF_default($1)) } | Register atomic_typ id - { dloc (DEF_reg_dec($2,$3)) } + { dloc (DEF_reg_dec(DEC_aux(DEC_reg($2,$3),loc ()))) } | Scattered scattered_def { dloc (DEF_scattered $2) } | Function_ Clause funcl |