Changeset 12317 for src/Pugs/Prim/Param.hs

Timestamp:

08/16/06 19:28:24 (2 years ago)

Author:

audreyt

Message:

* Glorious refactoring of the Var type.

Previously, Var is type synonym to String, and all package

lookups, OUTER

handling, sigil and twigil parsing etc were done in an extremely adhoc way with String operations.

Now we split Var into several parts.
Take "&Moose::Elk::infix:<antler>" as an example:

v_sigil

VarSigil? -- SScalar

v_twigil

VarTwigil? -- TNone

v_package

Pkg -- ["Moose", "Elk"]

v_categ

VarCateg? -- C_infix

v_name

ID -- "antler"

The names are stored as interned ByteStrings? for fast comparison.

All involved types are changed from String to new types as well,

such as (envPackage

Pkg).

Files:

• src/Pugs/Prim/Param.hs (modified) (2 diffs)

src/Pugs/Prim/Param.hs

@@ -5 +5 @@
 ) where
 import Pugs.AST
+import Pugs.Internals
 
 doFoldParam :: String -> String -> [Param] -> [Param]
 doFoldParam cxt [] []       = [(buildParam cxt "" "$?1" (Val VUndef)) { isLValue = False }]
-doFoldParam cxt [] (p:ps)   = ((buildParam cxt "" (strInc $ paramName p) (Val VUndef)) { isLValue = False }:p:ps)
+doFoldParam cxt [] (p:ps)   = ((buildParam cxt "" (strInc . cast $ paramName p) (Val VUndef)) { isLValue = False }:p:ps)
 doFoldParam cxt (s:name) ps = ((buildParam cxt [s] name (Val VUndef)) { isLValue = False } : ps)
 
@@ -23 +24 @@
     = \ps -> ((buildParam typ "?" "$?1" (Val VUndef)) { isLValue = True }:ps)
     | (('r':'w':'!':typ), "=$_") <- break (== '=') str
-    = \ps -> ((buildParam typ "?" "$?1" (Var "$_")) { isLValue = True }:ps)
+    = \ps -> ((buildParam typ "?" "$?1" (_Var "$_")) { isLValue = True }:ps)
     | (typ, "=$_") <- break (== '=') str
-    = \ps -> ((buildParam typ "?" "$?1" (Var "$_")) { isLValue = False }:ps)
+    = \ps -> ((buildParam typ "?" "$?1" (_Var "$_")) { isLValue = False }:ps)
     | (typ, ('=':def)) <- break (== '=') str
     = let readVal "Num" = Val . VNum . read