support for parameters of all types; fix named argument display bug

This commit is contained in:
Zachary Snow 2019-03-31 14:08:18 -04:00
parent c8e776265c
commit dc759dbb68
2 changed files with 3 additions and 3 deletions

View File

@ -73,7 +73,7 @@ instance Show Args where
where
strs = (map showPnArg pnArgs) ++ (map showKwArg kwArgs)
showPnArg = maybe "" show
showKwArg (x, me) = printf ".%s(%s)" (show x) (showPnArg me)
showKwArg (x, me) = printf ".%s(%s)" x (showPnArg me)
showAssignment :: Maybe Expr -> String
showAssignment Nothing = ""

View File

@ -568,8 +568,8 @@ TFItems :: { [Decl] }
| ";" { [] }
ParamType :: { Type }
: "integer" Signing { IntegerAtom TInteger $2 }
| "integer" { IntegerAtom TInteger Unspecified }
: PartialType Dimensions { $1 Unspecified $2 }
| PartialType Signing Dimensions { $1 $2 $3 }
| DimensionsNonEmpty { Implicit Unspecified $1 }
| Signing Dimensions { Implicit $1 $2 }