Olivier
/
inferno-experimental
2
0
Fork 1
Code Issues 15 Pull Requests 5 Releases Wiki Activity
Labels Milestones
New Issue

Sortie plus claire #45

Open
opened 1 year ago by Olivier · 2 comments
Olivier commented 1 year ago
Owner

Avoir comme sortie le .mli du programme d'entrée ou un message d'erreur lisible

Avoir comme sortie le .mli du programme d'entrée ou un message d'erreur lisible
gasche commented 1 year ago
Collaborator

L'idéal serait d'avoir un petit programme/binaire qui fait ça

$ ./client foo.mml
type foo = Foo
val test : foo -> foo
L'idéal serait d'avoir un petit programme/binaire qui fait ça ``` $ ./client foo.mml type foo = Foo val test : foo -> foo ```
gasche commented 1 year ago
Collaborator

(Ou autre nom pour le programme; ./moyen, ./midml, etc.)

(Ou autre nom pour le programme; `./moyen`, `./midml`, etc.)
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
abbrev_refactoring
abstract
alcotest
clearer-test-output
co_cps
debug
equality-constraint
error-message
error-message-rebase
f-datatypes
f-datatypes-wip
frozen
frozen-infer
frozen-solver
frozen-solver2
gadt-language
improve-ast
issue-58
issue-64
last_push
letrn
master
match
match-upstream
match2
minor-fixes
multi-eq
n-ary-fun-printing
new-api
new-f-constructs
new-f-constructs-upstream
parser
pretty-printer
pretty-printer-upstream
printer
qcheck
ranges
rigid-rebase
rigid-variable
rigid-variable-fix
rigid-variable-rebase
separate-test
solver2
test-files
test-framework
type-environment
type-equations
type-equations-master
upstream
variants
variants-upstream
Labels
Apply labels
Clear labels
No items
No Label
Milestone
Set milestone
Clear milestone
No items
No Milestone
Assignees
Assign users
Clear assignees
No Assignees
2 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#45
Write Preview
Loading…
Cancel
Save
There is no content yet.
Delete Branch '%!s(<nil>)'

Deleting a branch is permanent. It CANNOT be undone. Continue?

No
Yes