Single colons in :k and :t

[GoogleCodeExporter]

A minor annoyance: Omega prints a single colon in :k and :t, while declaration 
requires two colons.

data Token :: k ~> *0 where
  Token :: forall (k :: *1) (a :: k). Token a

prompt> :t Token
Token :: forall (a:*1) (b:a:*1).Token b

prompt> :k Token
Token :: forall (a:*1).a ~> *0

Attached patch changes output to two colons.

Original issue reported on code.google.com by krz.gogo...@gmail.com on 13 Sep 2011 at 7:02

[GoogleCodeExporter]

Original comment by krz.gogo...@gmail.com on 13 Sep 2011 at 7:02

Attachments:

• patch

[GoogleCodeExporter]

Also, normal expressions:

prompt> 4

4 : Int

can be changed with:

--- Commands.hs (revision 976)
+++ Commands.hs (working copy)
@@ -227,7 +227,7 @@
       ; v <- (eval (runtime_env tenv) e')
       ; u <- runAction v
       ; verbose <- getM "kind" False
-      ; warnM [Ds "\n", docs[Dds (show u ++ " : "),Dx polyk]]
+      ; warnM [Ds "\n", docs[Dds (show u ++ " :: "),Dx polyk]]
       ; when verbose (mapM_ writeln subpairs)
       ; when verbose (writeln("\n\n"++ pv u))
       ; return (tenv) }

Original comment by krz.gogo...@gmail.com on 13 Sep 2011 at 9:07

[GoogleCodeExporter]

Krz, your patches look good, I have granted you committer access, if you feel 
like, just commit stuff. Welcome :-)

Just be careful with sweeping changes, as I have a bunch in the pipeline.
Yo can work on branches though, and we'll coordinate the process via issues.

You'll have to `svn switch` your working copy to "https://...", but I assume 
you know the details.

Original comment by ggr...@gmail.com on 13 Sep 2011 at 11:11

• Changed state: Accepted
• Added labels: Type-Enhancement, Priority-Medium, Milestone-Release1.5.2, omega1.5.1

[GoogleCodeExporter]

Thanks! Changes commited.

Original comment by krz.gogo...@gmail.com on 15 Sep 2011 at 9:34

• Changed state: Fixed