Changeset 4874

Timestamp:

06/20/05 18:55:05 (4 years ago)

Author:

iblech

svk:copy_cache_prev:

6641

Message:

* Some work on ChangeLog?.
* Emit.PIR -- Don't quote C<'>. Now C<say "hi'"> works as expected.
* Pugs.Compile.PIR, Emit.PIR -- Some more Haddock.

Files:

• ChangeLog (modified) (4 diffs)
• src/Emit/PIR.hs (modified) (2 diffs)
• src/Pugs/Compile/PIR.hs (modified) (1 diff)

ChangeLog

@@ -3 +3 @@
 === Pugs Internals
 
-* Lots of work on the Emit.* modules:
-** Pugs can now generate the PAST (Pugs Abstract Syntax Tree)
+* New compiler backend: `PIR`
+** Pugs can now generate PIL (Pugs Immediate Representation)
 ** ... and emit PIR for it
-** Emit.PIR can now compile `ext/Test/lib/Test.pm`
-* eval and related builtins are now implemented in the Prelude
-* intial support for `%*INC`
+** Supported are: `%*ENV`, standard operators (e.g. `&infix:<+>`), symbolic
+   dereferentiation (e.g. `$::(...)`), `END` blocks, short circuiting logical
+   operators, user-defined subroutines and `return`, and tail calls
+** `Emit.PIR` can compile `ext/Test/lib/Test.pm` and passes almost all sanity
+   tests
+* `eval` and related builtins are now implemented in the Prelude
+* Initial support for `%*INC`
 
 === Bundled Modules
@@ -19 +23 @@
 === Test, Examples and Documentations
 
-* Many new tests and several refactorings based on p6l rulings, we now have 7562 tests
-* new `examples/continuation` and `examples/unitfunctions` directories added
+* Many new tests and several refactorings based on p6l rulings, we now have
+  7500+ tests
+* New `examples/continuation` and `examples/unitfunctions` directories added
   and populated
-* Examples of built-in type methods in `examples/vmethods/`
-* low level sanity tests in `t/01-sanity/` for the Pugs code emitter
-* more japhs added to `examples/japhs`
-* updates and clean up to `* docs/01Overview.html`
-* Interpreter for l33t in `examples/obfu/l33t.p6`
-* Various perl6 grammars being added to `module/Grammars/`
+* Examples of methods acting on builtin-types in `examples/vmethods/`
+* Low level sanity tests in `t/01-sanity/` for the PIR code emitter
+* More JAPHs added to `examples/japhs/`
+* Updates and cleanups to `docs/01Overview.html`
+* Interpreter and debugger for l33t in `examples/obfu/l33t.p6`
+* Perl 6 Rule grammar and related files added to `module/Grammars/`
 
 === Bug Fixes
@@ -33 +38 @@
 * `(42).kv` will now die and `(42,).kv` will work
 * `sleep()` now returns seconds slept
-* Fixed `!~` to mean `not(... ~~ ...)`, instead of `ne`.
+* Fixed `!~` to mean `not(... ~~ ...)`, instead of `ne`
+* `eval("...", :lang<...>")` works now
+* Call parrot without `-j` (JIT), as Parrot doesn't support JIT on all
+  systems. You can use the new environment veriable `PUGS_PARROT_OPTS` to
+  switch JIT on again
+* Fixed order of method invocation in `BUILDALL` and `DESTROYALL`
 
 == Changes for 6.2.7 (r4612) - June 13, 2005
@@ -70 +80 @@
 * Haskell Workshop paper on Pugs in `docs/talks/hw2005.tex`
 * Overview of Pugs source tree in `lib/pugs/hack.pod`
-* Overview of Rules bootstrapping plan in `/docs/other/rules_bootstrap`
+* Overview of Rules bootstrapping plan in `docs/other/rules_bootstrap`
 * Some new tests; several tests refactored; we now have 7600+ tests
 * Unit manipulation and conversion examples in `units.p6`

src/Emit/PIR.hs

@@ -193 +193 @@
     where
     quote :: Char -> String
-    quote '\'' = "\\'"
     quote '\\' = "\\\\"
     quote x = [x]
@@ -486 +485 @@
       ] --> [rv]
 
-{-| Wrapper for a opcode which accepts and returns an @I@ register. -}
+{-| Wrapper for an opcode which accepts and returns an @I@ register. -}
 vop1ii :: SubName -> PrimName -> Decl
 vop1ii p6name opname = vop1x p6name opname tempINT tempINT
-{-| Wrapper for a opcode which accepts and returns a @N@ register. -}
+{-| Wrapper for an opcode which accepts and returns a @N@ register. -}
 vop1nn :: SubName -> PrimName -> Decl
 vop1nn p6name opname = vop1x p6name opname tempNUM tempNUM
-{-| Wrapper for a opcode which accepts and returns a @S@ register. -}
+{-| Wrapper for an opcode which accepts and returns a @S@ register. -}
 vop1ss :: SubName -> PrimName -> Decl
 vop1ss p6name opname = vop1x p6name opname tempSTR tempSTR
-{-| Wrapper for a opcode which returns a @S@ register and accepts a @I@ register. -}
+{-| Wrapper for an opcode which returns a @S@ register and accepts a @I@ register. -}
 vop1si :: SubName -> PrimName -> Decl
 vop1si p6name opname = vop1x p6name opname tempSTR tempINT
-{-| Wrapper for a opcode which returns a @I@ register and accepts a @S@ register. -}
+{-| Wrapper for an opcode which returns a @I@ register and accepts a @S@ register. -}
 vop1is :: SubName -> PrimName -> Decl
 vop1is p6name opname = vop1x p6name opname tempINT tempSTR
-{-| Wrapper for a opcode which returns a @I@ register and accepts a @P@ register. -}
+{-| Wrapper for an opcode which returns a @I@ register and accepts a @P@ register. -}
 vop1ip :: SubName -> PrimName -> Decl
 vop1ip p6name opname = vop1x p6name opname tempINT tempPMC
 
-{-| Wrapper for a opcode which accepts and returns @I@ registers. -}
+{-| Wrapper for an opcode which accepts and returns @I@ registers. -}
 vop2iii :: SubName -> PrimName -> Decl
 vop2iii p6name opname = vop2x p6name opname tempINT tempINT tempINT2 
-{-| Wrapper for a opcode which accepts and returns @N@ registers. -}
+{-| Wrapper for an opcode which accepts and returns @N@ registers. -}
 vop2nnn :: SubName -> PrimName -> Decl
 vop2nnn p6name opname = vop2x p6name opname tempNUM tempNUM tempNUM2 
-{-| Wrapper for a opcode which accepts two @S@ registers and returns a native
+{-| Wrapper for an opcode which accepts two @S@ registers and returns a native
     integer (@I@ register). -}
 vop2iss :: SubName -> PrimName -> Decl

src/Pugs/Compile/PIR.hs

@@ -1 +1 @@
 {-# OPTIONS_GHC -fglasgow-exts -fno-warn-orphans -funbox-strict-fields -fallow-undecidable-instances -cpp #-}
+
+{-|
+    This module provides 'genPIR', a function which compiles the current
+    environment to PIR code.
+
+    The general plan is to first compile the environment (subroutines,
+    statements, etc.) to an abstract syntax tree ('PIL' -- Pugs Intermediate
+    Representation) using the 'compile' function and 'Compile' class, and then
+    translate the PIL to a data structure of type 'PIR' using the 'trans'
+    function and 'Translate' class. This data structure is then reduced to
+    final PIR code by "Emit.PIR".
+-}
 
 module Pugs.Compile.PIR (genPIR) where