Ralf Hemmecke wrote:
>
> What bothers me are lines like this
>
> Foo(T: LongType,
> U: OtherLongType,
> Z: ThirdLongType): ...
>
> If I am not completely wrong then the above should work, because of the
> "(".
In Spad yes. Actually, it is possible to get effect of "nopile mode"
in Spad by putting entire constructors in parenthesis:
)abbrev domain FOO Foo
(
Foo : X == Y where (
Z ==> Integer -> Integer;
X ==> with f : Z ;
Y ==> add (f(x) == x)
)
)
Unfortunately, except for the first line, other need leading space.
> But otherwise code has to be written like
>
> Foo(T: LongType,
> U: OtherLongType,
> Z: ThirdLongType): ...
>
> In order to join oneliners according to rules.
That is needed in interpreter (and Shoe).
> But that looks ugly.
Yes.
>
> https://github.com/hemmecke/fricas-svn/blob/master/src/algebra/expr.spad.pamphlet#L598
>
> patternMatch(x:%, p:Pattern Float,
> l:PatternMatchResult(Float, %)) ==
> patternMatch(x@Rep, p,
> l pretend PatternMatchResult(Float, Rep),
> kfltmatch
> )$PatternMatchPolynomialCategory(Float,
> IndexedExponents K, K, R, Rep)
> pretend PatternMatchResult(Float, %)
Due to long names this is tricky to indent nicely regardless of
rules. I would probably format this as:
patternMatch(x : %, p : Pattern Float,
l : PatternMatchResult(Float, %)) ==
patternMatch(x@Rep, p,
l pretend PatternMatchResult(Float, Rep),
kfltmatch
)$PatternMatchPolynomialCategory(Float,
IndexedExponents K, K, R, Rep)
pretend PatternMatchResult(Float, %)
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
