From: jan.de.kruyf@gmail.com
Subject: Re: Build language with weak typing, then add scaffolding later to strengthen it?
Date: Tue, 26 May 2015 08:38:34 -0700 (PDT)
Date: 2015-05-26T08:38:34-07:00 [thread overview]
Message-ID: <ce6c90f9-babb-43a7-a87a-fdfb80db6b4d@googlegroups.com> (raw)
In-Reply-To: <20c56bea-2803-4aa9-a626-2d25e480df20@googlegroups.com>
Here is a follow up to my previous post:
I happen to find the system TRAP list of native Oberon for pc. (so not the latest version 07)
If my memory serves me right the compiler was written for a master thesis at eth.
It is not a military strength compiler obviously, but for industrial use it has proven itself.
A trap would automatically give a stack trace. the location could be found back by compiling with debug info.
Georg, please note TRAP2 :)
Perhaps we are here just discussing 25 years after the fact.
And perhaps the language report is what it is to encourage the discussion which led to this:
--------------------------------------------
Trap numbers fall into the following ranges:
Traps -39 to -32 are generated by the floating-point unit of the processor. By default floating-point checks are disabled and the special overflow and error values INF and NaN are generated (see module Reals).
Traps -31 to 0 are generated by the processor.
Traps 1 to 10 are generated by compiler-inserted checks.
Traps 11 to 19 are generated by system modules.
Traps 20 and above are generated by HALT or ASSERT statements.
More detailed information about specific traps:
TRAP -35 Floating-point stack fault: The floating-point unit made an incorrect memory reference.
TRAP -34 Floating-point operation invalid: The floating-point stack overflowed or underflowed, or an invalid arithmetic operand was encountered (disabled by default).
TRAP -33 Floating-point overflow: Caused by an arithmetic overflow (disabled by default).
TRAP -32 Floating-point division by 0: Caused by an attempt to divide by 0 (disabled by default).
TRAP -16 Floating-point error: Generic floating-point error.
TRAP -14 NIL reference / Stack overflow / Page fault: An incorrect memory reference occured. This could be the result of a NIL pointer reference or a stack overflow.
TRAP -13 General protection fault: This is a generic exception generated by the processor. Refer to the processor documentation for more information.
TRAP -12 Stack overflow: An incorrect memory reference occured in a stack segment.
TRAP -6 Invalid instruction: An invalid machine instruction was encountered. This could be the result of a corrupted module in the heap.
TRAP -4 Overflow: An integer overflow. These checks are disabled by default and can be enabled with the \v switch of the compiler.
TRAP 0 Division by zero: A DIV (or MOD) by 0 occured, or the result of a divide was too big for the destination type.
TRAP 1 WITH guard failed: The type guard in a WITH statement failed (can be disabled with the \t compiler switch).
TRAP 2 CASE invalid: A CASE expression evaluated to a value that has no label, and the CASE has no ELSE clause.
TRAP 3 RETURN missing: A function procedure ended without a RETURN statement.
TRAP 4 Overflow: See TRAP -4.
TRAP 5 Implicit type guard failed: An implicit type guard generated as part of an assignment failed (can be disabled with the \t compiler switch).
TRAP 6 Type guard failed: An explicit type guard failed (can be disabled with the \t compiler switch).
TRAP 7 Index out of range: An array index was out of range (can be disabled with the \x compiler switch).
TRAP 8 ASSERT failed: A programmed ASSERT statement failed (can be disabled with the \a compiler switch).
TRAP 9 Array dimension error: A dynamically computed array dimension was incorrect (e.g. negative dimension in a NEW).
TRAP 13 Keyboard interrupt: A keyboard interrupt was generated with Ctrl-Break.
TRAP 14 Out of memory: The requested memory allocation (NEW) could not be fulfilled.
TRAP 15 Bad sector number: An incorrect sector number was detected. This could be the result of an error with on-disk file system structures, or memory corruption.
TRAP 16 Disk full: The disk is almost full. Reboot to have the disk garbage collector run during startup.
TRAP 17 Disk error: The disk driver encountered a hardware error. The local variable "err" or "res" contains further information.
TRAP 18 File too large: A file was generated that is too large for the file system.
TRAP 19 Buffer overflow: Generated by Files.ReadBytes and WriteBytes if the supplied buffer is too small.
-------------------------------------------
cheers,
j.
next prev parent reply other threads:[~2015-05-26 15:38 UTC|newest]
Thread overview: 111+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-05-21 19:11 Build language with weak typing, then add scaffolding later to strengthen it? Nasser M. Abbasi
2015-05-21 19:29 ` AdaMagica
2015-05-22 7:27 ` Dmitry A. Kazakov
2015-05-22 7:42 ` Georg Bauhaus
2015-05-22 8:54 ` Nasser M. Abbasi
2015-05-22 11:29 ` kalvin.news
2015-05-22 12:57 ` J-P. Rosen
2015-05-22 14:01 ` kalvin.news
2015-05-22 14:34 ` kalvin.news
2015-05-23 11:09 ` Peter Chapin
2015-05-22 15:37 ` J-P. Rosen
2015-05-22 16:29 ` kalvin.news
2015-05-22 17:39 ` Simon Clubley
2015-05-22 17:51 ` kalvin.news
2015-05-22 19:41 ` J-P. Rosen
2015-05-22 20:04 ` kalvin.news
2015-05-22 20:32 ` Jeffrey R. Carter
2015-05-22 21:22 ` kalvin.news
2015-05-23 11:14 ` Peter Chapin
2015-05-23 12:42 ` Jeffrey R. Carter
2015-05-23 17:48 ` Simon Wright
2015-05-25 8:34 ` Pascal Obry
2015-05-25 10:22 ` Simon Wright
2015-05-25 18:12 ` Georg Bauhaus
2015-05-22 20:39 ` jan.de.kruyf
2015-05-28 22:33 ` Randy Brukardt
2015-05-29 6:56 ` jan.de.kruyf
2015-05-23 12:40 ` Georg Bauhaus
2015-05-25 7:14 ` jan.de.kruyf
2015-05-25 12:26 ` Georg Bauhaus
2015-05-25 18:44 ` Shark8
2015-05-25 19:54 ` jan.de.kruyf
2015-05-25 21:25 ` Shark8
2015-05-26 7:46 ` Georg Bauhaus
2015-05-26 8:12 ` Georg Bauhaus
2015-05-25 20:01 ` Nasser M. Abbasi
2015-05-25 20:04 ` Nasser M. Abbasi
2015-05-25 20:37 ` jan.de.kruyf
2015-05-26 7:52 ` Jacob Sparre Andersen
2015-05-26 11:43 ` jan.de.kruyf
2015-05-26 15:38 ` jan.de.kruyf [this message]
2015-05-28 23:39 ` Randy Brukardt
2015-05-29 8:51 ` Stefan.Lucks
2015-05-29 18:04 ` Jeffrey R. Carter
2015-05-29 21:51 ` Randy Brukardt
2015-05-30 10:28 ` jan.de.kruyf
2015-05-30 11:12 ` Dmitry A. Kazakov
2015-05-30 13:21 ` jan.de.kruyf
2015-05-30 15:00 ` Simon Clubley
2015-05-30 18:40 ` jan.de.kruyf
2015-05-30 16:40 ` Dmitry A. Kazakov
2015-05-30 20:52 ` jan.de.kruyf
2015-05-31 8:31 ` Nasser M. Abbasi
2015-05-31 8:52 ` Dmitry A. Kazakov
2015-06-04 15:31 ` jan.de.kruyf
2015-06-04 17:23 ` Dmitry A. Kazakov
2015-06-04 20:14 ` Shark8
2015-06-04 23:12 ` Nasser M. Abbasi
2015-06-01 21:36 ` Randy Brukardt
2015-06-04 15:22 ` jan.de.kruyf
2015-05-27 13:41 ` jan.de.kruyf
2015-05-25 23:05 ` Peter Chapin
2015-05-26 8:01 ` Sylvain Laperche
2015-05-26 8:20 ` Georg Bauhaus
2015-05-26 8:49 ` J-P. Rosen
2015-05-26 12:36 ` Simon Clubley
2015-05-26 13:39 ` J-P. Rosen
2015-05-26 14:21 ` Dmitry A. Kazakov
2015-05-26 16:19 ` Shark8
2015-05-26 20:51 ` J-P. Rosen
2015-05-26 17:11 ` Jeffrey R. Carter
2015-05-28 23:49 ` Randy Brukardt
2015-05-29 21:54 ` Randy Brukardt
2015-05-29 22:32 ` Jeffrey R. Carter
2015-05-26 8:17 ` Georg Bauhaus
2015-05-28 22:46 ` Randy Brukardt
2015-05-28 23:18 ` Nasser M. Abbasi
2015-05-29 21:27 ` Randy Brukardt
2015-05-29 7:55 ` jan.de.kruyf
2015-05-29 9:27 ` Simon Wright
2015-05-29 10:23 ` jan.de.kruyf
2015-05-29 12:01 ` G.B.
2015-05-29 13:43 ` jan.de.kruyf
2015-05-29 15:32 ` Simon Wright
2015-05-29 15:57 ` jan.de.kruyf
2015-05-29 9:31 ` Jacob Sparre Andersen
2015-05-29 10:37 ` jan.de.kruyf
2015-05-29 10:56 ` Björn Lundin
2015-05-29 12:03 ` Peter Chapin
2015-05-29 21:00 ` Shark8
2015-05-29 20:57 ` Shark8
2015-05-29 21:36 ` Randy Brukardt
2015-06-01 22:20 ` Shark8
2015-05-29 21:45 ` Randy Brukardt
2015-05-29 23:12 ` Peter Chapin
2015-05-30 9:10 ` Georg Bauhaus
2015-05-23 13:01 ` Luke A. Guest
2015-05-22 17:57 ` Simon Wright
2015-05-22 18:31 ` jan.de.kruyf
2015-05-22 14:03 ` jan.de.kruyf
2015-05-22 15:21 ` David Botton
2015-05-22 15:23 ` jan.de.kruyf
2015-05-22 15:31 ` Bob Duff
2015-05-22 15:48 ` jan.de.kruyf
2015-05-22 14:25 ` G.B.
2015-05-22 15:04 ` Bill White
2015-05-22 15:28 ` Bob Duff
2015-05-22 17:46 ` Simon Clubley
2015-05-22 18:16 ` jan.de.kruyf
2015-05-22 19:01 ` Simon Wright
2015-05-22 19:41 ` jan.de.kruyf
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox