Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006295OCamlOCaml generalpublic2014-01-16 22:052014-01-17 10:03
Reporterdbuenzli 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionduplicate 
PlatformOSOS Version
Product Version4.01.0 
Target VersionFixed in Version 
Summary0006295: Unclear error message in 4.01.0
DescriptionFor the following (wrong) code,

    > opam-switch-eval 4.01.0
    > ocaml
            OCaml version 4.01.0

    # let _ =
          try
            while true do if true then raise Exit done
          with Exit -> 1 :: []
        ;;
    Error: The variant type unit has no constructor ::

the error message was *much* clearer in 4.00.1:

    > opam-switch-eval 4.00.1
    > ocaml
            OCaml version 4.00.1
    # let _ =
        try
          while true do if true then raise Exit done
        with Exit -> 1 :: []
      ;;
    Error: This expression has type 'a list
           but an expression was expected of type unit
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0006173closedgarrigue Typing error message is worse that before 

-  Notes
(0010804)
gasche (developer)
2014-01-17 10:03

I'll close this one to centralize discussion in the other report on the same issue.

- Issue History
Date Modified Username Field Change
2014-01-16 22:05 dbuenzli New Issue
2014-01-16 22:26 yallop Relationship added duplicate of 0006173
2014-01-17 10:03 gasche Note Added: 0010804
2014-01-17 10:03 gasche Status new => closed
2014-01-17 10:03 gasche Resolution open => duplicate


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker