diff options
| author | Alasdair Armstrong | 2019-03-19 17:06:48 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-19 17:11:54 +0000 |
| commit | c7e5eae97e75036d700ba437a5c295c6fb3874a4 (patch) | |
| tree | 8057878d548a6f843d62121ef762ca478c6f89b0 /language | |
| parent | 3f08b437b3b794cf89bde54fdb2e620534793f4d (diff) | |
C: Some simplification
Remove unused experimental optimizations
Diffstat (limited to 'language')
| -rw-r--r-- | language/jib.ott | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/language/jib.ott b/language/jib.ott index 5a0e3eba..f0173660 100644 --- a/language/jib.ott +++ b/language/jib.ott @@ -190,7 +190,6 @@ instr :: 'I_' ::= % For optimising away allocations and copying. | reset ctyp name :: :: reset | ctyp name = cval :: :: reinit - | alias clexp = cval :: :: alias cdef :: 'CDEF_' ::= | register id : ctyp = { |