diff options
author | pieter | 2000-03-09 12:06:42 +0000 |
---|---|---|
committer | pieter | 2000-03-09 12:06:42 +0000 |
commit | f94d62ef00348adcf971c5d315d0ed309ea25c41 (patch) | |
tree | dd57f657157a0f72d2485ca807f35e3b2d7d0301 /frontend/scanner.dcl | |
parent | bugfixes (diff) |
optimized by John
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@109 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/scanner.dcl')
-rw-r--r-- | frontend/scanner.dcl | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/frontend/scanner.dcl b/frontend/scanner.dcl index 2dae649..fccdac9 100644 --- a/frontend/scanner.dcl +++ b/frontend/scanner.dcl @@ -6,13 +6,10 @@ import StdEnv, general :: * ScanState -:: *Input - -:: * InputStream - -:: LongToken - -:: Buffer x +//:: *Input +//:: * InputStream +//:: LongToken +//:: Buffer x :: FilePosition = {fp_line :: !Int, fp_col :: !Int} |